Title :
Synthesis of LOTOS specification of the IEEE-1394 firewire protocol
Author :
Carchiolo, Vincenza ; Malgeri, Michele ; Mangioni, Giuseppe
Author_Institution :
Dipt. di Ingegneria Informatica e delle Telecomunicazioni, Universita´´ di Catania, Italy
Abstract :
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.
Keywords :
IEEE standards; formal specification; protocols; security of data; IEEE-1394 firewire protocol; LOTOS specification; bug-affected device; direct-synthesis method; formal techniques; temporal ordering specification language; Firewire; Formal specifications; Hardware design languages; ISO standards; Open systems; Protocols; Safety devices; Standards organizations; Telecommunications; Time to market;
Conference_Titel :
Rapid Systems Prototyping, 2003. Proceedings. 14th IEEE International Workshop on
Conference_Location :
San Diego, CA, USA
Print_ISBN :
0-7695-1943-1
DOI :
10.1109/IWRSP.2003.1207034
