Logotype Mälardalen University

MRTC publications



Testability of Safety-Critical Distributed Real-Time Systems

Authors: Henrik Thane, Christer Norström
Source: Technical Report, MRTC
 

Abstract

In this paper we analyze different software design principles and architectures applicable to safety-critical distributed real-time systems with respect to testability. This is motivated by the fact that the major part of software development today is spent on verification and validation. We define a testability metric in order to make this analysis possible. We analyze how certain design decisions and languages affect the testability of programs and further extend this analysis to cover real-time systems, and finally distributed real-time systems. The conclusion is that jitter, preemption, interrupts, and the choice of execution and distribution strategy have severe effects on the functional testability of the system.
 

BibTeX entry

@techreport{Thane_0141:1997,
   author = {Henrik Thane and Christer Norstr{\"o}m},
   title = {Testability of Safety-Critical Distributed Real-Time Systems},
   month = {October},
   year = {1997},
   institution = {M{\aa}lardalen University},
   number = {},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=0141},
}

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