Certifiable Evidences & Justification Engineering

Focus:

This group performs research on languages, techniques, metrics, and processes for engineering evidence(s) and justifications for the purpose of certification/selfassessment. More specifically, the focus is on languages, techniques, measurement frameworks, and processes for: modelling, analysis, justification and certification of complex dependable (computer-based) systems; systematic reuse of certification artifacts; multi-concern assurance; continuous certification via tool integration; compliance management; certification-related evidence engineering; safety/security management & safety/security culture; reuse-focused measurement frameworks.

Members
Projects
Latest Publications

First Name	Last Name	Title
Barbara	Gallina	Associate Professor
Dinar	Khowaja
Guido	Governatori	Visiting Professor
Moses	Mariajoseph
Soheila	Sheikh Bahaei	Doctoral student
Zulqarnain	Haider	Research Assistant

Project Title	Status
Software Center	active
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems	finished
ImmerSafe - Immersive Visual Technologies for Safety-critical Applications	finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C)	finished
SACSys - Safe and Secure Adaptive Collaborative Systems	finished

[Show all publications]

Integrating Attack-Fault Trees in the ODE Metamodel for Security and Safety Co-Analysis in the Automotive Domain (Jul 2025)
Victor Luiz Grechi , André Luiz de Oliveira , Barbara Gallina, Leonardo Montecchi , Rosana Teresinha Vaccare Braga
49th IEEE International Conference on Computers, Software, and Applications ( COMPSAC-2025)

Towards an Ontology for Process Compliance with the (Machinery) Legislations (Aug 2024)
Barbara Gallina, Gergő László Steierhoffer , Thomas Young Olesen , Eszter Parajdi , Mike Aarup
Journal of Software: Evolution and Process - EuroSPI Special Issue -2024 (JSEP-EuroSPI-SI)

Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda (Aug 2024)
Manabu Okada , Barbara Gallina
48th IEEE International Computers, Software, and Applications Conference (COMPSAC-2024)

An Ontology-based Representation for Shaping Product Evolution in Regulated Industries (Jul 2024)
Barbara Gallina, Henrik Dibowski , Markus Schweizer
21st International Conference on Software and Systems Reuse (ICSR-2024)

Safety of the Intended Functionality: What about Mental Harm? (Apr 2024)
Barbara Gallina
8th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS-2024)

An Extension of the Rasmussen Socio-technical System for Continuous Safety Assurance (Apr 2024)
Barbara Gallina, Peter Munk , Markus Schweizer
8th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS-2024)

Barbara Gallina, Associate Professor

Email: barbara.gallina@mdu.se
Room: U1-068
Phone: +46(0)21-101631

We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.

By continuing to use our website without changing the settings, you are agreeing to our use of cookies.

close

Mälardalen University

|

Box 325, 631 05 Eskilstuna

|

Box 883, 721 23 Västerås

|

+46-21-10 13 00, +46-16-15 36 00