A model-based method of software system logical design and formal validation will be discussed for the application of fault management throughout the project lifecycle. We have demonstrated that when modeling fault protection system behaviors during the design phases of a project, the expected behavior can be verified early on by executing the model. Correctly capturing the expected behavior in the model improves the system design so that is better defined and complete upon implementation. Additionally, performing model checking formally validates the behavior model against properties of correctness (assertions). The potential to generate and link additional model-based fault management products from the fault protection logical behavior model is key to projects adopting model driven design and retaining a single source of truth. When modeling heritage systems or if a dictionary-type database is needed, a standard for machine-readable import/export of fault management parameters allows for easier integration between flight software and the model-based products. Depending on if there is fault management information available while developing a behavior model, a method for auto-generating the model can be used that reduces human errors and speeds up the modeling process.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model-based spacecraft fault management design & formal validation


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2015-03-01


    Format / Umfang :

    11250978 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Model-based fault management for spacecraft autonomy

    Kolcio, Ksenia / Breger, Louis / Zetocha, Paul | IEEE | 2014


    Trustworthy spacecraft design using formal methods

    Nguyen, Viet Yen | TIBKAT | 2013

    Freier Zugriff

    Spacecraft Fault Management Guiding Principles

    Newhouse, M. / Barley, B. / Friberg, K. et al. | British Library Conference Proceedings | 2011


    A formal method for early spacecraft design verification

    Fischer, Philipp M. / Ludtke, Daniel / Schaus, Volker et al. | IEEE | 2013