Dependable Software Engineering

Focus:

Methods and processes for engineering dependable software systems; specifically, techniques and schedulability analysis for fault-tolerant real-time systems, software reliability modelling, software testing and safety argumentation for certification.

Members
Projects
Latest Publications

First Name	Last Name	Title
Ayhan	Mehmed
Dino	Mustefa	Industrial Doctoral Student
Faiz	Ul Muram	Researcher
Hans	Hansson	Professor
Heinz	Schmidt	Adjunct Professor
Henrik	Jonsson	Industrial Doctoral Student
Iain	Bate	Visiting Professor
Julieth Patricia	Castellanos Ardila	Associated Senior Lecturer
Mahnaz	Malekzadeh	Doctoral student
Marina	Gutiérrez	Industrial Doctoral Student
Muhammad Atif	Javed	Researcher
Nazakat	Ali	Postdoctoral research fellow
Nitin	Desai	Doctoral student
Omar	Jaradat	Researcher
Radu	Dobrin	Associate Professor,Head of Division,International Coordinator
Sasikumar	Punnekkat	Professor
Sirisha Bai	Govardhan Rao	Industrial Doctoral Student
Stephan	Baumgart	Industrial Doctoral Student
Tijana	Markovic	Postdoctoral research fellow
Zeinab	Bakhshi	Doctoral student

Project Title	Status
DAIS - Distributed Artificial Intelligent Systems	active
DAISY- Dependable Autonomous System of Systems	active
Efficient Safety in Complex Autonomous Production Environments - Concept Development	active
Generative AI for Software Engineering	active
InSecTT: Intelligent Secure Trustable Things	active
Safety Assurance in Continuous Deployment	active
SIMCON: System of Intelligent Connected Machines for Construction	active
TRYM: Trust your Metrics!	active
AVANS - civilingenjörsprogrammet i tillförlitliga flyg- och rymdsystem	finished
ESCAPE - Efficient and effective functional safety for complex autonomous production systems	finished
EURECA	finished
FIA - Strategic research into safety and security for the automation industry	finished
Future factories in the Cloud	finished
Gen&ReuseSafetyCases	finished
PG-DEP-REMAP - Reliability Modeling and Analysis for Predictability Assurance	finished
RetNet - The European Industrial Doctorate Programme on Future Real-Time Networks	finished
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components	finished
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication	finished
SSpiia - Safety & Security in Process Industrial IT and Automation	finished
SUCCESS: Safety assurance of Cooperating Construction Equipment in Semi-automated Sites	finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems	finished
V-trustEE	finished

[Show all publications]

Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL (Sep 2025)
Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
44th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2025)

Making Systems of Systems Orchestration Safer (Jun 2025)
Julieth Patricia Castellanos Ardila, Nazakat Ali, Sasikumar Punnekkat, Jakob Axelsson
2025 European Safety and Reliability and Society for Risk Analysis Europe conference (ESREL-SRA.)

Formal Modeling and Strategy Synthesis for Resource Optimization in System of Systems (Jun 2025)
Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
20 th Annual System of Systems Engineering Conference (SOSE 2025)

Experience using Systematic Mapping Studies to Foster Knowledge Discovery in Emerging Technology Fields (Apr 2025)
Julieth Patricia Castellanos Ardila
17th International Conference on Computer Supported Education (CSEDU)

Towards an Integrated Safety-Security Ontology for System of Systems (Oct 2024)
Nazakat Ali, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
2024 IEEE International Symposium on Systems Engineering (ISSE 2024)

Safety Argumentation for Machinery Assembly Control Software (Sep 2024)
Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman
43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2024)

Sasikumar Punnekkat, Professor

Email: sasikumar.punnekkat@mdh.se
Room: U1-070
Phone: +46-21-107324

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