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]

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)

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)

Formal Verification of an Approach for Systematic False Positive Mitigation in Safe Automated Driving System (Apr 2020)
Ayhan Mehmed, Wilfried Steiner , Aida Causevic

Addressing the Node Discovery Problem in Fog Computing (Apr 2020)
Vasileios Karagiannis , Nitin Desai, Stefan Schulte , Sasikumar Punnekkat
Workshop on Fog Computing and the Internet of Things 2020 (Fog-IoT '20)

Modular Safety Cases for the Assurance of Industry 4.0 (Feb 2020)
Omar Jaradat, Irfan Sljivo, Richard Hawkins , Ibrahim Habli
28th Safety-Critical Systems Symposium (SCSS'20)

Enhancing Fault Detection in Time Sensitive Networks using Machine Learning (Jan 2020)
Nitin Desai, Sasikumar Punnekkat
12th International Conference on COMmunication Systems & NETworkS (COMSNETS 2020)

Sasikumar Punnekkat, Professor

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