Title :
Futurebus+ as a machine-executable specification promotes interoperability
Author_Institution :
Protocol Services Div., Zycad, Rockaway, NJ, USA
fDate :
30 Oct-3 Nov 1994
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;
Conference_Titel :
Digital Avionics Systems Conference, 1994. 13th DASC., AIAA/IEEE
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-2425-0
DOI :
10.1109/DASC.1994.369423