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]

Do Software Reliability Prediction Models Meet Industrial Perceptions? (Feb 2017)
Sanjay. L. Joshi , Bharat Deshpande , Sasikumar Punnekkat
Proceedings of the 10th Innovations in Software Engineering Conference (ISEC-2017)

Special section on: Reliability and Safety Certification of Software-Intensive Systems (Feb 2017)
Barbara Gallina, Roberto Natella
Reliability Engineering & System Safety-Volume-58-February-2017 (RE&SSvol158Feb17)

Deriving Verification-related Means of Compliance for a Model-based Testing Process (Dec 2016)
Barbara Gallina, Anneliese Andrews
35th Digital Avionics Systems Conference (DASC-2016)

Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer (Dec 2016)
Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle
Computer Standards & Interfaces -SPICE-2016 Special Issue (CSI SPICE-2016)

Towards Tool-based Security-informed Safety Oriented Process Line Engineering (Nov 2016)
Inmaculada Ayala, Barbara Gallina
1st International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA-2016)

Software Development in the Post-PC Era: Towards Software Development as a Service (Nov 2016)
Sami Alajrami , Alexander Romanovsky , Barbara Gallina
17th International Conference on Product-Focused Software Process Improvement (PROFES-2016)

Sasikumar Punnekkat, Professor

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