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.<>


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Futurebus+ as a machine-executable specification promotes interoperability


    Contributors:
    Izzo, P.A. (author)


    Publication date :

    1994-01-01


    Size :

    179954 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Futurebus - as a Machine Executable Specification Promotes Interoperability

    Izzo, P. / IEEE / AIAA | British Library Conference Proceedings | 1994



    An Illustration of Specification Modeling with VHDL Using a Futurebus - Model

    Izzo, P. / IEEE / AIAA | British Library Conference Proceedings | 1994


    Executable specification-based system engineering

    Cancro, George / Turner, Russell / Kahn, Eli et al. | IEEE | 2011