Curriculum Vitae

(1)

Curriculum Vitae

Personal data

Name: Simona Surname: BERNARDI

Place/date of birth: Cuneo, 18-08-1972 Nationality: italian Civil status: unmarried

Oﬃce address: Dipartimento di Informatica- C.so Svizzera, 185 - 10149 Torino (I) Tel. +39 (0)11 6706798 - Fax. +39 (0)11 751603

E-mail: [email protected]

Education

• 29th August, 1991: Diploma of accountant programmer, care of the Istituto Tecnico e Commerciale “F.A. Bonelli” of Cuneo.

• 25th November, 1997: MS degree in Mathematics, achieved with the ﬁnal mark of 110/110s, care of the Department of Mathematics of the University of Turin. Title of the thesis: “Regenerative Stochastic Petri Nets: structural characterization and extension.” Supervisor: Prof. G. Balbo, Dept. of Computer Science, University of Turin.

• 29th April, 2003: PhD in Computer Science, care of the Department of Computer Science of the University of Turin. (PhD course started on January 2000 and ﬁnished on December 2002). Title of the PhD thesis: “Building Stochastic Petri Net models for the veriﬁcation of complex software systems”. Supervisor: Prof. S. Donatelli, Dept.

of Computer Science, University of Turin.

• 30th October, 2006: Homologation of the PhD degree title in Computer Science in the corresponding Spanish PhD title of “Doctora en Inform´atica” from the University of Zaragoza, Spain.

• 10th January, 2007: Homologation of the MS degree title in Mathematics in the corre- sponding Spanish MS degree of “Licenciada en Matem´aticas” from the Spanish Min- istry of Education and Science (Ministerio de Educaci´on y Ciencia).

Foreign languages

• English: good written and spoken level;

• Spanish: good written and spoken level (DELE b´asico).

(2)

Summer schools

• 27th July-29th August, 1997: Scuola Matematica Interuniversitaria, Summer school in Matematics, Perugia (Italy).

• 3rd-11th September, 1998: Performance Models for Discrete Event Systems with Syn- chronizations: Formalisms and Analysis Techniques. MATCH Advanced School, Jaca (Spain).

• 14th-22th September, 1998: System Engineering. A Petri Net based Approach to Modelling, Veriﬁcation and Implementation. MATCH Advanced School, Jaca (Spain).

• 22th May - 2nd June, 2000: National school of PhD courses in Computer Science (SNDIS2000), Bertinoro (Italy).

• 3rd-7th July, 2000: First EEF-Summerschool on Formal Methods and Performance Analysis, Nijmegen (The Netherlands).

Professional positions

• since January 2005: Researcher at the Department of Computer Science, University of Torino (Italy) - subject area: Computer Science.

• January, 2003 - December, 2004: Research contract at the Department of Computer Science, University of Torino (Italy).

Research activities

My research activity addresses the area of performance and dependability evaluation of software system through the use of modeling techniques. The main research results I achieved in this area are reported in the following, organized by sub-activities:

Regenerative Stochastic Petri Nets

The first research topic I dealt is concerned with the work of MS degree thesis. In my thesis I tackled the issue of defining sufficient conditions for the structural characterization of a sub-class of regenerative stochastic Petri nets, called Concurrent Generalized Petri Nets (CGPN), originally identified through the construction of their state space.

The structural conditions deﬁned in the work of thesis represents the basis for a preliminary analysis of Petri net models that include timed transitions with non exponential distributions with the objective of verifying whether they belong to the CGPN class [BB01].

(3)

Dependability analysis of fault tolerant systems

During the collaboration in the European project ESPRIT 28620 - TIRAN (TaIloRable fault tolerANce framework for embedded Application) I have been involved in the activities of functional specification of fault tolerant software mechanisms developed in the TIRAN framework. The qualitative (correctness) and quantitative (performance) characterization of such mechanisms has been carried out through the use of Petri nets. The construction of Petri net models of the fault tolerance mechanisms and, in general of the software systems that include a subset of such mechanisms as fault tolerance strategy, is based on a compositional approach [BDH00, DBH⁺00, BD01, BBD02]. Such approach is used, from one hand, to manage the modeling complexity, and on the other hand, to get more flexibility. The latter is an important property when it is necessary to carry out comparative analysis among different fault tolerance strategies. The software tool used for the construction and analysis of stochastic Petri net models is GreatSPN. The tool includes the algebra capability [BBD⁺01, Ber02] that supports the net composition [BDH01].

