CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

An Environment for Testing Safety-Critical Distributed Protocols

Carl Bergenhem ; Johan Karlsson (Institutionen för data- och informationsteknik, Nätverk och system (Chalmers) )
3rd IET International Conference on System Safety 2008; Birmingham; United Kingdom; 20 October 2008 through 22 October 2008 (2008)
[Konferensbidrag, refereegranskat]

This paper describes an environment for fault injection based testing of protocols that implement fault tolerance and redundancy management in safety-critical distributed real-time systems. Building confidence in the correctness of distributed protocols is an intrinsically difficult problem that requires the use of complementary testing and verification techniques. To this end, we propose a verification approach that involves three steps: i) initial testing in a software simulator, ii) formal verification by model checking and iii) final testing in a hardware prototype. Here, we describe an integrated test environment intended for the first and third step. It allows a tester to expose a protocol to various failure scenarios in both a software simulator and a hardware prototype system. Common data formats for definition of failure scenarios and for storing the protocols’ responses makes it possible run identical tests in the simulator and the hardware prototype and simplifies comparison of test results.

Nyckelord: Protocol testing, fault tolerance, safety-critical systems

Denna post skapades 2009-01-09. Senast ändrad 2017-11-23.
CPL Pubid: 84830