Im vorliegenden Bericht wird eine Softwareplanungsmethode fuer das Flugwesen vorgestellt. Diese Methode besteht aus 3 Phasen: (1) Verstehen der Anforderungen an das Flugprogramm, (2) der Gebrauch einer Technik mit endlichem Zustand zum Verstehen der Fragen des Flugprozesse und der Fragenfolge, (3) der Gebrauch von strukturierten Planungstechniken fuer Flugprogrammfragen. Alle drei Phasen werden eingehend besprochen. Dieser Loesungsversuch ist einfach zu verstehen, flexibel und leicht zu handhaben. Es wird eine gewisse Kenntnis der Konzepte der Automaten mit endlichem Zustand und strukturierten Planung von Constantine vorausgesetzt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Using finite-state and structured design techniques for embedded software design


    Weitere Titelangaben:

    Der Gebrauch von strukturierten Planungstechniken und solchen mit endlichem Zustand zur Planung von eingebetteter Software


    Beteiligte:
    Santo, J.R.de (Autor:in)


    Erscheinungsdatum :

    1978


    Format / Umfang :

    6 Seiten, 3 Bilder, 12 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch







    MACH: A Programming Methodology For Embedded ATC Software State Machine Design And Implementation

    Freeman, M. L. / Air Traffic Control Association | British Library Conference Proceedings | 1992


    Model-based testing design for embedded automotive software

    Mjeda,A. / McElligott,P. / Ryan,K. et al. | Kraftfahrwesen | 2009