Within the European project IST 25434 - DepAuDE (Dependability for embedded Automa- tion systems in Dynamic Environments with intra-site and inter-site distribution aspects), I collaborated to the development of a methodology for the elicitation of temporal and dependability requirements of distributed automation systems and for the deﬁnition and analysis of the fault tolerance strategies to be adopted for such systems [DBD03]. The methodology includes three modeling formalisms: UML class diagrams (CD), TRIO (Tempo Reale Implic- itO), and the stochastic Petri nets. The role of the class diagrams is to support the analyst in the requirement elicitation [BDD04b], TRIO is used for the formalization, in temporal logic, of the requirements and of the fault tolerance strategy as well as for the analysis of the temporal properties of the system [BDD04a]. Stochastic Petri nets are used instead for the dependability analysis of the system and for the validation of the fault tolerance strategy.

I collaborated with CESI (one of the industrial partners of the DepAuDE project) to the deﬁnition of a CD scheme for the elicitation of the temporal and dependability requirements of automated systems as well as to the deﬁnition of guidelines to support the analyst in the use of the CD scheme.

Moreover, I contributed to the deﬁnition of guidelines for the construction and analysis of dependability stochastic Petri net models from the initial steps of the software life-cycle. In particular, the modeling construction process is based on a compositional approach and it is aimed at extracting as many information as possible form the high level speciﬁcation of the system, consisting of a set of class diagrams (i.e., system entities and their relationships) [Ber03, BD03, BBD04, BD04].

The devised methodology has been applied to the case study of the electric power station automation system provided by CESI.

Specification of dependability requirements and properties of software systems Currently, different UML profiles exist for the specification of non functional requirements of software systems. In particular, the “Schedulability, Performance and Time” profile (UML- SPT), the “Quality of Service and Fault Tolerance Characteristics and Mechanisms” profile

(4)

(UML-QoS&FT), and the more recent “Modeling and Analysis of Real-Time Embedded Systems” profile (UML-MARTE). While UML-SPT and UML-MARTE can be used for the specification of scheduling and performance properties/requirements, the UML-QoS&FT provides a general framework that allows the modeler to define domain-specific non functional properties [BP04]. However, such profiles do not provide support for the dependability analysis of software systems. In this context, I contributed to the definition of a UML profile for the dependability analysis and modeling of software systems [BM07a, BMP08a, BMP08b, BMP08c, BMP09]. The proposal is based on the general concepts of basic NFP and complex NFP used in UML-MARTE for the definition of basic and complex non functional properties, respectively.

Derivation of performance model from UML design

Concurrently to the research activity carried out within DepAuDE, I have been involved in the deﬁnition of an automatic translation of behavioral UML diagrams, in particular Sequence Diagrams and State Machines, in generalized stochastic Petri nets (GSPN) [BDM02, MBCD02, Ber03, BM06]. This activity has been carried out in collaboration with the research group of Formal Methods, of the University of Zaragoza (Spain) within the project “Azione Integrata Italia-Spagna”.

The derivation method has been extended later with the aim of considering the object identities in the performance models. The class of Petri nets considered in this case are the Stochastic Well Formed nets (SWN) [BM07b].

From the implementation point of view, I developed a prototype of translator of sequence diagrams in GSPN. The implementation is based on the translation proposed in [Ber03, BDM02] assuming that the considered diagrams are annotated conforming to the standard UML-SPT proﬁle and that the information related to such diagrams are represented in the standard format XMI.

Beside to the translation issues, I have also tackled the issue of the joint analysis of the GSPN models obtained from the translation of a set of State Machines, representing the behavior of system components, and a Sequence Diagram, representing a possible interaction among the set of system components.

Methods and eﬃcient solution techniques for the validation of timing-failure risks in real-time embedded systems.

The Time Petri Nets, characterized by transitions with interval-based firing times, have been extensively used for the verification of timing requirements of real-time systems. In this context, I contributed to the definition of a method for the estimation and validation of the timing-failure risk associated to the response time requirement for an execution scenario of a real-time embedded system (i.e., maximum/minimun scenario response time) [BCM08]. The solution techniques used for the risk estimation are the bound techniques for TPN, proposed in [BC04, BC09]. Such techniques are based on the derivation (and solution) of a linear programming problem from the TPN topology and its timing specification. The performance

