| Focus: | 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. |
|
Leader:
|
Sasikumar Punnekkat
|
|
Members:
|
Radu Dobrin, Yue Lu, Sasikumar Punnekkat, Heinz Schmidt, Hüseyin Aysan, Kristina Lundqvist, Adnan Causevic, Senthil Kumar Chandran, Anju S Pillai, Jiale Zhou, Barbara Gallina, Abhilash Thekkilakattil, Iain Bate, Henrik Jonsson
Visiting researcher(s): Iain Bate (University of York, UK)
Former: Abdulkadir Sajeev, Radhamani Pillay, Aleksandar Dimov |
| Division: | Division of Software Engineering | | Funding: | SSF, MDH, ITEA |
|
Latest group publications
[ Show all group publications ]
| | Realistic Safety Cases for the Timing of Systems, Patrick Graydon, Iain Bate, The Computer Journal, vol TBD, nr TBD, pTBD, Oxford Journals, February, TBD |
| | S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes, Barbara Gallina, Karthik Raja Pitchai (external), Kristina Lundqvist, 11th International Conference on Software Engineering Research, Management and Applications (SERA), Springer SCI, Prague, Czech Republic, August, 2013 |
| | Quantifying the Sub-optimality of Non-preemptive Real-time Scheduling, Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, The 25th Euromicro Conference on Real-Time Systems, Paris, France, July, 2013 |
|
