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.

[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