(5)

bound solution techniques for TPN models have been implemented and integrated in the DrawNET modeling and analysis framework [PNBG09, PNB09a, PNB09b].

Pubblication

Books

[Ber03] S. Bernardi. Building Stochastic Petri Net models for the verification of complex software systems. PhD thesis, Dipartimento di Informatica, Universit`a di Torino, April 2003.

International journals and magazines

[BMP09] S. Bernardi, J. Merseguer, and D.C. Petriu. A dependability proﬁle within MARTE. Software and Systems Modeling, DOI:10.1007/s10270-009-0128-1, 2009.

[BC09] S. Bernardi and J. Campos. Computation of Performance Bounds for Real- Time Systems Using Time Petri Nets. IEEE Transactions on Industrial Informatics, 5(2):168–180, May 2009.

[BM07b] S. Bernardi and J. Merseguer. Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software, 80(11):1843–1865, November 2007. doi:10.1016/j.jss.2007.02.029.

[BM06] S. Bernardi and J. Merseguer. Qos assessment via stochastic analysis. IEEE Internet Computing, 10(3):32–42, 2006.

[BDH01] S. Bernardi, S. Donatelli, and A. Horv´ath. Special section on the pratical use of high-level Petri Nets: Implementing Compositionality for Stochastic Petri Nets.

Journal of Software Tools for Technology Transfer (STTT), 3(4):417–430, September 2001.

Book chapters

[BBD04] S. Bernardi, A. Bobbio, and S. Donatelli. Petri Nets and Dependability. In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency and Petri Nets: Advances in Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 125–179. Springer, June 2004.

International conferences

[BML10] S. Bernardi, J. Merseguer and R.R. Lutz. Reliability and availability requirements engineering within the Uniﬁed Process using a Dependability Analysis and Modeling proﬁle. Proc. of the eighth European Dependability Computing Conference (EDCC’10), Valencia (Spain), April 28-30, 2010.

(6)

[PMB10] D. P´erez-Palac´ın, J. Merseguer and S. Bernardi. Performance aware open-world software in a 3-layer architecture. Proc. of the first Joint WOSP/SIPEW Int. Con- ference on Performance Engineering (WOPS/SIPEW’10), pp. 49–56, San Jos´e, Cali- fornia (USA), January 28-30, 2010. ACM.

[PNB09a] E. Pacini Naumovich and S. Bernardi. Integrating TPN and performance bound techniques in ITPN-PerfBound: a new import functionality. Proc. of 6^th Int. Con- ference on Quantitative Evaluation of SysTems (QEST’09), pp. 285-286, Budapest (Hungary), 14-16 September 2009. IEEE.

[PNBG09] E. Pacini Naumovich, S. Bernardi, and M. Gribaudo. ITPN-PerfBound: A per- formance bound tool for Interval Time Petri Nets. In S.Kowaleswski and A. Philippou, editors, Proc. of 15^th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’09), volume 5505 of Lecture Notes in Computer Sci- ence, pages 50–53, York, UK, March 2009. Springer.

[BMP08a] S. Bernardi, J. Merseguer, and D.C. Petriu. Adding Dependability Analysis Capabilities to the MARTE proﬁle. In K. Czarnecki, I. Ober, J-M. Bruel, A. Uhl, and M. V¨olter, editors, Model Driven Engineering Languages and Systems, 11th In- ternational Conference, (MoDELS 2008), volume 5301 of Lecture Notes in Computer Science, pages 736–750, Toulouse, France, September 2008. Springer.

[BC04] S. Bernardi and J. Campos. On Performance Bounds for Interval Time Petri Nets.

In Proc. of the 1^st International Conference on Quantitative Evaluation of Systems (QEST04), pages 50–59, Enschede (The Netherlands), September 2004. IEEE CS.

[BDD04a] S. Bernardi, S. Donatelli, and G. Dondossola. Towards a methodological Ap- proach to Speciﬁcation and Analysis of Dependable Automation Systems. In Proc.

of the 1^st International Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and on Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT), pages 36–51, Grenoble (France), September 2004.

[BBD02] P. Ballarini, S. Bernardi, and S. Donatelli. Validation and evaluation of a soft- ware solution for fault tolerant distributed synchronization. In Proceedings of the International Performance and Dependability Symposium, pages 773–782, Washington DC, USA, June 2002. IEEE CS.

[BD01] S. Bernardi and S. Donatelli. Performance Validation of Fault-Tolerance Software:

A Compositional Approach. In Proc. of the International Conference on Dependable Systems and Networks (DSN01), pages 379–388, G¨oteborg, Sweden, July 2001. IEEE CS.

International Workshops

[RMB10] R. Rodr´ıguez, J. Merseguer and S. Bernardi. Modelling and Analysing Resilience as a Security Issue within UML. Proc. of the 2^nd International Workshop on Software Engineering for Resilient Systems (SERENE10), London (UK), 13-16 April 2010.

(7)

[BBCM09] L. Berardinelli, S. Bernardi, V. Cortellessa and J. Merseguer. UML proﬁles for non-functional properties at work: analyzing reliability, availability and performance.

Proc of 2^nd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML09), held within MODELS09, Denver (Col- orado, USA), 4th October 2009.

[BM07a] S. Bernardi and J. Merseguer. A UML proﬁle for dependability analysis of real- time embedded systems. In Proc. of the 6^th International Workshop on Software and Performance (WOSP07), pages 115–124, Buenos Aires (Argentina), February 2007.

[BP04] S. Bernardi and D.C. Petriu. Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles. International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS) held in conjunction with the 7^th International Conference on the Unified Modeling Language (UML04), Lisbon (Portugal), October 2004.

[BD03] S. Bernardi and S. Donatelli. Building Petri Net scenarios for Dependable Au- tomation Systems. In Proc. of the 10^th International Workshop on Petri Nets and Performance Models (PNPM03), pages 72–81, Urbana, Illinois (USA), September 2003.

IEEE CS.

[BDM02] S. Bernardi, S. Donatelli, and J. Merseguer. From UML sequence diagrams and statecharts to analysable Petri net models. In ”Proc. of the 3^rd International Workshop on Software and Performance (WOSP02)”, pages 35–45, Rome (Italy), July 2002. ACM press.

[MBCD02] J. Merseguer, S. Bernardi, J. Campos, and S. Donatelli. A compositional semantics for UML State Machines aimed at performance evaluation. In Giua A.

Silva M. and Colom J.M., editors, Proc. of the 6^th International Workshop on Discrete Event Systems (WODES02), pages 295–302, Zaragoza (Spain), October 2002. IEEE CS.

[BB01] S. Bernardi and G. Balbo. Concurrent Generalized Petri Nets: Regenerative Condi- tions. In R.German and B.Haverkort, editors, Proc. of the 9^th International Workshop on Petri Nets and Performance Models (PNPM01), pages 125–134, Aachen (Germany), September 2001. IEEE CS.

[BDH00] S. Bernardi, S. Donatelli, and A. Horv´ath. Compositionality in the GreatSPN Tool and Its Application to the Modelling of Industrial Applications. In Jensen, K., editor, DAIMI PB: Workshop Proceedings Practical Use of High-level Petri Nets, pages 127–146. University of Aarhus (Denmark), June 2000. Published as DAIMI PB:

Workshop Proceedings Practical Use of High-level Petri Nets, number 547.

International Symposia

[BDD04b] S. Bernardi, S. Donatelli and G. Dondossola A class diagram framework for collecting dependability requirements in automation systems. In Proc. of the 1st

(8)

International Symposium on Leveraging Applications of Formal Methods (ISOLA’04), Paphos (Cyprus), October 30 - November 2, 2004.

[BD04] S. Bernardi and S. Donatelli. Stochastic Petri Nets and inheritance for depend- ability modelling. In Proc. of the 10^th Pacific Rim International Symposium on De- pendable Computing (PRDC04), pages 363–372, Papeete, Tahiti (French Polynesia), March 2004. IEEE CS.

Technical reports

[BBCM10] L. Berardinelli, S. Bernardi, V. Cortellessa and J. Merseguer. The Fault-error- failure Chain: a Challenge for Modeling and Analyzing Performability in UML-based Software Architectures. Technical report, Dipartimento di Informatica, Universit`a dell’Aquila (Italy), February 2010.

