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
ImmerSafe - Immersive Visual Technologies for Safety-critical Applications	active
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C)	active
SACSys - Safe and Secure Adaptive Collaborative Systems	active
Software Center	active
Volvo Group Arena	active
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems	finished

[Show all publications]

Automating Safety Argument Change Impact Analysis for Machine Learning Components (Dec 2022)
Carmen Carlan , Lydia Gauerhof , Barbara Gallina, Simon Burton
27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-2022)

Multi-concern Dependability-centered Assurance via Qualitative and Quantitative Co-analysis (Apr 2022)
Barbara Gallina, Leonardo Montecchi , André Luiz de Oliveira , Lucas Paiva Bressan
IEEE Softw. SI (IEEE Softw. SI)

Compliance Checking of Software Processes: A Systematic Literature Review (Mar 2022)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Journal of Software: Evolution and Process (JSEP)

Design-time Specification of Dynamic Modular Safety Cases In Support of Run-Time Safety Assessment (Feb 2022)
Elham Mirzaei , Carmen Carlan , Carsten Thomas , Barbara Gallina
Safety-Critical Systems Symposium (SSS-2022)

Towards Qualitative and Quantitative Dependability Analyses for AR-equipped Socio-technical Systems (Nov 2021)
Soheila Sheikh Bahaei, Barbara Gallina
6th International Conference on System Reliability and Safety (ICSRS-2022)

A Plan for a 21st Century-oriented Transformative Educational Change for Anti-fragilizing Future (Safety) Engineers (Oct 2021)
Barbara Gallina
8:e Utvecklingskonferensen för Sveriges Ingenjörsutbildningar (USIU-2021)

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