Dynamic Flowgraph Methodology (DFM) is a new approach developed to integrate the modeling and analysis of the hardware and software components of an embedded system. The objective is to complement the traditional approaches which generally follow the philosophy of separating out the hardware and software portions of the assurance analysis. In this paper, the DFM approach is demonstrated using the Titan 2 Space Launch Vehicle Digital Flight Control System. The hardware and software portions of this embedded system are modeled in an integrated framework. In addition, the time dependent behavior and the switching logic can be captured by this DFM model. In the modeling process, it is found that constructing decision tables for software subroutines is very time consuming. A possible solution is suggested. This approach makes use of a well-known numerical method, the Newton-Raphson method, to solve the equations implemented in the subroutines in reverse. Convergence can be achieved in a few steps.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Demonstration of the Dynamic Flowgraph Methodology using the Titan 2 Space Launch Vehicle Digital Flight Control System


    Beteiligte:
    Yau, M. (Autor:in) / Guarro, S. (Autor:in) / Apostolakis, G. (Autor:in)

    Erscheinungsdatum :

    01.06.1993


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Titan III Launch Vehicle Flight Test Experience

    Kniss, Floyd W. | SAE Technical Papers | 1968


    Titan III launch vehicle flight test experience

    Kniss, F.W. | Engineering Index Backfile | 1968


    Advanced PRA Tool Benchmark for Space System Risk using the Dynamic Flowgraph Methodology (PSAM-0111)

    Oliva, S. / Yau, M. / Dixon, S. et al. | British Library Conference Proceedings | 2006


    Titan III standardized space launch system

    Bleymaier, J.S. | Engineering Index Backfile | 1963


    TITAN 3 AND TITAN 4 SPACE LAUNCH VEHICLES

    Richards, G.R. | Online Contents | 1993