Přejít k obsahu


A method of functional verification of reliable embeded computer system

Citace: [] HEROUT, P., RACEK, S., HLAVIČKA, J. A method of functional verification of reliable embeded computer system. In Proceedings University of West Bohemia in Pilsen. Plzeň : Západočeská univerzita , 2003. s. 33-44. ISBN: 8070829494
Druh: STAŤ VE SBORNÍKU
Jazyk publikace: eng
Anglický název: A method of functional verification of reliable embeded computer system
Rok vydání: 2003
Místo konání: Plzeň
Název zdroje: Západočeská univerzita
Autoři: Pavel Herout , Stanislav Racek , Jan Hlavička
Abstrakt EN: This paper presents a method of functional verification of realiable embeded computer control systems. The method is based on functional-level simulation. The simulation model, being written in ANSI-C, is partable and machineindependent. Its structure is modular and flaxible, so that the experiment setting cna easily be changed. The functionality of this model is demonstrated on a set of fault injection experiments. The method was developed within the EU/IST FIT project solution.
Klíčová slova

Zpět

Patička