Safety-Critical Engineering

Focus:

Focusing on bridging the theoretical foundations of dependability and industrial software development practices, with an emphasis on the technology and process aspects of complex dependable systems.

Members
Projects
Latest Publications

First Name	Last Name	Title
Francesco	Flammini	Professor
Håkan	Forsberg	Senior Lecturer
Irfan	Sljivo
Johan	Sundell	Industrial Doctoral Student
Kaj	Hänninen	Senior Lecturer
Kristina	Forsberg	Adjunct Professor
Kristina	Lundqvist	Professor
Luciana	Provenzano	Senior Lecturer
Malina	Adach	Doctoral student
Omar	Jaradat

Project Title	Status
ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems	active
DPAC - Dependable Platforms for Autonomous systems and Control	active
SafeDeep: Dependable Deep Learning for Safety-Critical Airborne Embedded Systems	active
Safety Assurance in Continuous Deployment	active
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems	active
Serendipity - Secure and dependable platforms for autonomy	active
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems	finished
ARROWS - Design Techniques for Adaptive Embedded Systems	finished
ASIS - Architecture-based verification of software-intensive systems	finished
Closing the safety-security gap in software intensive systems	finished
Gen&ReuseSafetyCases	finished
ITS-EASY Post Graduate School for Embedded Software and Systems	finished
KKS Adjungerad professur vid MDH - Avioniksystem	finished
SeCRA - Security Case Run-Time Adaptation	finished
SSpiia - Safety & Security in Process Industrial IT and Automation	finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems	finished

[Show all publications]

Challenges in Using Neural Networks in Safety-Critical Applications (Oct 2020)
Håkan Forsberg, Johan Hjorth, Masoud Daneshtalab, Joakim Lindén , Torbjörn Månefjord
The 39th Digital Avionics Systems Conference (DASC'2020)

Safety-critical software - Quantification of test results (Oct 2020)
Johan Sundell, Kristina Lundqvist, Håkan Forsberg
10th IEEE International Workshop on Software Certification (WoSoCER-2020)

DPAC Newsletter Spring 2020 (May 2020)
Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén

Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems (Dec 2019)
Jamal El Hachem , Ali Sedaghatbaf, Elena Lisova, Aida Causevic
Asia-Pacific Software Engineering Conference (APSEC 2019)

Assurance Strategy for New Computing Platforms in Safety-Critical Avionics (Oct 2019)
Håkan Forsberg, Andreas Schwierz , Kristina Lundqvist
Aerospace Technology Congress 2019 (FT2019)

Experiences from Applying an Ontology in Hazard Analysis of Autonomous System of Systems (Oct 2019)
Malina Adach, Kaj Hänninen, Luciana Provenzano, Kristina Lundqvist
Aerospace Technology Congress 2019 (FT2019)

Kristina Lundqvist, Professor

Email: kristina.lundqvist@mdh.se
Room: U1-066B
Phone: 021-101428

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