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.
Using finite-state and structured design techniques for embedded software design
Der Gebrauch von strukturierten Planungstechniken und solchen mit endlichem Zustand zur Planung von eingebetteter Software
1978
6 Seiten, 3 Bilder, 12 Quellen
Aufsatz (Konferenz)
Englisch
General Automotive Embedded Software Design Requirements
SAE Technical Papers | 2006
General Automotive Embedded Software Design Requirements
SAE Technical Papers | 2008
Design for testability in embedded software projects
IEEE | 2011
|MACH: A Programming Methodology For Embedded ATC Software State Machine Design And Implementation
British Library Conference Proceedings | 1992
|Model-based testing design for embedded automotive software
Kraftfahrwesen | 2009
|