Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol

San Diego, California, USA June 09-June 11

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/IWRSP.2003.1207034

14th IEEE International Workshop on R ...

	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 Vincenza Carchiolo Articles by Michele Malgeri Articles by Giuseppe Mangioni

	ASCII Text	x
	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, "Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol," Rapid System Prototyping, IEEE International Workshop on, pp. 86, 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), 2003.

	BibTex	x
	@article{ 10.1109/IWRSP.2003.1207034, author = {Vincenza Carchiolo and Michele Malgeri and Giuseppe Mangioni}, title = {Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol}, journal ={Rapid System Prototyping, IEEE International Workshop on}, volume = {0}, year = {2003}, issn = {1074-6005}, pages = {86}, doi = {http://doi.ieeecomputersociety.org/10.1109/IWRSP.2003.1207034}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Rapid System Prototyping, IEEE International Workshop on TI - Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol SN - 1074-6005 SP EP A1 - Vincenza Carchiolo, A1 - Michele Malgeri, A1 - Giuseppe Mangioni, PY - 2003 KW - null VL - 0 JA - Rapid System Prototyping, IEEE International Workshop on ER -

Vincenza Carchiolo, Facolta? di Ingegneria - Universita? di Catania

Michele Malgeri, Facolta? di Ingegneria - Universita? di Catania

Giuseppe Mangioni, Facolta? di Ingegneria - Universita? di Catania

Rigorous techniques must be embraced in order to reduce the risk of designing bug-affected devices. Use of formal techniques solves several design matters, but often synthesis is not able to maintain properties of specification. In this paper a direct-synthesis method of a formal specification is discussed and its application to the IEEE-1394 protocol synthesis is presented.

Citation:

Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, "Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol," rsp, pp.86, 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), 2003

Peer Review Notice | Give Us Feedback

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