DocumentCode
2395406
Title
Futurebus+ as a machine-executable specification promotes interoperability
Author
Izzo, Peter A.
Author_Institution
Protocol Services Div., Zycad, Rockaway, NJ, USA
fYear
1994
fDate
30 Oct-3 Nov 1994
Firstpage
561
Lastpage
562
Abstract
This paper focuses on the applicability of a machine-executable specification, specifically the IEEE Futurebus+ Specification, towards a modeling methodology that makes interoperability analysis an inherent part of system design and validation
Keywords
IEEE standards; formal specification; system buses; IEEE Futurebus+ Specification; interoperability; machine-executable specification; modeling methodology; system design; validation; Centralized control; Design engineering; Logic; Natural languages; Protocols; Standards development; System analysis and design; Systems engineering and theory; Testing; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 1994. 13th DASC., AIAA/IEEE
Conference_Location
Phoenix, AZ
Print_ISBN
0-7803-2425-0
Type
conf
DOI
10.1109/DASC.1994.369423
Filename
369423
Link To Document