Standarden Functional Mockup Interface (FMI) möjliggör hybridsimulering av modeller från olika verktyg. Sådana verktyg kan ha olika underliggande beteendesemantik, vilket skapar utmaningar när modeller kombineras. Ett exempel i punkt är kombinationen av Rhapsody verktyg, allmänt används för att beskriva och genomföra diskret kontroll beteende, och Modelica, allmänt används för att beskriva kontinuerligt växtbeteende. Detta papper beskriver en plugin vi utvecklat för att exportera Functional Mockup Units (FMU) från Rhapsody, och resultaten av att kombinera genererade FMUs med kontinuerliga modeller. När en Rhapsody FMU används i en annan miljö, utmanas vissa grundläggande antaganden om dess beteende. Vi beskriver de semantiska missmatchningarna mellan verktygen, i vilken utsträckning de kan övervinnas, och vad modellerna behöver göra för att bevara den avsedda semantiken hos en exporterad FMU. Nyckelord: FMI, Rhapsody, SysML, Hybridsimulering Komplexa cyberfysiska system består av komponenter och delkomponenter, ofta designade och tillverkade av olika organisationer. Varje komponent kan komma från ett brett spektrum av olika tekniska domäner, inklusive mekaniska, elektriska, kontroll och programvara. Varje teknikdomän använder sina egna språk och verktyg; dessa är ofta inte integrerade med varandra. Detta gör det svårt att utföra analys, verifiering, och design-rymd prospektering på modellnivå, vilket resulterar i fel som upptäcks sent i processen (vanligtvis under integration), och är dyra att åtgärda. I vissa fall finns ad-hoc integration mellan ett par verktyg; till exempel, organisationer skapar vanligtvis anslutningar med ad-hoc skript. Men detta är dyrt, sprött och ibland fel. Funktionellt Mockup Interface (FMI) 1 är en öppen internationell standard för integrering av modeller mellan olika verktyg som kan använda olika underliggande semantik (t.ex. diskreta statsmaskiner och differential algebraiska ekvationer). Den anger ett gränssnitt som inkapslar en modell som en funktionell Mockup Unit (FMU), för kommunikation med värdverktyg. Standarden definierar två typer av export: modellutbyte och samsimulering. Den största skillnaden mellan dem är att den förra använder en lösare av värdverktyget, medan den senare inkluderar sin egen lösare och värdverktyget bara orkestrerar simuleringen (överföringsvariabler värden, order FMUs anrop, och väljer nästa kommunikationssteg storlek). SysML 2 och UML 3 modellerar språk som standardiserats av OMG för att beskriva struktur och beteende hos system på olika abstraktionsnivåer. Statycharts [6] är en populär formalism för att specificera beteende i SysML och UML; de är en förlängning av finita-state maskiner, och möjliggör mycket koncisa avskrivning av finita-state modeller. De används för att beskriva reaktiva system på ett brett spektrum av abstraktion, från detaljer i inbyggda styrenheter till hög nivå tillverkningsprocesser. Vissa verktyg, som IBM Rational Rhapsody®, 4 kan köra statechart modeller, och, när det gäller program, att syntetisera produktionskod från dessa modeller. Modellutförande (som ibland kallas "simulering") kan användas för att analysera och verifiera konstruktionen. Många moderna system är dock cyberfysiska och inkluderar fysiska modeller vars beteende är modellerat i andra språk och verktyg. I exemplet i avsnitt 2 används en statskarta för att modellera regulatorn för ett värmesystem; andra aspekter av systemet, såsom värmeanläggningen, sensorer och actua-1 https://www.fmi-standard.org.
REF presentera en plugin för Rhapsody för att generera FMUs från Statechart SysML block.
Simulating Rhapsody SysML Blocks in Hybrid Models with FMI
{'venue': 'Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden', 'journal': 'Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden', 'mag_field_of_study': ['Computer Science']}