Barbara Gallina is Associate Professor of Dependable Software Engineering at Mälardalen University. Currently, she is Vice-chair of the security subgroup 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, LADC, ICSRS, QUORS, WoSoCER, SASSUR, ReSACI, ISSA, ASCS, DeCPS.
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.
Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision (Jul 2018) Barbara Gallina, Faiz UL Muram , Julieth Patricia Castellanos Ardila 4th international workshop on Agile Development of Safety-Critical Software (ASCS-2018)
Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA (Jun 2018) Barbara Gallina, Zulqarnain Haider, Anna Carlsson , Silvia Mazzini , Stefano Puri 23rd International Conference on Reliable Software Technologies -Ada-Europe 2018 (Ada-Europe-2018 )
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (Jun 2018) Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri 23rd International Conference on Reliable Software Technologies -Ada-Europe 2018 (Ada-Europe-2018 )
Bridging the Gap between Testing and Safety Certification (Mar 2018) Aiman Gannous , Anneliese Andrews , Barbara Gallina 39th Aerospace Conference (AC-2018)
Tool-Supported Design of Data Aggregation Processes in Cloud Monitoring Systems (Jan 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson Journal of Ambient Intelligence and Humanized Computing (JAIHC)
|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||finished|
|ImmerSafe - Immersive Visual Technologies for Safety-critical Applications||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||finished|
|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|