| 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 |
| | VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines, Barbara Gallina, Antonio Gallucci (Scania/MDH-master student), Kristina Lundqvist, Mattias Nyberg (Scania), SAFECOMP Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), CNRS report, Toulouse, France, September, 2013 |
| | S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes, Barbara Gallina, Karthik Raja Pitchai (SwAF/MDH master student), Kristina Lundqvist, 11th International Conference on Software Engineering Research, Management and Applications (SERA), Springer SCI, Prague, Czech Republic, August, 2013 |
|
