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]

Using Safety Contracts to Verify Design Assumptions During Runtime (Jun 2018)
Omar Jaradat, Sasikumar Punnekkat
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )

A Confguration Agent for Dynamic Time-Critical Networks (Nov 2017)
Marina Gutiérrez

Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling (Oct 2017)
Rob Davis , Abhilash Thekkilakattil, Oliver Gettings , Radu Dobrin, Sasikumar Punnekkat, Jian-Jia Chen
Real-Time Systems (RTSJ)

An Industrial Survey on the Influence of Process and Product Attributes on Software Product Reliability (Oct 2017)
Sanjay. L. Joshi , Bharat Deshpande , Sasikumar Punnekkat
International Conference on Networks & Advances in Computational Technologies (NetACT2017)

An Event-Based Messaging Architecture for Vehicular Internet of Things (IoT) Platforms (Sep 2017)
Meera Aravind , Radu Dobrin, Jakob Palmheden , Gustav Wiklander
ICT Innovations 2017 (ICT 2017)

Self-Configuration of IEEE 802.1 TSN Networks (Sep 2017)
Marina Gutiérrez, Wilfried Steiner , Astrit Ademaj , Radu Dobrin, Sasikumar Punnekkat
International Conference on Emerging Technologies And Factory Automation (ETFA'17)

Sasikumar Punnekkat, Professor

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