A silicon independent C-Based model of the TTP/C protocol was implemented within the EU-founded project FIT. The C-based model is integrated in the C-Sim simulation environment. The main objective of this work is to verify whether the simulation model of the TTP/C protocol behaves in the presence of faults in the same way as the existing hardware prototype implementation. Thus, the experimental results of the software implemented fault injection applied in the simulation model and in the hardware implementation of the TTP/C network have been compared. Fault injection experiments in both the hardware and the simulation model are performed using the same configuration setup, and the same fault injection input parameters (fault injection location, fault type and the fault injection time). The end result comparison has shown a complete conformance of 96.30%, while the cause of the different results was due to hardware specific implementation of the Built-In-Self-Test error detection mechanisms.
The paper presents the C-Sim simulation environment, which enables tire execution of several processes in an interleaved mode using the global simulation lime concept. C-Sim was usedwilhin the EUlIST project Fault Injection for Time Triggered Architecture (FIT) to build a simulation model of 1TPlC protocol based real-time embedded compUier system in order to verify its dependability through fault injection. C�Sim characteristicsC-Sim is a simple program enhancement of the C language (ANSI specification) used for creating discrete time simulation models based on the method of pseudo parallel processes. C-Sim kernel has the fonn of a library of basic object types and operations on them. The goal of its design was to create a portable and to a certain degree machine independent tool for computer implementation of discrete-time systems simulati on. The idea was taken from the programming language SIMULA The C language, unlike SIMULA, has no tools for object oriented programming but some of the basic principles were implemented using predefined macro commands. C-Sim portabilityC-Sim kernel is ANSI-C portable, so C program using only the kernel can be made ANSI-C portable as well (it assumes only the use of YO capabilities of the standard C libraries). Most of C++ compilers accept such program as well. It is possible to create customized run-time environments in order to manage a class of simulation experiments. Simple run-time environments for MS DOS, X-Windows and NT Windows have been created so far.A complex application-dependent run-time environment (including e.g. model viSUalization) can be constructed as a separated SW layer. C-Sim appJicatioD areaC-Sim can be used in all the traditional areas of discrete-time simulation, e.g. in the area of queuing networks modelling. Moreover it can be used for non-539 traditional applications of discrete-time modelling, e.g. verification of properties of paral lel programs and systems. communication protocols, fault-tolerant systems and algorithms, algorithms of real-time safety-critical applications, etc. C-Sim based simulati on program can describe both the functions of system HW (at a chosen level of abstraction) and SW (here the C-coded parts of an application source code can be directly used as a part of C-Sim based simulation program code). C-Sim is freely accessible at www [1] including a user manual. C�Sim case studyWithin the EU/IST project Fault Injection for Time Triggered Architecture (FIT) we used C-sim to build a simulation model of TIP/C protocol based real-time embedded computer systems in order to inject faults and to follow their influence [2}. The source code of the model has two basic SW layers:• C-reforence model of ITPIC protocol: contains C language coded TTP/C specification, including data types (CNJ, MEDL) and fimctions (TTP/C services),• C-Sim code of a program of (abstract) ITPIC controller activity: this program serves as a template to create the required number of TTP/C processes (i.e. abstract controllers) as a part of the TTP/C cluster model .Th...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.