Safe Deterministic Replay for Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems

被引：1

作者：

Armengaud, Eric ^{[1
]}

Fuegger, Matthias ^{[1
]}

Steininger, Andreas ^{[1
]}

机构：

[1] Vienna Univ Technol, Embedded Comp Syst Grp, Vienna, Austria

来源：

WFCS 2008: IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS | 2008年

关键词：

D O I：

10.1109/WFCS.2008.4638707

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Deterministic replay is used during testing to reproduce a scenario and drive the system under test to a given state. In this work, we replay an a-priori defined bits traffic to influence the clock synchronization mechanism. Beyond testing this distributed mechanism itself, our aim is to draw conclusions on the nodes' bits receiver operation. Since these replay activities are part of a transparent online test procedure, it is important to ensure that they do not represent a threat for proper system operation. We present a respective formal proof for TTP/C, while for the case of FlexRay we show that the system precision can be bounded according to the replay operation applied. Experimental results confirm and illustrate our approach.

引用

页码：277 / 286

页数：10

共 18 条

[1]

ANCEAUME E, 1998, RR3526

[2]

ARMENGAUD E, 2005, 8 IEEE WORKSH DES DI, P69

[3]

ARMENGAUD E, 2007, RR622007 TREITLSTR

[4] PROBABILISTIC CLOCK SYNCHRONIZATION IN DISTRIBUTED SYSTEMS [J].

ARVIND, K .

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1994, 5 (05) :474-487

[5]

COMPANY HP, 1997, 2002 HP

[6]

FlexRay Consortium, 2005, FLEXRAY COMM SYST PR

[7]

FORSTER W, 2007, 15 AUSTR WORKSH MICR, P107

[8]

Gaderer G., 2006, 6 IEEE INT WORKSH FA, P13

[9] CLOCK SYNCHRONIZATION IN DISTRIBUTED REAL-TIME SYSTEMS [J].

KOPETZ, H ;

OCHSENREITER, W .

IEEE TRANSACTIONS ON COMPUTERS, 1987, 36 (08) :933-940

[10]

Kopetz H., 1997, REAL TIME SYSTEMS DE

← 1 2 →