Because aerospace systems become more and more complex, the pile of documents specifying the requirements for such systems grows continuously. It is obvious that it is not enough just to produce more documents. The expressiveness of system requirements has to be considered as well. However, the ambiguity of natural language generally used to define requirements impedes a manageable growth of system complexities. Therefore, new approaches of abstraction and formalization are needed. In this paper, we describe a semi-automatic implementation of symbolic abstraction by using methods of natural language processing and temporal logic. A graphical presentation of grammatical relations supports the comprehensibility of symbolic abstraction whereas methods defined by the Linear Temporal Logic (LTL) are incorporated to specify the temporal order of requirements. We demonstrate our approach by using exemplary requirements for the ExoMars mission.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Symbolic Abstraction of System Requirements


    Beteiligte:

    Kongress:

    2010 ; Ottobrunn, Germany


    Erscheinungsdatum :

    19.10.2010


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch




    Abstraction Techniques for Capturing and Comparing Trajectory Predictor Capabilities and Requirements

    Vivona, R. / Green, S. / Cate, K. et al. | British Library Conference Proceedings | 2008




    Traffic Sign Luminance Requirements of Nighttime Drivers for Symbolic Signs

    Schnell, Thomas / Aktan, Fuat / Li, Changbao | Transportation Research Record | 2004


    An Abstraction

    Emerald Group Publishing | 1951