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.
Cost-Aware Scheduling of Software Processes Execution in the Cloud (Jan 2018) Sami Alajrami , Alexander Romanovsky , Barbara Gallina 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2018)
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)
|AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems||active|
|CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems||finished|
|DAGGERS - Data aggregation for embedded real-time database systems||active|
|PROMPT - Professional Master’s in Software Engineering (step II)||finished|
|PROMPT - Professional Master’s in Software Engineering (step II, phase B&C)||active|
|SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components||finished|
|SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems||active|
|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|
|Reusing Process Elements in the Context of Safety Critical Systems Development and Certification||finished|