[PNB09b] E. Pacini Naumovich and S. Bernardi. Modelado de Redes de Petri con Inter- valos de Tiempo mediante la herramienta ITPN-PerfBound. Proc. of V Encuentro de Investigadores y Docentes de Ingenier´ıa (EnIDI’09), Los Reyunos, Mendoza (Ar- gentina), 12-14 November 2009. IEEE.

[BCM08] S. Bernardi, J. Campos, and J. Merseguer. Timing failure risk assessment based on Petri Net bounding techniques. Technical report, Universit`a di Torino, June 2008.

[BM08] S. Bernardi, and J. Merseguer. Dependability analysis of discrete event systems us- ing MARTE and UML state machines. Technical report, Departamento de Inform´atica e Ingenier´ıa de Sistemas, Universidad de Zaragoza (Spain), December 2008.

[BMP08c] S. Bernardi, J. Merseguer, and D.C. Petriu. A common UML-based framework for modeling and analysis of software dependability. Technical report, Dipartimento di Informatica, Universit`a di Torino (Italy), July 2008.

[BMP08b] S. Bernardi, J. Merseguer, and D.C. Petriu. An UML proﬁle for dependabil- ity analysis and modeling of software systems. Technical report, Departamento de Inform´atica e Ingenier´ıa de Sistemas, Universidad de Zaragoza (Spain), May 2008.

