Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophistication of robotic spacecraft has skyrocketed the complexity and cost of its software development and validation. The engineering of autonomous spacecraft software relies on the availability and application of advanced methods and tools that deliver safe concurrent synchronization as well as enable the validation of domain-specific semantic invariants. The software design and certification methodologies applied at NASA do not reach the level of detail of providing guidelines for the development of reliable concurrent software. To achieve effective and safe concurrent interactions as well as guarantee critical domain-specific properties in code, we introduce the notion of a Semantically Enhanced Container (SEC). A SEC is a data structure engineered to deliver the flexibility and usability of the popular ISO C++ Standard Template Library containers, while at the same time it is hand-crafted to guarantee domain-specific policies. We demonstrate the SEC proof-of-concept by presenting a shared nonblocking SEC vector. To eliminate the hazards of the ABA problem (a fundamental problem in lock-free programming), we introduce an innovative library for querying C++ semantic information. Our SEC design aims at providing an effective model for shared data access within the JPL's Mission Data System. Our test results show that the SEC vector delivers significant performance gains (a factor of 3 or more) in contrast to the application of nonblocking synchronization amended with the traditional ABA avoidance scheme.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Semantically enhanced containers for concurrent real-time systems


    Beteiligte:
    Dechev, D. (Autor:in) / Pirkelbauer, P. (Autor:in) / Rouquette, N. (Autor:in) / Stroustrup, B. (Autor:in)


    Erscheinungsdatum :

    2009


    Format / Umfang :

    10 Seiten, 32 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Semantically-enhanced information extraction

    Assal, H / Seng, J / Kurfess, F et al. | IEEE | 2011


    Towards a semantically enhanced control architecture

    Milis, Georgios / Panayiotou, Christos / Polycarpou, Marios | BASE | 2012

    Freier Zugriff



    Semantically-Rigorous Systems Engineering Using SysML and OWL

    Jenkins, Steven / Rouquette, Nicolas | NTRS | 2012