System engineers who are responsible for capturing the formal requirements of a system typically have relied on text-based tools and free-form diagrams, otherwise known as "shall statements" and "PowerPoint engineering". In our work with the Space Interferometry Mission (SIM) at NASA's Jet Propulsion Laboratory, we found the need to unambiguously represent behaviors and interfaces using common language and terminology across multiple project elements, for example, throughout different levels of system engineering and among system, software, and controls engineering. The system engineers adopted portions of the Unified Modeling Language (UML) [1] as a means to effectively communicate interfaces and desired system behaviors. UML sequence diagrams were used to capture scenarios and provide context for and understanding of the intent of the typical "shall statements". UML Statechart diagrams were used to capture dynamic behavior. In practice, the system and software engineers would iterate together on these models. Iterating on models proved to be a highly effective method of "fleshing-in" loosely worded and ambiguous requirements. Requirements have typically been difficult for the software engineer to implement without understanding the intent behind the requirements. Through the process of modeling, we found that system and software engineers effectively communicated interfaces and behavior. Modeling provided other benefits as well, notably, the ability to auto-generate portions of the flight code from these models and to apply formal methods to prove various correctness properties regarding the model.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Integrating System and Software Engineering Through Modeling


    Beteiligte:
    Mindock, Jennifer (Autor:in) / Watney, Garth (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2008-03-01


    Format / Umfang :

    5854046 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Integrating system and software engineering through modeling

    Mindock, J. / Watney, G. | Tema Archiv | 2008



    Integrating System Engineering Software Tools

    Chow, E. Y. / IEEE / AIAA | British Library Conference Proceedings | 1997