No.RR-08-05.

[DBD03] G. Dondossola, S. Bernardi, and S. Donatelli. Dependability requirements in the development of wide-scale distributed automation systems: a methodological guidance.

Technical report, Deliverable D1.4 - DepAuDE IST Project 25434, February 2003.

[Ber02] S. Bernardi. GreatSPN User’s Manual (versione 2.0.2). Technical report, Diparti- mento di Informatica, Universit`a di Torino, September 2002.

[BBD⁺01] S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, G. Gaeta, M. Grib- audo, and A. Horv´ath. GreatSPN in the new Millenium. Technical Report 760/2001, Universit¨at Dortmund (Germany), September 2001. In Tools of Aachen 2001, Int. Mul- ticonference on Measurement, Modelling and Evaluation of Computer-Communication Systems.

(9)

[DBH⁺00] S. Donatelli, S. Bernardi, A. Horv´ath, H. Mauser, and P. Ballarini. Formal functional speciﬁcation and predictive evaluation of the framework elements: GSPN models. Technical report, Deliverable D3.1 - TIRAN IT Project 28620, November 2000.

[BG99] S. Bernardi and A. Gandola. Valutazioni prestazionali mediante simulazione dell’architettura di provisioning dei servizi in fonia (SOC-F). Technical report, Doc- umenti Tecnici CSELT DRT 99.0110, Febbraio 1999. Progetto Telecom Italia DRT n.34/R - Processi e sistemi della piattaforma di Provisioning.

[BB98] S. Bernardi and S. Brugnoni. Deﬁnizione dei requisiti prestazionali del processo SOC-F. Technical report, Documenti Tecnici CSELT DRT 98.1350, Dicembre 1998.

Progetto Telecom Italia DRT n.34/R - Architetture, sistemi e processi di Provisioning della Rete (PROV).

Reviews

Books and journals

• Architecting Dependable Systems V (LNCS, Springer Verlag)

• Information and Software Technology (Elsevier)

• Journal of Aereospace Engineering (Hindawi)

• Journal of Computer Standards and Interfaces (Elsevier)

• Journal of Software (Academic Publisher)

• Software & Systems Modeling (Springer Verlag)

• Transactions on Automatic Control (IEEE)

• Transactions on Industrial Informatics (IEEE)

• Transactions on Software Engineering (IEEE CS)

Conferences and workshops

• ADVCOMP: International Conference on Advanced Engineering Computing and Ap- plications in Sciences (2009, 2010).

• AICCSA: International Conference on Computer Systems and Applications (2008,2010).

• AINA: International Conference on Advanced Information Networking and Applica- tions (2009).

• ASMTA: International Conference on Analytical and Stochastic Modelling Techniques and Applications (2008).

(10)

• DSN: International Conference on Dependable Systems and Networks (2004,2007).

• EDCC: Fifth European Dependable Computing Conference (2005-06).

• EPEW: European Performance Engineering Workshop (2004).

• ETFA tracks on Industrial Automated Systems and Control (2008) and on Automated Manufacturing Systems (2009-10).

• ICATPN: International Conference on Application and Theory of Petri Nets (2002,2006,2008- 09).

• ICSEA: International Conference on Software Engineering Advances (2009-10).

• ISCIS: International Symposium on Computer and Information Sciences (2004).

• INCOM: IFAC Symposium on Information Control Problems in Manufacturing (2006).

• ISOLA: International Symposium on Leveraging Applications of Formal Methods (2004).

• MFCS: International Symposium on Mathematical Foundations of Computer Science (2006).

• PERFORMANCE: IFIP WG7.3 International Symposium on Computer Performance, Modeling, Measurement and Evaluation (2007)

• PNPM: International Workshop on Petri Net and Performance Models (2001,2003).

• QEST: International Conference on Quantitative Evaluation of systems (04-08).

• QoSA: International Conference on the Quality of Software Architectures (2009).

• SIGMETRICS: International Conference on Measurement and Modeling of Computer Systems (2001,2003,2005).

• TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2004).

• TLDI: The Fifth ACM SIGPLAN Workshop on Types in Language Design and Imple- mentation (2010).

• TOOLS: International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (2003).

• ValueTools: International Conference on Performance Evaluation Methodologies and Tools (2007).

• WICSA: International Working IEEE/IFIP Conference on Software Architecture (2004).

• WOSP: International Workshop on Software Performance (2002, 2005, 2007-08).

• WOSP/SIPEW: International Conference on Performance Engineering (2010).

(11)

Conference and workshop participation

Author

• 30th June - 4th July, 2001: International Conference on Dependable Systems and Net- works (DSN2001), G¨oteborg (Sweden). I got a scholarship for the DSN organization.

Poster exhibitor.

• 10th-14th September, 2001: International MultiConference on Measurement, Mod- elling and Evaluation of Computer Communication Systems (PNPM01-PAPM/ProbmiV01- MMB01), Aachen (Germany). Article presentation [BB01].

• 23rd-26th July, 2002: Third International Workshop on Software and Performance (WOSP02), Roma. Article presentation [BDM02].

• 2nd-5th September, 2003: Illinois International Multiconference on Measurement, Mod- elling and Evaluation of Computer-Communication Systems, Urbana-Champain (Illinois- USA).

• 26th September - 1st October, 2004: First International Conference on Quantitative Evaluation of systems, Enschede (The Netherlands). Article presentation [BC04].

• 5th-8th February, 2007: Sixth International Workshop on Software and Performance (WOSP07), Buenos Aires (Argentina). Article presentation [BM07a].

• 28th September - 3rd October, 2008: 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Toulouse (France). Article presen- tation [BMP08a].

• 14th-16th September, 2009: 6th International Conference on Quantitative Evaluation of Systems (QEST’09), Budapest (Hungary). Article presentation [PNB09a].

• 28th-30th April, 2010: 8th European Dependability Computing Conference (EDCC’10), Valencia (Spagna). Article presentation [BML10].

PC member

• 4th-9th November, 2007: International Conference on Advanced Engineering Com- puting and Applications in Sciences (ADVCOMP07), Papeete, (French Polynesia - Tahiti).

• 1st-4th April, 2008: International Conference on Computer Systems and Applications (AICCSA-08), track: Software Systems and Applications, Doha (Qatar).

• 23rd-27th June, 2008: International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN-08), Xian (China).

• 15th-18th September, 2008: Industrial Automated Systems and Controls (track of ETFA08), Hamburg (Germany).

(12)

• 29th September - 4th October, 2008: Second International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP08), Valencia (Spain).

• 22nd-26th June, 2009: International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN-09), Paris (France).

• 22nd-25th September, 2009: Automated Manufacturing Systems (track of ETFA09), Mallorca (Spain).

• 20th-25th September, 2009: Fourth International Conference on Software Engineering Advances (ICSEA09), Porto (Portugal).

• 11st-16th October, 2009: Third International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP09), Sliema (Malta).

• 16th-19th May, 2010: ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-10), track: Software Engineering, Hammamet (Tunisia).

• 22nd-27th August, 2010: The Fifth International Conference on Software Engineering Advances (ICSEA10), Nice (France).

• 13rd-16th September 2010: Automated Manufacturing Systems (track of ETFA 2010), Bilbao (Spain).

• 23rd-24th September, 2010: 7th European Performance Engineering Workshop (EPEW10), Bertinoro (Italy).

• 20th-22nd October 2010: First International Conference on Cloud Computing and Services Science (CLOSER10), Valencia (Spain).

• 25th-30th October, 2010: The Fourth International Conference on Advanced Engineer- ing Computing and Applications in Sciences (ADVCOMP10), Florence (Italy).

• 21st-26th November, 2010: The First International Conference on Cloud Computing, GRIDs, and Virtualization (CLOUD COMPUTING10), Lisbon (Portugal)

Research stay

• 7th-11th May, 2001: University of Zaragoza (Spain), Centro Polit´ecnico Superior, De- partment of Computer Science and System Engineering.

• 2nd-28th June, 2003: University of Zaragoza (Spain), Centro Polit´ecnico Superior, Department of Computer Science and System Engineering.

• 14th October - 14th December, 2003: University of Zaragoza (Spain), Centro Polit´ecnico Superior, Department of Computer Science and System Engineering.

(13)

• 6th-28th June, 2004: Carleton University (Ottawa - Canada), Department of System and Computer Engineering.

• 15th-30th November, 2004: University of Zaragoza (Spain), Centro Polit´ecnico Supe- rior, Department of Computer Science and System Engineering.

• 1st January - 31st December, 2005 (Post-doct): University of Zaragoza (Spain), Centro Polit´ecnico Superior, Department of Computer Science and System Engineering.

• 15th September, 2008 - 15th March, 2009 (Researcher mobility, WWS project): Univer- sità di Zaragoza (Spagna), Centro Politécnico Superior, Departamento de Informática e Ingenier´ıa de Sistemas.

Seminars

• 22nd June, 2004: “Building Stochastic Petri Net models for the assessment of soft- ware system dependability”, at the Department of System and Computer Engineering, Carleton University (Ottawa, Canada), invited by Professor Dorina Petriu.

• 15th December, 2004: “Derivation of GSPN models from UML behavioral speciﬁca- tions”, at Department of Computer Science and Communication - University of Milano (Italy), invited by Professor Fiorella de Cindio.

• 17th March, 2006: “Derivation of performance models from UML behavioral speci- ﬁcations”, at the Department of Sciences and Advanced Technologies, University of Piemonte Orientale (Alessandria, Italy), invited by Professor Giuliana Franceschi- nis.

• 9th February, 2007: “Dependability evaluation of software systems through the con- struction of formal models” and “A UML proﬁle for the dependability analysis of real-time embedded systems”, at the National Technological University of Mendoza (Argentina), invited by the Professors Mario Di Stefano and Santiago Perez.

• 2nd and 4th February, 2010: “Use of Petri nets in the validation and veriﬁcation of soft- ware systems”, at the Department of Computer Science, University of L’Aquila (Italy), invited by Professor Vittorio Cortellessa - within the Call4Lecture’s initiative.

Research projects

• April - November, 1999: Research contract within the european project ESPRIT 28620 - TIRAN (TaIloRable fault tolerANce framework for embedded Application).

• January 2001 - March 2003: Research investigator in the European project IST 25434 - DepAuDE (Dependability for embedded Automation systems in Dynamic Environ- ments with intra-site and inter-site distribution aspects).

(14)

• November 2002 - November 2005: Research investigator in the project FIRB-Perf (Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools) ﬁnancially supported by the Italian Ministry for the University and Research (MIUR).

• April 2003 - April 2005: Research investigator in the bilateral project Italy - Spain ref.

IT 1173 (spanish reference HI-2002-0064).

• January 2006 - December 2008: Research investigator in the European project IST 027513 - CRUTIAL (Critical utility infrastructural resilience).

• January 2008 - December 2008: Research investigator in the project “Diseño de sis- temas empotrados: análisis de fiabilidad y seguridad”, financed by the University of Zaragoza (Spain). Scientific responsible: José Javier Merseguer. Financed amount:

4.4Keuro.

• March 2008 - March 2009: Scientific responsible of the project “Sviluppo di metodi e tecniche per la validazione dell’affidabilità dei sistemi software critici”, within the World Wide Style (WWS) incoming mobility program, financed by the Cassa di Risparmio di Torino and by Università degli Studi di Torino. Financed amount: 20,4Keuro.

• September 2008 - September 2010: Research investigator in the project “Performability- Aware Computing: Logiche, Modelli e Linguaggi (PaCo)”, co-financed by the Italian Ministry of University and Research - MIUR (70%) - and by the University of Torino (30%), within the framework Programmi di Ricerca scientifica di rilevante Interesse Nazionale (PRIN). Scientific coordinator: Prof. BERNARDO Marco, Universit`a degli Studi di URBINO ”Carlo BO”, Responsible UNITO research unit: Dott. Jeremy Sproston, Università di Torino. UNITO research unit financed with 20Keuro.

