Kristina Lundqvist, Chairman of the MDU recruitment committee, Professor

E-mail:
kristina.lundqvist@mdu.se
Room:
U1-066B
Phone:
021-101428
Division:
Division of Computer Science and Software Engineering
Research group:
Safety-Critical Engineering
Web:
Personal homepage



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 RELIANT industrial research school, Chariman of the MDU recruitment committee (engineering), and member of the MDU engineering committee (teknikutskottet). 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.

Project TitleStatus
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems finished
ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems finished
ARAS - Assured Reasoning for Autonomous Cyber-Physical Systems active
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 finished
DPAC - Dependable Platforms for Autonomous systems and Control active
ESS-H - Embedded Sensor Systems for Health Research Profile finished
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 finished
KKS Adjungerad professur vid MDH - Avioniksystem finished
PROMPT - Professional Master’s in Software Engineering (step II) finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C) active
RELIANT Industrial graduate school: Reliable, Safe and Secure Intelligent Autonomous Systems active
Safety Critical Industrial Machine Vision Inspection and Control System (SAFEi) finished
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems finished
Serendipity - Secure and dependable platforms for autonomy active
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished
TOCSYC - Testing of Critical System Characteristics (KKS) finished
PhD students supervised as main supervisor:

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

PhD students supervised as assistant supervisor:

Rong Gu (former)
Youssef Zaki (former)

MSc theses supervised (or examined):
Thesis TitleStatus
Team Dynamics in Software Development selected
Attributes of Space plug-and-play Avionics Local Subnet verified with UPPAAL 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
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
Reusing Process Elements in the Context of Safety Critical Systems Development and Certification finished
Simulation of Safety-Critical Systems Specified in AADL finished
Towards attack models of autonomous Systems of Systems finished
Visual studio add-in for proxy object code generation finished