DocumentCode
1566071
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
fYear
2003
Firstpage
86
Lastpage
92
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Rapid Systems Prototyping, 2003. Proceedings. 14th IEEE International Workshop on
Conference_Location
San Diego, CA, USA
ISSN
1074-6005
Print_ISBN
0-7695-1943-1
Type
conf
DOI
10.1109/IWRSP.2003.1207034
Filename
1207034
Link To Document