👨🏿‍💼 📆 🚶🏼 विमानन मानकों DO-331 के अनुसार मॉडल उन्मुख डिजाइन की भव्यता और गरीबी 🈯️ 🆓 🧙🏿

मॉडल-उन्मुख डिजाइन के बारे में पिछले लेखों में , चेरनोबिल को दोहराने के लिए कैसे नहीं , एक ब्रशलेस डीसी मोटर के साथ एक इलेक्ट्रिक ड्राइव , और एक विश्वसनीय मॉडल बनाना, एविएशन हीट एक्सचेंजर के उदाहरण का उपयोग करके , मैंने उदाहरणों के साथ दिखाया कि मॉडल-उन्मुख डिज़ाइन (एमओएस) के सभी तरीके समान रूप से उपयोगी नहीं हैं।

परमाणु उद्योग में अपनी इंजीनियरिंग गतिविधि शुरू करते हुए, मैंने इस तथ्य का उपयोग किया है कि डिजाइन का पहला चरण ऑब्जेक्ट मॉडल का निर्माण है। परमाणु उद्योग में सुविधा का मॉडल परियोजना का एक अनिवार्य हिस्सा है। परमाणु ऊर्जा संयंत्रों के लिए सिमुलेशन उपकरण प्रमाणन से गुजरते हैं, जहां परीक्षा परमाणु ऊर्जा संयंत्र प्रक्रियाओं के कम्प्यूटेशनल मॉडलिंग के लिए उनकी प्रयोज्यता निर्धारित करती है। और अगर वस्तु का एक मॉडल है, तो नियंत्रण प्रणाली का मॉडल स्वाभाविक रूप से एक जटिल मॉडल के रूप में एक साथ विकसित होता है। यह वही है जो मेरे विचार में एक मॉडल-उन्मुख डिजाइन विधि है।

मेरी राय में, एक ऑब्जेक्ट मॉडल बनाए बिना अकेले एक नियंत्रण प्रणाली मॉडलिंग करना त्रुटिपूर्ण है। इसलिए, जब आप सॉफ़्टवेयर डेवलपमेंट के लिए मॉडलिंग सॉफ़्टवेयर के आपूर्तिकर्ताओं की कहानियों को सुनते हैं, तो आपको यह समझने की ज़रूरत है कि क्या है: विकासशील सिस्टम के लिए नई उन्नत तकनीक या विमानन मानक DO-331 की समझ में मॉडल-उन्मुख डिज़ाइन।

यह याद रखना चाहिए कि विमानन मानकों में एमओएस मॉडल-उन्मुख सॉफ्टवेयर विकास के लिए एक पुराना और रूढ़िवादी दृष्टिकोण दर्शाता है। और इस दृष्टिकोण में, भले ही आपका मॉडल केवल यूएमएल आरेखों का एक सेट है जहां सॉफ्टवेयर आवश्यकताओं को एकत्र किया जाता है, यह अभी भी डीओ -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 ? . :

. .
. , .
. .
. Simulink SysML.
= . .
. .
. .

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

DO-331 ;
C ;
;
DO-330;
, , ;
-;
;
, .

? , – « ». .

-, 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 .
UML	Unified 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)

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

. ( )

– . . :

( )
( )
सटीकता और पूर्णता
verifiability
कार्य एल्गोरिदम

हालाँकि, मॉडलिंग का इरादा निम्नलिखित पहलुओं को सत्यापित करना नहीं है:

लक्ष्य कम्प्यूटिंग संगतता
अनुपालन
पता लगाने की क्षमता
भागों अखंडता

मॉडल और कोड सत्यापन।

यूएमएल टेस्टिंग प्रोफाइल (www.omg.org) यूएमएल भाषा में परीक्षण स्क्रिप्ट को परिभाषित करने, निष्पादित करने और विश्लेषण करने के लिए एक मानक दृष्टिकोण प्रदान करता है। इसका मतलब यह है कि मॉडलिंग के सभी फायदे न केवल विनिर्देश मॉडल और डिजाइन मॉडल से प्राप्त किए जा सकते हैं, बल्कि इन मॉडलों के सत्यापन उपकरण से भी प्राप्त किए जा सकते हैं।

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

.

, , . , , . , .

() , . :

बेशक, मॉडल ट्रैसेबिलिटी को मैन्युअल रूप से किया जा सकता है, लेकिन मॉडलिंग टूल में ट्रैसेबिलिटी का समर्थन और सुनिश्चित करने के लिए अंतर्निहित विशेषताएं हैं

निष्कर्ष

मॉडलिंग एक शक्तिशाली उपकरण है जो एवियोनिक्स में अधिक से अधिक उपयोग किया जाता है। डीओ -331 मानक मॉडलिंग प्रौद्योगिकियों की पूरी शक्ति का उपयोग करते हुए मॉडलिंग के सिद्धांतों को समझने के लिए एक आधार प्रदान करता है और मॉडल की शुद्धता को साबित करने के तरीकों का वर्णन करता है।

विमानन मानकों DO-331 के अनुसार मॉडल उन्मुख डिजाइन की भव्यता और गरीबी

?

.

. .

. ( )

मॉडल और कोड सत्यापन।

.

निष्कर्ष

More articles: