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

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	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

Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'04)

Vienna, Austria

May 12-May 14

ISBN: 0-7695-2124-X

	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

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

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.