In früheren Artikeln über modellorientiertes Design Wie man Tschernobyl , einen elektrischen Antrieb mit bürstenlosem Gleichstrommotor , nicht wiederholt und ein zuverlässiges Modell am Beispiel eines Luftfahrtwärmetauschers erstellt , habe ich anhand von Beispielen gezeigt, dass nicht alle Methoden des modellorientierten Designs (MOS) gleichermaßen nützlich sind.
Ich beginne meine Ingenieurstätigkeit in der Nuklearindustrie und bin es gewohnt, dass die erste Phase des Entwurfs die Erstellung eines Objektmodells ist. Das Modell der Anlage in der Nuklearindustrie ist ein obligatorischer Bestandteil des Projekts. Simulationswerkzeuge für Kernkraftwerke werden zertifiziert, wobei die Prüfung ihre Anwendbarkeit für die rechnergestützte Modellierung von Kernkraftwerksprozessen bestimmt. Und wenn es ein Modell des Objekts gibt, dann wird das Modell des Steuerungssystems natürlich zusammen als komplexes Modell entwickelt. Genau das ist aus meiner Sicht eine modellorientierte Entwurfsmethode.
Meiner Meinung nach ist die Modellierung eines Steuerungssystems allein ohne Erstellung eines Objektmodells fehlerhaft. Wenn Sie sich die Geschichten von Anbietern von Modellierungssoftware für die Softwareentwicklung anhören, müssen Sie daher verstehen, worum es geht: neue fortschrittliche Techniken zur Entwicklung von Systemen oder modellorientiertes Design zum Verständnis des Luftfahrtstandards DO-331.
Es muss daran erinnert werden, dass MOS in Luftfahrtstandards einen veralteten und konservativen Ansatz fĂĽr die modellorientierte Softwareentwicklung widerspiegelt. Selbst wenn Ihr Modell nur ein Satz von UML-Diagrammen ist, in denen Softwareanforderungen erfasst werden, handelt es sich bei diesem Ansatz dennoch um ein modellorientiertes Design im Sinne von DO-331.
«DO-331 Model based development for engineer and manager», Vance Hilderman (vance.hilderman@afuzion.com) Vance Hilderman www.afuzion.com
DO-331, , .
«DO-331 - », DO-178C DO-278A 125 - (odel_Based Development (MBD)) . , DO-331 : , - ?
: « ?» : « 100% .» ( , ). , , 100% . , , , , .
: , . , , . BD « » , .
, . , . , , , . , DO-331 MBD
?
, . NASA. , , . «» , , , , «» (hardware) . ( «hardware» , , «firmware», «complex electronic hardware» via DO-254). , , . , , , , , , . «-».
, DO-331 2011 ? . :
- . .
- . , .
- . .
- . Simulink SysML.
- = . .
- . .
- . .
, . , , , . . , , . , , . , ? , :
- DO-331 ;
- C ;
- ;
- DO-330;
- , , ;
- -;
- ;
- , .
? , – « ». .
-, DO-331 . , , .
-, , . IBM’s Rhapsody and Magic Draw .
-, , , – , , .
-, . ( , , ), , .
-, , .
, . , IBM’s Rhapsody, 20- , .
, , .
.
DO-178C, , : (high level requirements (HLR’s), (low-level requirements (LLR’s) . HLR’s LLR’s . DO-331 – , :
, HLR’s LLR’s. : – , . , . , , .
UML (user cases) , – UNL ( , ) . (LLR’s) . , .
DO-178C DO-331, , , , . «Harmony Process for Embedded Software» ( Real-Time Agility Real-Time UML Workshop for Embedded Systems 2nd Edition, Bruce Powel Powel Douglass). .
user case ( Dr. Bruce Douglass, IBM)
( Dr. Bruce Douglass, IBM)
( Dr. Bruce Douglass, IBM)
Simulink ( c Mr Eric Dillaber, Simulink Certification Manager)
, , , . DO-331 5 . 5 MB1 MB5.
, , . , , .
:
MB1 — , :
+ , .
- . (HLR) .
MB2 – :
+ , .
- .
MB3 – :
+ (HLR)
- , .
MB4 – . :
+ . .
- .
MB5 – . :
+ - (HLR), , .
- .
. .
. «, »: , . . ? . , :
? , .. , . , – , ( ), .
, , . UML , . «», /, , . - Test Conductor IBM Rhapsody’s .
– , . , DO-333 ( DO-178C DO-278A). , « » .
. ( )
– . . :
- ( )
- ( )
- Genauigkeit und Vollständigkeit
- ĂśberprĂĽfbarkeit
- Arbeitsalgorithmen
Die Modellierung soll jedoch nicht die folgenden Aspekte überprüfen:- Target Computing-Kompatibilität
- Beachtung
- RĂĽckverfolgbarkeit
- Teileintegrität
Modell- und CodeĂĽberprĂĽfung.
Das UML-Testprofil (www.omg.org) bietet einen Standardansatz zum Definieren, Ausführen und Analysieren von Testskripten in der UML-Sprache. Dies bedeutet, dass alle Vorteile der Modellierung nicht nur aus dem Spezifikationsmodell und dem Entwurfsmodell, sondern auch aus den Verifizierungswerkzeugen dieser Modelle erzielt werden können.
Test Conductor IBM Rhapsody’s DO-178. , , .
.
, , . , , . , .
() , . :
NatĂĽrlich kann die RĂĽckverfolgbarkeit von Modellen manuell erfolgen, aber Modellierungswerkzeuge verfĂĽgen ĂĽber integrierte Funktionen zur UnterstĂĽtzung und Sicherstellung der RĂĽckverfolgbarkeit
Fazit
Modellierung ist ein leistungsstarkes Werkzeug, das in der Avionik immer häufiger eingesetzt wird. Der DO-331-Standard bietet eine Grundlage für das Verständnis der Modellierungsprinzipien unter Verwendung der vollen Leistungsfähigkeit von Modellierungstechnologien und beschreibt Möglichkeiten zum Nachweis der Richtigkeit des Modells.