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.
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)
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)
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262 (Jan 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina 1st Workshop on Technologies for Regulatory Compliance (TeReCom-2017)
Towards Generating ECSS-compliant Fault Tree Analysis Results via ConcertoFLA (Dec 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)
|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||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|