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]

Systematic False Positive Mitigation in Safe Automated Driving Systems (Nov 2020)
Ayhan Mehmed, Wilfried Steiner , Aida Causevic
2020 International Symposium on Industrial Electronics and Applications (INDEL 2020)

Towards Dynamic Safety Assurance for Industry 4.0 (Oct 2020)
Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane
Journal of Systems Architecture (JSA)

Fogification of Electric Drives: An industrial use case (Sep 2020)
Mohammadreza Barzegaran , Nitin Desai, Jia Qian , Koen Tange , Bahram Zarrin , Paul Pop, Juha Kuusela
The 25th International Conference on Emerging Technologies and Factory Automation (ETFA2020)

Dynamic Reconfiguration of Safety-Critical Production Systems (Sep 2020)
Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat
25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020)

Enforcing Geofences for Managing Automated Transportation Risks in Production Sites (Sep 2020)
Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat
Workshop on Dynamic Risk managEment for Autonomous Systems (DREAMS 2020)

Cost-Aware Task Scheduling in Fog-Cloud Environment (Jul 2020)
Zeinab Bakhshi Valojerdi, Ali Balador, Tina Samizadeh Nikoui , Amir Masoud Rahmani

Sasikumar Punnekkat, Professor

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