Dependable Software Engineering


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.

[Show all publications]

Forecast Horizon for Automated Safety Actions in Automated Driving Systems (Sep 2019)
Ayhan Mehmed, Moritz Antlanger , Wilfried Steiner , Sasikumar Punnekkat
38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019)

On Fault-tolerant Scheduling of Time Sensitive Networks (Jul 2019)
Radu Dobrin, Nitin Desai, Sasikumar Punnekkat
4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)

System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving System (Jun 2019)
Ayhan Mehmed, Wilfried Steiner , Moritz Antlanger , Sasikumar Punnekkat
IEEE Intelligent Vehicles Symposium workshops (IEEE IVS 2019 WS)

Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018)
Erik Martin Campana , Nils Müllner, Saad Mubeen
2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)

Safety and Security Co-Analyses: A Systematic Literature Review (Dec 2018)
Elena Lisova, Irfan Sljivo, Aida Causevic
IEEE Systems Journal 2018 (ISJ-2018)

Contracts-Based Maintenance of Safety Cases (Nov 2018)
Omar Jaradat

Sasikumar Punnekkat, Professor

Room: U1-070
Phone: +46-21-107324