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 :
بازگشت