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
Aida	Causevic	Senior Lecturer
Andreas	Johnsen	Doctoral student
Håkan	Forsberg	Senior Lecturer
Irfan	Sljivo	Research Engineer/Technician
Jiale	Zhou	Doctoral student
Johan	Sundell	Industrial Doctoral Student
Kaj	Hänninen	Senior Lecturer
Kristina	Forsberg	Adjunct Professor
Kristina	Lundqvist	Professor
Luciana	Provenzano	Researcher
Omar	Jaradat	Doctoral student

Project Title	Status
Closing the safety-security gap in software intensive systems	active
DPAC - Dependable Platforms for Autonomous systems and Control	active
ITS-EASY Post Graduate School for Embedded Software and Systems	active
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems	active
SeCRA - Security Case Run-Time Adaptation	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
Gen&ReuseSafetyCases	finished
KKS Adjungerad professur vid MDH - Avioniksystem	finished
SSpiia - Safety & Security in Process Industrial IT and Automation	finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems	finished

[Show all publications]

Incorporating Attacks Modeling into Safety Process (Sep 2018)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt , Carl Falk
6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)

Service Level Agreements for Safe and Configurable Production Environments (Sep 2018)
Mohammad Ashjaei, Kester Clegg , Lorenzo Corneo , Richard Hawkins , Omar Jaradat, Vincenzo Gulisano , Yiannis Nikolakopoulos
International Conference on Emerging Technologies and Factory Automation - Work in Progress Session (ETFA-WiP'18)

A Systematic Way to Incorporate Security in Safety Analysis (Jun 2018)
Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson
3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'18)

Using Safety Contracts to Verify Design Assumptions During Runtime (Jun 2018)
Omar Jaradat, Sasikumar Punnekkat
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )

Towards Attack Models in Autonomous Systems of Systems (May 2018)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, David Wenslandt , Carl Falk
System of Systems Engineering Conference (SoSE 2018)

Performance Evaluation of Fleet Operation in Volvo Electric Site: a Model Checking Approach (Apr 2018)
Ali Jafari, Jayasoorya Jayanthi Surendran Nair , Stephan Baumgart, Marjan Sirjani
The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)

Kristina Lundqvist, Professor

Email: kristina.lundqvist@mdh.se
Room: U1-066B
Phone: +46 (0)21 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