C-Sim - the C language enhancement for discrete-time simulation

Abstract

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...

Introduction to the new Packet Triggered Architecture for pipelined and parallel data processing

“…This feature allows processing multiple external events in parallel. The PTA can as well be programmed to increase its hardware reliability and do a functional self test [9]. If the PTA is compared to VLIW processor [4] with the same number and type of processing units, the execution speed of the main loop is basically the same.…”

“…One of the other major advantages of PTA is the capability to do a complete programmable self test and work like a system with increased reliability [9]. To do this, one condition must be fulfilled -every FU is included three times in the PTA.…”

Provisão integrada de QoS relativa e absoluta em serviços computacionais interativos com requisitos de responsividade de tempo real

“…Linguagens orientadas a processo, como CSIM (Hlavicka & Racek, 2002;Schwetman, 1986), SIMULA (Birtwhistle et al, 1979) e ASPOL (MacDougall & McAlpine, 1973) são recomendadas para implementar modelos de simulação de grande escala. Programas de simulação escritos nessas linguagens podem ser construídos como uma descrição direta do sistema em questão.…”