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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2010-03-01


    Size :

    238931 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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