Abstract-FMI (Functional Mockup Interface) är en standard för utbyte och samsimulering av modellkomponenter (så kallade FMU) som kommer från potentiellt olika modellering formalismer, språk och verktyg. Tidigare arbete har föreslagit en formell modell för samsimuleringsdelen av FMI-standarden, och även presenterat två samsimuleringsalgoritmer som kan bevisas ha önskvärda egenskaper, t.ex. determinacy, förutsatt att FMU:erna uppfyller ett formellt kontrakt. I detta dokument diskuterar vi principerna för kodning av olika modellering formalismer, inklusive statsmaskiner (både otidsenliga och tidsinställda), diskreta event-system och synkront dataflöde, som FMU. Utmaningen är att överbrygga de olika semantiska luckorna (omodnad vs. tid, signaler vs. händelser, etc.) som uppstår på grund av heterogeniteten mellan dessa modellering formalismer och FMI API.
Tripakis REF undersöker tekniker för att överbrygga det semantiska gapet mellan olika formalismer (state maskiner, diskreta-event modeller, dataflöde, etc.) och FMI.
Bridging the semantic gap between heterogeneous modeling formalisms and FMI
{'venue': '2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)', 'journal': '2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)', 'mag_field_of_study': ['Computer Science']}