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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Additional title:

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


    Contributors:


    Publication date :

    1978


    Size :

    6 Seiten, 3 Bilder, 12 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English







    Model-based testing design for embedded automotive software

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


    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