• January 2009 - December 2009: Research investigator in the project “Diseño de sis- temas empotrados: análisis de prestaciones y fiabilidad”, financed by the University of Zaragoza (Spain). Scientific responsible: José Javier Merseguer. Financed amount:

3Keuro.

Supervision of young researchers

Ing. Elina Roc´ıo PACINI NAUMOVICH, World Wide Style (WWS) program fellow.

Collaborations, training periods

• April 1998 - April 1999: Training period at CSELT S.p.A. During the training period I worked on a project, commissioned by Telecom, whose objective was the definition of possible evolutions of distributed software systems that support the provisioning of innovative telecommunication services offered by Telecom. Within the project, I collaborated to the activities of definition of the performance requirements [BB98]

and I carried out the modelling activities of such systems [BG99]. The models were constructed with the support of the software tool Modline (developed by Simulog) that

(15)

provides a framework for the performance analysis of queueing network systems via both simulation and analytical methods.

• December 1999 - December 2002: PhD scholarship for the PhD course in Computer Science, at the Department of Computer Science of the university of Torino (Italy).

• April - September, 2002: Research contract for the drawing of a user-manual for the software tool GreatSPN, at the Department of Computer Science, University of Torino (Italy).

Teaching and departmental activities

I have taught undergraduate courses in Computer Science, Biological Sciences, Sciences of Materials, Science and Technology of Cultural Assets and Science and Alpine Tourism.

