Logotype Mälardalenn University
This web site has been moved.
Please visit our new and improved web site at: http://www.es.mdh.se/
Startpage www.mdh.se

The Dependability Research Direction

Researchers involved

. Sasikumar Punnekkat (Professor), Radu Dobrin (Senior Lecturer), Daniel Sundmark (Senior Lecturer), Hüseyin Ayhan Aysan (PhD Student), Abhilash Thekkilakattil (PhD Student).

Context and research overview

Dependability is an important crosscutting concern in the workflow envisioned by PROGRESS and our research focus has been mainly on architecture models and analysis models that enable predictable and efficient execution of CBSW with special focus on timeliness and reliability attributes.

Major results

Highlight 13 - Error modelling and analysis [Show]

We have proposed appropriate error models to provide probabilistic fault tolerant guarantees in Fixed Priority Schedules (FPS) [42] reasoning for error composition behaviours in the context of the ProCom, as well as propagations in Component based systems [43]. We have also developed a plug-in to incorporate Failure propagation and transformation (FPTC) in PRIDE.

Highlight 14 - Fault tolerant strategies for CB RTS [Show]

We have proposed novel fault tolerant strategies for uniprocessors as well as for distributed systems communicating over Controller Area Network (CAN). We have developed techniques for fault tolerant scheduling in mixed criticality uniprocessor platforms to maximize the fault tolerant capabilities of fixed priority schedules [44], to include the time dimension into the modular redundancy paradigm for systems with loose synchronization [45], as well as cascading redundancy techniques that jointly address the time and space redundancy in fixed priority schedules [46]. Moreover, we have extended our methodologies to distributed real-time systems on CAN [47], as well as investigated the challenge of allocation and schedulability of mixed criticality tasks on multiprocessors [48].

Highlight 15 - Reliability modelling and analysis [Show]

We have proposed a Fuzzy based reliability modelling approach for CBD systems [49], which incorporates some of these requirements using a petri-net centric approach. We also outlined an approach for modelling uncertainties in software reliability estimations [50] (Best paper award of IEEE Reliability Society) and have conducted experiments based mutation testing for the evaluation of architecture based software reliability.

Highlight 16 - Energy-aware dependable real-time systems [Show]

We have investigated the interplay between the voltage scaling capabilities of modern hardware and the performance of real-time schedules, and proposed techniques to control the preemptive behaviour of fixed priority schedules by voltage scaling in RTS for periodic [51] as well as sporadic task models [52].

Highlight 17 - Software testing [Show]

We have investigated how to compose structural testing results of components [53], studied problems regarding the insufficiency of component/unit testing, and proposed a Software Test Management Framework [54]. We have also conducted studies on the industrial preferences and practices related to contemporary development paradigms and testing [55, 56].

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2013.02.25