Get best of the week

根据航空标准DO-331进行的面向模型设计的辉煌和贫穷

在关于面向模型的设计以前的文章如何不重复切尔诺贝利，一个电力驱动用无刷直流电机，并创建一个可靠的模型，使用航空热交换器的例子，我有例子表明，并非所有的面向模型的设计（MOS）的方法同样有用。


我开始从事核工业的工程活动时，已经习惯了设计的第一步是创建对象模型。核工业设施的模型是该项目的强制性部分。核电站的仿真工具经过认证，检查可确定其在核电站过程的计算建模中的适用性。并且，如果存在对象的模型，则控制系统的模型自然会作为复杂模型一起开发。我认为这正是面向模型的设计方法。


我认为，仅对控制系统建模而不创建对象模型是有缺陷的。因此，当您聆听用于软件开发的建模软件供应商的故事时，您需要了解所面临的问题：了解航空标准DO-331时，用于开发系统或面向模型的设计的新的先进技术。




必须记住，航空标准中的MOS反映了过时且保守的面向模型的软件开发方法。在这种方法中，即使您的模型只是一组收集软件需求的UML图，它在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


N
1, , « » « ?», ,
2?, ,
3?, ,
4, ?, ,
5, , , ?, ,

?


, . NASA. , , . «» , , , , «» (hardware) . ( «hardware» , , «firmware», «complex electronic hardware» via DO-254). , , . , , , , , , . «-».


, DO-331 2011 ? . :


  1. . .
  2. . , .
  3. . .
  4. . Simulink SysML.
  5. = . .
  6. . .
  7. . .


, . , , , . . , , . , , . , ? , :


  1. DO-331 ;
  2. C ;
  3. ;
  4. DO-330;
  5. , , ;
  6. -;
  7. ;
  8. , .

? , – « ». .


-, DO-331 . , , .


-, , . IBM’s Rhapsody and Magic Draw .


-, , , – , , .


-, . ( , , ), , .


-, , .


, . , IBM’s Rhapsody, 20- , .



, , .


(Code Generation), , ++, Ada
(Design Model), , , , , () . , , .
(Model), , , , . , .
- (Model-Based Development and Verification)
, () .
- (Model-Based Test)() .
(Model Checking), , .
(Model Coverage Analyses), , , , , , . , ().
(Model Element), .
(Model Element Library), . .
(Model Simulation).
(Model Simulator), , .
(Modeling Technique). , .
(Report Generation), .
(Reverse Engineering).
(Specification Model), , , , . , .
(Symbology). .
SysML, UML .
UMLUnified Model Language, , . UML , , .

.


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). , « » .


. ( )


– . . :


  • ( )
  • ( )
  • 准确性和完整性
  • 可验证性
  • 工作算法

但是，建模并不旨在验证以下方面：
  • 目标计算兼容性
  • 合规
  • 可追溯性
  • 零件完整性

模型和代码验证。


UML测试配置文件（www.omg.org）提供了一种用于定义，执行和分析UML语言测试脚本的标准方法。这意味着建模的所有优点不仅可以从规格模型和设计模型中获得，而且可以从这些模型的验证工具中获得。


Test Conductor IBM Rhapsody’s DO-178. , , .


.


, , . , , . , .


() , . :

  • , .
  • , .

当然，模型可追溯性可以手动完成，但是建模工具具有内置功能来支持和确保可追溯性


结论


建模是一种功能强大的工具，越来越多地用于航空电子中。DO-331标准使用建模技术的全部功能为理解建模原理提供了基础，并描述了证明模型正确性的方法。

More articles:


All Articles