Safety-Critical Engineering

Focus:

Our group 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. Current focus is on human-centered, safety-critical systems – where failures can have serious consequences for people and society:

  • Safety-critical systems, cyber-physical systems, Ai-enabled autonomous cyber-physical systems
  • Safety, security, and dependability
  • Ontology and requirements engineering
  • Standardization, Human-Centered Safety-Critical AI systems


Our long-term vision is to bridge the gap between human-authored documentation and rigorous, machine-checkable safety models to make the design and certification of safety-critical, human-centered systems more transparent, trustworthy, and adaptable to future technologies.

  • We have developed modular ontologies for hazards and safety concepts that are grounded in international standards to resolve ambiguities in safety terminology across domains, provide a reusable foundation that can be extended to specific applications and support interoperability between safety standards and future standardization efforts. By making safety concepts explicit and machine-readable, we enable clearer communication between engineers, regulators, and automated tools.

  • We also work on turning safety documentation into knowledge graphs (KGs) with precise semantics and then interpreting these KGs using formal structures. This allows us to uncover latent hazards and contradictory specifications, reason about open-world vs. closed-world assumptions (what is unknown vs. what must hold), and support systematic safety and normative analysis, including accountability and responsibility.
Project TitleStatus
ARAS - Assured Reasoning for Autonomous Cyber-Physical Systems active
Next Generation Open Innovations in Trustworthy Embedded AI Architectures for Smart Cities, Mobility and Logistics active
RELIANT Industrial graduate school: Reliable, Safe and Secure Intelligent Autonomous Systems active
Safety Assurance in Continuous Deployment active
SUNRISE - Strategic Universities Network for Regional Innovative and Sustainable Evolution active
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems finished
ACICS - Assured Cloud Platforms for Industrial Cyber-physical 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
DPAC - Dependable Platforms for Autonomous systems and Control finished
Gen&ReuseSafetyCases finished
ITS-EASY Post Graduate School for Embedded Software and Systems finished
KKS Adjungerad professur vid MDH - Avioniksystem finished
SafeDeep: Dependable Deep Learning for Safety-Critical Airborne Embedded Systems finished
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems finished
SeCRA - Security Case Run-Time Adaptation finished
Serendipity - Secure and dependable platforms for autonomy finished
SSpiia - Safety & Security in Process Industrial IT and Automation finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished

Kristina Lundqvist, Chairman of the MDU recruitment committee,Professor

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