Model based development of hybrid systems - Software and ...

Xcælà ÙlBXY^AB ()'*,+.-/+0/)62 FHà{_`ætIP_lÝ"[Ò Þ¢OteAIc]6_l[YB"[nXPeGFHQ¥^ABEIYB[‡à DG]BtL°_`ÜG_lI‡XóºB"FHO»DAÒßAÚ OH]\ä»FHà{_`ætIP_lÝÅ[6LSXP^AB6Q_`IPB_`Ú ÝOr[nX§à FHBEDrXYà{]6_`ÚëXYOÅXP^ABN0_rdSà åCF[‡ÜÃBE]6à7ä]E_MXPàÛOtDë?ÞçIYOtÝFAB"_lDSQº_l]XYeG_lÚ9XYB [nX]6_l[YBÅ[‡ÜÃBE]6à7¨Ã]6_MXPàÛOtDG[OtI]OtÝÜGeHXYB F-XYBE[‡XB6àÛXY^GB6IFAO¥áCBÅÜAIPOMÙSàXYBEIYÝÅ[Ò ÞeGDAàÛÙtB6I\[Y_lÚCÜGIYOtÜaBEI‡XPàÛB [6L2á,B»]6OlÝ"ÜAeHXPB»_5XYB [nX£[YeAàŠXPB)ÞçOtIXY^ABÜAIPOlÜÃB6IYXnQàÛD¥Aù Ãù ¡ ù ¨û ¦ ©¦†ù£¢ ¨ Ÿ÷©¨ ©{û Ÿù ¥Aù\ø¥¤ ¢ù ùû ù§¦§Ÿ÷Mö © ¦y?°ÿCÚ BE_lIYÚ QlLaÝÅ_`DSQ#Ý"OtIYB]à4ä]6_`XYà OlDG[§_`IPB~]OlDa]B6à ÙM_`ßAÚ Bl?:¤AOtIXY^GB[P_`älBÒ Þ9ßAIPB6ÙSàŠXnQtLGá,BOtÝàÛXXP^ABXYBE[‡X1]E_l[YB[YÜaB¨DÅ[‡OlÞÇXná,_lIYB˜_`DaF[YQH[nXPB6ÝÅ[9BEDAælà DAB6BEIYà DAæc[‡BEB6Ý…XYOßÃBßaOteADGFXYOcXP^ABN0_/nOtI&_lFHÙM_`Da]BE[2à?AZIYXYàÛÞ¹_l]XP[_`X˜à DG]6IYB _l[YàÛDAæÚ B6ÙlBEÚ [˜OlÞ2_lßHãeG[‡BcOlÞ2_lßG[nXPIP_t]KXPàÛOtDG[˜_l[,XY^GBälB6QÅÝ"B6XP_`ÜG^AOlIOlD#B6DG_lßAÚ B§à DrXYB6Ú Ú BE]KXPeG_`Úë]6OlDrXYIPOlÚ«OMÙtB6I,^AàÛæt^AÚ Q£]OlÝ"ÜAÚ Bâ»[‡QH[‡XYB6ÝÅ[E?SU†DtXPB6ætIP_`XYBEF[nXPIP_t]KXYàDAæ)ÞçIYOtÝ[‡ÜÃBE]6à7ä]E_MXPàÛOtDëLaà Ý"ÜAÚ B6Ý"B6DrXP_`XYà OlDëL°ÙtB6IPà7¨Ã]6_MXPàÛOtD¥XYO»IPBãXYOSOlÚ9[YeAÜAÜÃOlIYXEL«IP_lDAælàeGàÛIPB6Ý"B6DrX\[,XYI\_l]à DAæÅ_`DaF#FHOH]6eAÝ"B6DrXP_`XYà OlD»à [FABE[YàÛI\_`ßAÚ B1ÞçOlI_lD#B6þÅ]6àÛBEDrXáCOtIYäANGOMá?êOlÜAÝ"B6DrX9á^Aà{]\^IPB6Ú à BE[óºB˜^G_TÙtBCÜAIPBE[YB6DrXPBEF~OteAI9_`ÜAÜGIYOr_l]\^XPO1Ý"OHFHBEÚHßG_l[YBEFFHB6ÙtB6Ú’P– sŠ}6qrm¢i\xr·tiPk¢iPoC}EsÇ‘_`IPB˜XY^ABIPBE[YeAÚÛXE?rb˜^Aà [¢à [EL`ÞçOtI&à DG[nX\_`DG]6BlLlXY^AB]E_l[YBàŠÞ*_1XPàÛÝ"BEI&XY^a_MX¢ÜÃB6IPàÛOHFHà{]6_lÚÛÚ QB6Ý"àŠX\[_cXYà Ý"B6OleAXCà{[¢]OtÝ"ÜaOr[‡B FXYO_~[YQH[nXPB6Ý £ ¥ ?rb˜^GBXYB [nX˜[‡B ê eGB6DG]6BE[2ÞçOtI £ ¥ÝÅ_TQ]6OlDG[Yà [‡XÒ ÞXYI\_l]B [CXY^G_`XIYB [‡ÜÃOlDGF)XYO"XPàÛÝ"BEOleHX\[,XY^G_`XOS]E]eAIBEIYI\_MXPà ]E_`Ú ÚÛQt?@CQ¥à DSÙlBEI‡XPàÛDAæ)XY^AB£_lßaOMÙtBà{FHBE_GL«áCB"ælB6Xc_»]OtÝ"ÜaOr[‡àÛXYà OlDG_lÚ9_`ÜAÜAIPOt_t]\^¥XYO»ælBEDAB6IYã_MXYà DAæ#XYB [nX~]6_t[‡B [6?*ÿCOtDG[‡à{FHBEI1_»[‡QH[‡XYBEÝ £¦¥ ¡ J ]OtDG[Yà [‡XYà DAæ)OlÞCà DG]IPB6Ý"BEDtX £¦¥XP^G_MXà{[]OlÝ"ÜÃOt[YBEF#áàŠXP^¥_]6OlÝ"ÜÃOlDABEDtX #[YeG]\^)XP^G_MXXP^AB6IPBcà [_]\^a_`DADABEÚ°ßaB6XnáCBEB6D»XY^GBcXnáCOàÛDÅB _l]\^"FHàÛIPBE]XYà OlDë?lUpX¢à [9XY^ABEDÜÃOt[P[YàÛßAÚ B˜XYOea[‡B)ì"£¦¥Gí(ÞçOtI&ælBEDAB6I\_MXPàÛDAæ1XPBE[‡X¢]6_l[YBE[ÞçOtI)_lDGF£ÞçOtI £¦¥ ¡ J ?HóºB~]E_`D»eG[YB§XP^ABOleAXYÜAeHX\[˜Ò Þ )ì"£¦¥Aí˜_t[_"FHIYà ÙlBEI,ÞçOlI «LG_lDGF£XP^SeG[ælBXCDAB6á XPBE[‡X,[YB ê eAB6Da]BE[&ÞçOlI§«Lr_lDGF°Lr]OlDa[‡B ê eGB6DrXYÚ QlLlÞçOlI £ ¥ ¡ J ?HÿCOlDSÙlBEIP[YB6Ú QlLláCB]E_`DeG[‡BXY^AB1à DAÜAeHX\[COlÞ £ì Aí¢_t[¢ÜGeHXP_`XYà ÙlBOteHXYÜGeHXP[,Ò Þ £ ¥ ?A¡BEÝ"B6ÝßÃB6I,XP^G_MX,eG[‡à DAæÅÿ *V_`Ú ÚÛOMá[ea[XYO5ÜG_`IYXYà{_`Ú ÚÛQ-[‡ÜÃBE]6àŠÞçQ-OleAXYÜAeHX\[_lDGF-ÝÅ_`älB£XY^AB)[YQH[nXPB6Ý ]OtÝÜGeHXYBÅXP^AOt[YBÞçeAÚÛÚ Q-àÛDG[‡XP_lDrXYà{_MXYB F UK#lé XYI\_l]6BE[1XY^a_MXBEÙlB6DrXPeG_`Ú ÚÛQºIYB [‡eGÚŠX~à D XY^AB#[‡ÜÃBE]6à7¨GB F OleHXPÜAeHX ?U†ælDAOtIYà DAæXY^GB£ÜAIPOlßAÚ B6ÝÂÒ ÞIPeADADAà DAæ0à DrXYO¥XP^AB)[P_`Ý"B£ÜAIPOlßGÚÛBEÝÂ_t[áàŠXP^ñIPB6ælIPBE[P[YàÛOtDXYBE[‡XYà DAæaLAáCBFHà IPBE]KXPÚÛQ)ælBXDGB6á XPBE[‡X[‡B ê eAB6DG]6BE[,ÞçOtI £ ¥ LG_`DGF#ÞçOtI £ ¥ ¡ J ?¢ [‡B ê eGB6DG]6BE[9ÞçOtI&XP^Aà [,[YQS[‡XYBEÝÄ[Yà DG]BXY^Aà{[¢á,OleGÚ F"IPB ê eAà IYB§_IP_`XY^ABEICFHBEB6ÜÅÚ B6ÙtB6ÚÃÒ Þ«XYB ]\^HãDAà ]E_`Ú àŠXnQt?`ó-BFHOGLM^AOMá,B6ÙtB6I LTælà ÙlB[‡OtÝ"B,à DHÞçOtIYÝÅ_`ÚSXPBE[‡X&ÜAeAIPÜaOr[‡B [XY^G_`X&IYB _lFHà Ú QXYI\_`DG[‡ãÚ _`XYB£à DrXYO¥ÞçOtIYÝÅ_`Ú à§¦6BEF-XPBE[‡X]6_t[‡B#[‡ÜÃBE]6à7ä]E_MXPàÛOtDG[_lDGF-XY^G_`Xá,B£^G_TÙlBÅea[‡B F ÞçOlIXYBE[‡X[‡B ê eGB6DG]6B1ætB6DABEIP_`XYà OlDë?HZÝOtDAæ"Ò XP^AB6I\[6LSXPBE[‡XÜAeAIPÜaOr[‡B [,àÛDG]6ÚÛeaFHBcXY^ABcÞçOtÚÛÚ OMáà DAæG? ¤GOlIBE_l]\^ OlÞCXP^AB£FHà{[Y]6IYB6XYB£V2ÿ§LëB6DSÙSà IYOtDAÝ"B6DrXELë_lDGF-Ò XY^GB6I]6OlÝ"ÜaOtDAB6DrX\[~]OMÙtB6I\_`ælBOlD[nX\_MXYB [6LAXYI\_`DG[YàŠXPàÛOtDG[ELHOlIælea_`I\FA[˜à [_XYBE[‡X§]E_l[YBc[YÜÃBE]à4ä]E_MXYà OlD*?5¡B©NaBE]KXPàÛDGæ"XY^AB]6OlÝãÜaOr[‡àÛXYà OlD-Ò Þ˜]OlÝ"ÜÃOlDABEDrXP[ELaXP^ABE[YB"eADAàÛXXYB [nX~[YB ê eAB6Da]BE[c_lIYB"]OtÝßAà DABEFºà DºOtIPFHBEI1XYOFHB6IPàÛÙtBDABEá XYBE[‡X,[YB ê eABEDG]B [9ÞçOtI&XY^GB§]OtDADAB ]KXYB F£]OtÝ"ÜaOtDAB6DrXP[ELt_t[CFABE[P]IPàÛßÃBEFÅ_lßaOMÙtBl?¤AeAIYXY^ABEIYÝ"OtIYBtLMÞçOlI¢XY^AB1FA_`DG]6B6I L`XP^AB6IPB_`IPB QHdaÿ,[9ÞçIPOlÝ XY^AB§IYB ê eGàÛIPB6Ý"B6DrX\[&]6_lÜHXYeAIPB_l]KXPàÛÙSàÛXYà BE[E?SóºBcBE_t[‡à Ú Q"XYI\_`DG[YÚ _`XYBXY^AB [‡B1àÛDrXPO"_leHXYOtÝÅ_MXP__`DGF)eG[YBXP^AB6Ý _t[CXYBE[‡X]6_t[‡B[‡ÜÃBE]6à7ä]E_MXPàÛOtD-[YeG]\^0XP^AB£FHà{_`ætIP_lÝ:FAB6ÜAà{]KXPBEF-àÛD¤àÛæa?9ïlL°IPàÛæt^rXE?°Z[_»Ú{_l[‡X1B6âH_lÝ"ÜAÚÛBtLFHà [P]ea[Y[YàÛOtD#OlÞ_t[Y[YBE[P[‡à DAæXY^AB ê eG_lÚÛàÛXnQ£OlÞ2_XYB [nX[YeAàÛXYBt?©ºÔCÑׇÖ!SØnÔ¢ÑOlD©[YeAàÛXP_`ßGÚÛQñ]\^AOr[‡BEDñ_`ßG[‡XYI\_l]XYà OlDG[~ÞçOlIXY^AB»BE[P[YB6DrXYà{_`Ú˜]OtDG[nXPIYea]KXP[àÛD¾_0ÜG_lI‡XPà ]6eAÚ{_`I