SIMULATION TOOL FOR FUNCTIONAL VERIFICATION OF TTP/C-BASED SYSTEMS

摘要

This article describes a software tool that implements C-language written simulation model of distributed embedded computer system that is interconnected by means of TTP/C protocol. The aim of simulation is to evaluate specified system's properties when used as a safety critical control system. The method that uses simulated faults to disturb system's activity was developed during the solution of the EU/IST project FIT — Fault Injection for Time Triggered Architecture (TTA). A utilization of the described simulation tool is demonstrated when evaluating the time that a TTP/C cluster that is executing a realistic brake-by-wire control application needs to stop the car while the braking process is disturbed by transient faults.