Test method for embedded real-time systems

Testing is an ultimate phase of product life cycle to which particular attention is paid, namely when dependability is of great importance. This work is concerned with the checking of dependability requirements by means of tests experiments. Here we address real-time embedded systems for which validation encounters a complexity problem due to real-time requirements. In this paper we propose a partial technique aimed at avoiding this problem and illustrate it with an example.

[1]  R. M. Tomasulo,et al.  An efficient algorithm for exploiting multiple arithmetic units , 1995 .

[2]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[3]  Jr. Philip J. Koopman,et al.  Stack computers: the new wave , 1989 .

[4]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[5]  Satoshi Yamane,et al.  The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

[6]  Boris Beizer,et al.  Black Box Testing: Techniques for Functional Testing of Software and Systems , 1996, IEEE Software.

[7]  Mark Horowitz,et al.  Energy dissipation in general purpose microprocessors , 1996, IEEE J. Solid State Circuits.

[8]  Daniel P. Siewiorek,et al.  Automated robustness testing of off-the-shelf software components , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[9]  Rachel Cardell-Oliver,et al.  A Practical and Complete Algorithm for Testing Real-Time Systems , 1998, FTRTFT.

[10]  Philip Koopman,et al.  Comparing the robustness of POSIX operating systems , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[11]  Wang Yi,et al.  Verifying temporal constraints on data in multi-rate transactions using timed automata , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[12]  P. Bishop,et al.  Justifying the use of software of uncertain pedigree ( SOUP ) in safety related applications , 2001 .

[13]  David J. Smith BSc PhD CEng Fiee Fiqa HonFSaRS MIGasE.,et al.  Functional Safety: A Straightforward Guide to IEC61508 and Related Standards , 2001 .

[14]  Alastair Faulkner.  Preliminary assessment of Linux for safety related systems , 2002 .

[15]  Ousmane Koné.  Conformance testing to real-time communications systems , 2002, Comput. Commun..

[16]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[17]  Ferhat Khendek,et al.  Timed Wp-Method: Testing Real-Time Systems , 2002, IEEE Trans. Software Eng..

[18]  Bernd J. Krämer,et al.  Predictable Component Architectures Using Dependent Finite State Machines , 2002, RISSEF.

[19]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[20]  Johan Fredriksson,et al.  Attaining flexible real-time systems by bringing together component technologies and real-time systems theory , 2003, 2003 Proceedings 29th Euromicro Conference.

[21]  Jan Gustafsson,et al.  Worst-case execution-time analysis for embedded real-time systems , 2003, International Journal on Software Tools for Technology Transfer.

[22]  Ralf H. Reussner,et al.  Reliability prediction for component-based software architectures , 2003, J. Syst. Softw..

[23]  Bernd J. Krämer,et al.  Modelling Predictable Component-Based Distributed Control Architectures , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[24]  Daniel Sundmark,et al.  Monitored software components - a novel software engineering approach , 2004, 11th Asia-Pacific Software Engineering Conference.

[25]  A. Lawrence.  A personal view of using COTS equipment in safety-related applications , 2004 .

[26]  SaveCCM - a component model for safety-critical real-time systems , 2004, Proceedings. 30th Euromicro Conference, 2004..

[27]  S. Hutchesson.  The challenges of providing assurance evidence for COTS and reused components , 2004 .

[28]  Joakim Fröberg,et al.  Industrial Requirements on Component Technologies for Embedded Systems , 2004, CBSE.

[29]  Jukka Mäki-Turja,et al.  Efficient Development of Real-Time Systems Using Hybrid Scheduling , 2005, ESA.

[30]  Raimund Kirner,et al.  Automatic timing model generation by CFG partitioning and model checking , 2005, Design, Automation and Test in Europe.

[31]  Hans A. Hansson,et al.  Towards a dependable component technology for embedded system applications , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.