गतिशील मॉडलिंग की प्रक्रिया में तकनीकी आवश्यकताओं का स्वचालित सत्यापन

विषय जारी रखते हुए, "आपके सबूत क्या हैं?" , दूसरी ओर गणितीय मॉडलिंग की समस्या को देखें। यह पता लगाने के बाद कि मॉडल जीवन के घर-निर्मित सत्य से मेल खाता है, हम मूल प्रश्न का उत्तर दे सकते हैं: "क्या, वास्तव में, क्या हम यहाँ हैं?"। एक तकनीकी वस्तु का एक मॉडल बनाना, हम आमतौर पर यह सुनिश्चित करना चाहते हैं कि यह वस्तु हमारी अपेक्षाओं को पूरा करेगी। इसके लिए, प्रक्रियाओं की गतिशील गणना की जाती है और परिणाम की आवश्यकताओं के साथ तुलना की जाती है। यह एक डिजिटल डबल, एक वर्चुअल प्रोटोटाइप और बहुत कुछ है। फैशनेबल शाइना, जो डिजाइन चरण में हैं, इस समस्या को हल करते हैं कि यह कैसे सुनिश्चित किया जाए कि हमें वह मिलेगा जो हमने योजना बनाई है।

हम कैसे जल्दी से यह सुनिश्चित कर सकते हैं कि हमारा सिस्टम ठीक वैसा ही है जैसा हम डिजाइन कर रहे हैं, क्या हमारा डिजाइन उड़ान भरेगा या तैरेगा? और अगर यह उड़ जाता है तो कितना ऊंचा है? और अगर यह तैरता है, तो कितना गहरा है?

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

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

, .

, , :

, - :

• (.. 1-3);
• (.. 3-7).

, .
, .

, . , .

. .

, , , , , , , . ( )

1 .

1. R- ;
2. – – ,
   S — ;
3. 0 – , G – , F – ;
4. T – , P – , G – , H;
5. .

.

. , . . , . , – .

– , , . , SimInTech , , ( , , ..).

. .

1.

1. .

. SimInTech, Simulink, AmeSim . , (. . 2).

2. .

, : . : , .

, .

( ), .
, , .

चित्रा 3. एकीकृत मॉडल के लिए सत्यापन परियोजना का कनेक्शन।

एक बुनियादी आवश्यकताओं की जांच शीट का एक उदाहरण चित्र 4 में दिखाया गया है। डेवलपर के दृष्टिकोण से, यह एक सामान्य गणना योजना है, जिसमें आवश्यकताओं की जांच एल्गोरिथम को चित्रमय रूप में प्रस्तुत किया जाता है।

चित्रा 4. आवश्यकताएँ चेक शीट।

चेक शीट के मुख्य भाग चित्र 5 में वर्णित हैं। चेक एल्गोरिथ्म नियंत्रण एल्गोरिदम की डिजाइन योजनाओं के समान बनाया गया है। दाईं ओर डेटाबेस से सिग्नल पढ़ने के लिए ब्लॉक है। इस ब्लॉक में, सिमुलेशन के दौरान सिग्नल डेटाबेस तक पहुंच होती है।

. ( ). .

, . , .

5. .

, , , . , .

, :

5, 30 .

.

.

. , . ./p>

, param condition.

. « ».

– .

TRUE (1), .

FALSE (0), . , . , . , , – , , .

, . , , , .

:

• : (UpLimit) (DownLimit) , ;
• (TimeInterval) ;
• ReqName;
• Out_range – , , .

, . , .

6. .

Result, :

• 0 – rNone, ;
• 1 – rDone, ;
• 2 – rFault, .

:

• ;
• ;
• .

.

, , 6, 7.

7. .

, .
, . , .

, . (. . 8)

, , html, . , .

, .
, . , .

, . (. . 8)

, , html, . , .

8. .

, . SimInTech , .

9.

.

. (. . 10)

10. .

, :

• .
• .
• , . .
• , .

, 11.

11. .

SimInTech :

1. .
2. , .
3. SimInTech (, ).
4. , .
5. .

3 — 5 , () , , .

.

• , .
• , SimInTech.
• , , .
• .

, .