Barbara Gallina, Associate Professor

Barbara Gallina is Associate Professor of Dependable Software Engineering at Mälardalen University. Currently, she is Vice-chair of the security subgourp within EWICS and  member of IEEE SMC Technical Committee on Homeland Security (TCHS). Within AMASS, a large EU-ECSEL funded project, she is playing various roles: technical manager at the global level, work package leader, task leader, and land coordinator. She was also the leader of the dependability-related work packages in the EU-Artemis funded SafeCer and CONCERTO projects. She has been visiting researcher at Scania AB, via the SSF-SM14-0013 grant. She has been member of several program committees related to dependability such as SafeComp, ISSRE, EDCC, COMPSAC, QUORS, WoSoCER, SASSUR, ReSACI, ISSA. 

She got a M.Sc. in Computer Engineering and a II-level Master in IT, both from Politecnico di Milano (Italy). She got her PhD in Computer Science from the University of Luxembourg (Luxembourg). 

Barbara Gallina' research interests focus on various aspects of dependable (software) systems engineering and certification. More specifically, she is interested in developing languages, methods, and processes for: 1) modelling, analysis, justification and certification of complex (computer-based) systems, 2) systematic reuse of certification artifacts (product, process, assurance case-related evidence), 3) multi-concern assurance, 4) continuous certification via tool integration, 5) compliance management 6) certification-related evidence engineering (immediate, direct, and indirect) 7) safety culture.

[Show all publications]

[Google Scholar author page]

Latest publications:

Towards Generating ECSS-compliant Fault Tree Analysis Results via ConcertoFLA (Nov 2017)
Barbara Gallina, Zulqarnain Haider, Anna Carlsson
2nd International Conference on Reliability Engineering (ICRE-2017)

Enabling GSD Task Allocation via Cloud-based Software Processes (Oct 2017)
Sami Alajrami , Barbara Gallina, Alexander Romanovsky
International Journal of Networked and Distributed Computing 5(4)-2017 (IJNDC 5(4)-2017)

Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards (Oct 2017)
Julieth Patricia Castellanos Ardila, Barbara Gallina
The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)

Pioneering the Creation of ISO 26262-compliant OSLC-based Safety Cases (Oct 2017)
Barbara Gallina, Mattias Nyberg
The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
7th International Conference on Model and Data Engineering (MEDI 2017)

PhD students supervised as main supervisor:

Julieth Patricia Castellanos Ardila

PhD students supervised as assistant supervisor:

Andreas Johnsen
Irfan Sljivo
Sami Alajrami (former)
Simin Cai

MSc theses supervised (or examined):
Thesis TitleStatus
Effective ECSS series-compliant Quality Management via Process Modeling available
Effective ISO 26262-compliant Safety Management via Process Modeling and Monitoring available
Using an OSLC-based query mechanism to get and set necessary argumentation elements to build a safety case available
A supplier perspective on the application of ISO 26262 Concept Phase for the development of an automotive sensor in progress
A tool-support for S-TunExSPEM in progress
Deriving Reusable Process-based Arguments from Process Models in the Context of Safety Critical Systems Development and Certification in progress
Reusing Process Elements in the Context of Safety Critical Systems Development and Certification in progress
A framework for the analysis of failure behaviours in component-based model-driven development of dependable systems finished
A model-based safety analysis approach for high-integrity socio-technical component-based systems finished
An approach to allow safety requirements to be efficiently decomposed, traced and validated finished
An executable meta-model for safety-oriented software and systems development processes within the avionics domain in compliance with RTCA DO 178B finished
Building a safety case for a small-sized product line of Fuel Level Display systems finished
Building a Safety Case in Compliance with ISO 26262 for Fuel Level Estimation and Display System finished
Investigation of an OSLC-domain targeting ISO 26262 -Focus on the left side of the Software V-model- finished