Dalam artikel sebelumnya tentang desain berorientasi model Bagaimana tidak mengulangi Chernobyl , penggerak listrik dengan motor DC brushless , dan Membuat model yang andal, menggunakan contoh penukar panas penerbangan , saya menunjukkan dengan contoh bahwa tidak semua metode desain berorientasi model (MOS) sama-sama bermanfaat.
Memulai aktivitas rekayasa saya di industri nuklir, saya terbiasa dengan kenyataan bahwa tahap pertama desain adalah pembuatan model objek. Model fasilitas dalam industri nuklir adalah bagian wajib dari proyek. Alat simulasi untuk pembangkit listrik tenaga nuklir menjalani sertifikasi, di mana pemeriksaan menentukan penerapannya untuk pemodelan komputasi proses pembangkit listrik tenaga nuklir. Dan jika ada model objek, maka model sistem kontrol secara alami dikembangkan bersama sebagai model yang kompleks. Itulah yang menurut saya merupakan metode desain berorientasi model.
Menurut pendapat saya, pemodelan sistem kontrol sendiri tanpa membuat model objek cacat. Oleh karena itu, ketika Anda mendengarkan kisah vendor perangkat lunak pemodelan untuk pengembangan perangkat lunak, Anda perlu memahami apa itu: teknik pengembangan sistem canggih baru atau desain berorientasi model dalam memahami standar penerbangan DO-331.
Harus diingat bahwa MOS dalam standar penerbangan mencerminkan pendekatan yang ketinggalan zaman dan konservatif terhadap pengembangan perangkat lunak berorientasi model. Dan dalam pendekatan ini, bahkan jika model Anda hanya satu set diagram UML di mana persyaratan perangkat lunak dikumpulkan, itu masih akan menjadi desain yang berorientasi model dalam hal 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). , « » .
. ( )
– . . :
- ( )
- ( )
- Akurasi dan kelengkapan
- Verifikasi
- Algoritma kerja
Namun, pemodelan tidak dimaksudkan untuk memverifikasi aspek-aspek berikut:- Kompatibilitas Komputasi Target
- Pemenuhan
- Ketertelusuran
- Integritas bagian
Verifikasi model dan kode.
Profil Pengujian UML (www.omg.org) menawarkan pendekatan standar untuk mendefinisikan, menjalankan, dan menganalisis skrip pengujian dalam bahasa UML. Ini berarti bahwa semua kelebihan pemodelan dapat diperoleh tidak hanya dari model spesifikasi dan model desain, tetapi juga dari alat verifikasi model ini.
Test Conductor IBM Rhapsody’s DO-178. , , .
.
, , . , , . , .
() , . :
Tentu saja, ketertelusuran model dapat dilakukan secara manual, tetapi alat pemodelan memiliki fitur bawaan untuk mendukung dan memastikan keterlacakan
Kesimpulan
Pemodelan adalah alat yang ampuh yang semakin banyak digunakan dalam avionik. Standar DO-331 memberikan dasar untuk memahami prinsip-prinsip pemodelan, menggunakan kekuatan penuh teknologi pemodelan dan menjelaskan cara-cara untuk membuktikan kebenaran model.