RealSpec is a declarative and executable specification language for specifying real-time and concurrent software systems based on the dataflow computation model. Predictability is one of the most important traits of real-time software systems. A real-time specification language should be able to define and support the predictability requirements for real-time systems. A specification language should be expressive enough to prescribe all timing behavior. Lack of such a capability may result in a faulty system definition. This paper provides an analysis of the preciseness for predictability in the RealSpec real-time executable specification language. The paper also identifies potential language areas of concern for predictability analysis and proposes possible solutions to ensure that specifications have a high degree of preciseness for predictability.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Preciseness for predictability with the RealSpec real-time executable specification language


    Beteiligte:
    Khwaja, Amir A (Autor:in) / Urban, Joseph E (Autor:in)


    Erscheinungsdatum :

    01.03.2010


    Format / Umfang :

    238931 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Executable specification-based system engineering

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


    Futurebus - as a Machine Executable Specification Promotes Interoperability

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



    Uploadable Executable Specification Concept for Spacecraft Autonomy Systems

    Cancro, George / Innanen, William / Turner, Russell et al. | IEEE | 2007