High-Level Simulation of Embedded Systems: Experiences from the FIT Project

Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'04) pp. 245-248
High-Level Simulation of Embedded Systems: Experiences from the FIT Project
Premysl Brada, University of West Bohemia
Petr Grillinger, University of West Bohemia
Stanislav Racek, University of West Bohemia

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2004.1300363
Send link to a friend

Abstract
This paper summarizes the experiences gained from the EU project FIT which was aimed at the verification of TTP/C protocol. Several fault injection techniques have been successfully applied during the project, but we will focus mainly on the "high level simulation" approach. The key contribution of the paper is a summary of the lessons learned from our experiences with functional verification of embedded systems, using the discrete-time simulation method.
Back to Top Additional Information
Citation: Premysl Brada, Petr Grillinger, Stanislav Racek, "High-Level Simulation of Embedded Systems: Experiences from the FIT Project," isorc, pp. 245-248, Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'04), 2004

	Advanced Search
CS Search Google Search