The size and complexity associated with software that monitors, controls, and protects flight critical products continues to grow. This is compounded by an increased use of autonomous systems which are just as complex, if not more so, since many operator responsibilities are supported and replaced by software in unmanned systems. Further, these systems are subject to cyber-enabled attacks, thereby necessitating another level of complex software to ensure security. General Electric has devoted a team to research and develop a new suite of tools to address the challenges with design, development, and verification of these software-intensive products. The goals are to develop technology, processes, and tools that result in more efficient software and system development as measured by cost and cycle time, and to enable new capabilities such as autonomy and the Industrial Internet. This paper will introduce the GE approach to formal requirements capture, requirements analysis, and auto test generation. We will introduce the ASSERT™ tool chain (Analysis of Semantic Specifications and Efficient generation of Requirements-based Tests). We will demonstrate aspects of the tool on an autonomous aerial inspection system.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Flight critical software and systems development using ASSERT™


    Beteiligte:
    Siu, Kit (Autor:in) / Moitra, Abha (Autor:in) / Durling, Michael (Autor:in) / Crapo, Andy (Autor:in) / Li, Meng (Autor:in) / Yu, Han (Autor:in) / Herencia-Zapana, Heber (Autor:in) / Castillo-Effen, Mauricio (Autor:in) / Sen, Shiraj (Autor:in) / McMillan, Craig (Autor:in)


    Erscheinungsdatum :

    01.09.2017


    Format / Umfang :

    1616257 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Pentagon contract auditors assert more authority

    Butler, Amy | Online Contents | 2013


    Proof-Based System Engineering in ASSERT

    Le Lann, G. / Schmid, U. / Eurospace | British Library Conference Proceedings | 2005


    The Highly Reliable Infrastructure System Family for ASSERT

    Morrise, J. / Martelli, A. / David, P. et al. | British Library Conference Proceedings | 2005


    The ASSERT Process: A New Lifecycle for the Development of Aerospace Systems

    Cass, A. / David, P. / Di Giacomo, P. et al. | British Library Conference Proceedings | 2005


    Extending ASSERT for HW/SW Co-Design

    Ferrero, F. / Alana, E. / Rodriguez, A.I. et al. | British Library Conference Proceedings | 2011