Luciana Provenzano, Senior Lecturer
Before becoming Senior Lecturer at MDH, I worked for several years as Requirements Manager at Bombardier Transportation in Västerås (Sweden).
My primary tasks as requirements manager concerned requirements process definition (which includes the set-up of the structure and attributes in IBM DOORS), standardization of processes and methods to deal with requirements, team coordination and requirements planning and release.
I am appointed Expert in Requirements Engineering, being Expert the first level of the Technical Experts career within Bombardier.
I also worked as safety engineer at Bombardier Transportation in Västerås. In this role, I dealt with safety and process in the context of product development being focused on safety system requirements and their allocation, verification and validation. I also collaborated with the Mälardalen University of Västerås on two topics: Requirements Engineering for Safety-critical Systems; and Safety Process Modelling and Process-based Certification. In particular, I worked as fixed-term part-time researcher in “Requirements and Safety” within the DPAC project at MDH.
In the past, I also worked in the academic field as researcher and lecturer. In particular, I got a post-doctoral fellowship at the CNRS (Centre Nationale de la Recherche Scientifique) in France on the subject “3D collaborative desktops and 3D human-computer interfaces”. I was full-time lecturer in Computer Science at the University of Lille 1, France, mostly teaching software engineering, which included techniques to describe requirements, and object-oriented design.
In my current position, I am the responsible, teacher and examiner of the course Requirements Engineering (DVA253), that I created for the second year students of the Aeronautical Engineering master. I am also teacher and examiner for the Project Course in Dependable System (FLA400), at the last year of the Aeronautical Engineering master. Finally, I teach software processes within the course Introduction to Computer and Software Engineering (DVA113).
I am also supervisor of a master thesis in Dependable Systems and a bachelor thesis in Computer Science.
My research concerns Requirements Engineering applied to Safety and Security. I am particularly interested in methods and techniques of requirements elicitation and specification for highly-collaborative dependable systems.
My research work is part of the Serendipity (Secure and dependable platform for autonomy) and FIC (Future Factories in the Clouds) projects at MDH. In particular, I am responsible of the workpackage WP3 "Requirements for Security and Safety" within Serendipity.
I am part of the Program Committee for RE'21 Industrial Innovation Track. (https://conf.researchr.org/committee/RE-2021/RE-2021-industrial-innovation-papers-program-committee)
I was invited speaker in the Industry Track at REFSQ'16 Conference (2016). The talk, entitled "Writing software requirements for railway safety-critical systems", was about the process put in place to write safety software requirements that are compliant with the EN50128 standard for railways. More information about this talk can be found at https://refsq.org/2016/conference-program/industry-track/index.html.
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand Journal of Internet Services and Applications (JISA)
From Requirements to Verifiable Executable Models using Rebeca (Sep 2020) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam Software Engineering and Formal Methods Collocated Workshops 2020 (SEFMW 2020)
DPAC Newsletter Spring 2020 (May 2020) Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén
An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems (Dec 2017) Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano 2017 2nd International Conference on System Reliability and Safety (ICSRS'17)
An Ontological Approach to Elicit Safety Requirements (Dec 2017) Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
An Ontological Approach to Hazard Identification for Safety-Critical Systems (Jul 2017) Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano the 2nd International Conference on Reliability Systems Engineering (ICRSE'17)