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

Vienna, Austria May 12-May 14

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ISORC.2004.1300363

Seventh IEEE International Symposium ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Přemysl Brada Articles by Petr Grillinger Articles by Stanislav Racek

	ASCII Text	x
	Přemysl Brada, Petr Grillinger, Stanislav Racek, "High-Level Simulation of Embedded Systems: Experiences from the FIT Project," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 245-248, Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'04), 2004.

	BibTex	x
	@article{ 10.1109/ISORC.2004.1300363, author = {Přemysl Brada and Petr Grillinger and Stanislav Racek}, title = {High-Level Simulation of Embedded Systems: Experiences from the FIT Project}, journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on}, volume = {0}, year = {2004}, isbn = {0-7695-2124-X}, pages = {245-248}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2004.1300363}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on TI - High-Level Simulation of Embedded Systems: Experiences from the FIT Project SN - 0-7695-2124-X SP245 EP248 A1 - Přemysl Brada, A1 - Petr Grillinger, A1 - Stanislav Racek, PY - 2004 KW - null VL - 0 JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on ER -

Přemysl Brada, University of West Bohemia

Petr Grillinger, University of West Bohemia

Stanislav Racek, University of West Bohemia

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.

Citation:

Přemysl 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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.