Kristina Lundqvist serves as the Professor of Dependable Software Engineering at the School of Innovation, Design and Engineering at Mälardalen University. Her research group on Safety-critical engineering focuses on bridging the gap between the theoretical foundations of dependability and industrial software development practices of complex dependable systems. Additionally, Prof. Lundqvist is the Director of the ITS-EASY industrial research school. She received a Ph.D. in Computer Systems from Uppsala University in 2000. Prior to coming to Mälardalen University in 2007, she served on the faculty of the Department of Aeronautics and Astronautics at Massachusetts Institute of Technology (MIT).

Professor Lundqvist's research group on Safety-critical engineering focuses 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]

[Google Scholar author page]

Latest publications:

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
The 28th International Symposium on Software Reliability Engineering (ISSRE) (ISSRE'17)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
The 28th International Symposium on Software Reliability Engineering (ISSRE) (ISSRE'17)

A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology (Sep 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist
43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)

An Ontological Approach to Hazard Identification for Safety-Critical Systems (Jul 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano
the 2nd International Conference on Reliability Systems Engineering (ICRSE'17)

An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems (Jun 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano
The 27th European Safety and Reliability Conference (ESREL'17)

Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017)
Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2nd International Workshop on Decision Making in Software Architecture (MARCH)

Project Title	Status
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
AVANS - civilingenjörsprogrammet i tillförlitliga flyg- och rymdsystem	active
DPAC - Dependable Platforms for Autonomous systems and Control	active
ESS-H - Embedded Sensor Systems for Health Research Profile	active
Hi5 - A Holistic and Improved Infrastructure for Increased Industrial Impact of research	finished
ISE - Industrial Software Engineering	finished
ITS-EASY Post Graduate School for Embedded Software and Systems	active
KKS Adjungerad professur vid MDH - Avioniksystem	active
PROMPT - Professional Master’s in Software Engineering (step II)	finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C)	active
Safety Critical Industrial Machine Vision Inspection and Control System (SAFEi)	finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems	active
TOCSYC - Testing of Critical System Characteristics (KKS)	active

PhD students supervised as main supervisor:

Andreas Johnsen
Göran Bertheau (former)
Guillaume Berteau (former)
Jayakanth Srinivasan (former)
Jiale Zhou
Johan Sundell
Kristian Wiklund (former)
Martin Ouimet (former)
Mathieu Quenot (former)
Sebastien Gorelov (former)
Stefan Björnander (former)
Yves Boussemart (former)

PhD students supervised as assistant supervisor:

Youssef Zaki

MSc theses supervised (or examined):

Thesis Title	Status
Effective ECSS series-compliant Quality Management via Process Modeling	available
Effective ISO 26262-compliant Safety Management via Process Modeling and Monitoring	available
Using an OSLC-based query mechanism to get and set necessary argumentation elements to build a safety case	available
Team Dynamics in Software Development	selected
A supplier perspective on the application of ISO 26262 Concept Phase for the development of an automotive sensor	in progress
A tool-support for S-TunExSPEM	in progress
Attributes of Space plug-and-play Avionics Local Subnet verified with UPPAAL	in progress
Deriving Reusable Process-based Arguments from Process Models in the Context of Safety Critical Systems Development and Certification	in progress
En kunskapsportal i ett industrikluster	in progress
Implementation of a web application using third-party web services - Comparison between .NET and PHP	in progress
Real-Time Linux - Demonstrating Real-Time Application Interface as a development platform	in progress
Reusing Process Elements in the Context of Safety Critical Systems Development and Certification	in progress
Tool for Risk Evaluation	in progress
A Model for Estimating the Execution Cost of Test Cases	finished
A model-based safety analysis approach for high-integrity socio-technical component-based systems	finished
A web store based on reusable .NET components	finished
An approach to allow safety requirements to be efficiently decomposed, traced and validated	finished
An executable meta-model for safety-oriented software and systems development processes within the avionics domain in compliance with RTCA DO 178B	finished
Automatiserad arkitektur-baserad verifiering av säkerhetskritiska system	finished
Building a safety case for a small-sized product line of Fuel Level Display systems	finished
Building a Safety Case in Compliance with ISO 26262 for Fuel Level Estimation and Display System	finished
Comparison between .NET and Java EE - Implementation of a Cash & Bank Application	finished
Comparison between ASP.NET and PHP: Implementation of a Real Estate Database	finished
Comparison of Web Development Technologies ‐ ASP.NET & PHP	finished
Course Curriculum Planning and Management System	finished
Huvudmeny Handy Blue	finished
Investigation of an OSLC-domain targeting ISO 26262 -Focus on the left side of the Software V-model-	finished
Model-based Testing on Generated C Code	finished
Simulation of Safety-Critical Systems Specified in AADL	finished
Visual studio add-in for proxy object code generation	finished

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