Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol

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

14th IEEE International Workshop on Rapid System Prototyping (RSP'03)

San Diego, California, USA

June 09-June 11

ISBN: 0-7695-1943-1

	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

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

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.