I signed during the academic year 2006/07 a bilateral agreement, within the Computer Sci- ence area, between the University of Torino and the University of Zaragoza (Spain), for the student and teacher mobility, under the Lifelong Learning Programme (LLP) Eras- mus/Socrates.

I am member of the following departmental commissions:

• Internationalization and Erasmus Commission, Dept. of Computer Science

• English test Commission (president), BS degree in Science and Technology of Cultural Assets.

Undergraduate courses

A.A. 2000/2001 Assistant professor:

- Programming and calculus laboratory, BS degree in Science of Materials, subject area Matematics, 50 hours. Exercises in laboratory with the use of MATLAB software tool and examinations assistance.

- Experimentation of Software Engineering, BS and MS degrees in Computer Science, 100 hours. Exercises in laboratory with the use of Together CASE tool.

- Computer Architecture, BS degree in Computer Science Informatica, 50 hours. Ex- ercises, examinations preparation and assistance, correction of written examinations.

- Laboratory of applied computer science, BS degree in Biological Sciences, 18 hours, 1 credit.

- Computer architecture, BS degree in Computer Science, 38 hours, 1 credit.

A.A. 2005/2006

- Computer science, BS degree in Science and Technology of Cultural Assets, 34 hours, 3 credits. Course with shared responsibility.

(16)

- Computer Science I, BS degree in Science and Alpine Tourism, 3 credits.

- Experimentation of Software Engineering, BS and MS degrees in Computer Science, 18 hours, 2 credits. Course with shared responsibility.

- Computer Architecture, BS degree in Computer Science, 6 hours.

A.A. 2006/2007

- Computer Science, BS degree in Science and Technology of Cultural Assets, 56 hours, 5 credits.

A.A. 2007/2008

- A set of lectures (8 hours) for the course of Software Engineering II offered at the Cen- tro Politécnico Superior, University of Zaragoza (Spain) within the Socrates/Erasmus program (under the “Teaching Staff” bilateral agreement).

A.A. 2008/2009

A.A. 2009/2010

- Laboratory of Computer architecture, BS degree in Computer Science, 60 hours, 6 credits.

Torino, 14th May 2010

Simona Bernardi