Inbäddade system modelleras ofta med hjälp av Matlabs Simulink och Stateflow (MSS), för att simulera anläggningens och styrenhetens beteende, men dessa modeller saknar stöd för formell verifiering. Å andra sidan finns det kontrolltekniker och verktyg för modeller baserade på begreppet Hybrid Automata (HA) men det finns inga verktyg som kan konvertera Simulink/Stateflow modeller till deras semantiskt likvärdiga Hybrid Automata modeller. Detta papper beskriver en översättning algoritm som omvandlar en väldefinierad delmängd av MSS modellering språk till en likvärdig hybrid automata. Översättningen har specificerats och implementerats med hjälp av ett metamodellbaserat graftransformationsverktyg. Översättningsprocessen möjliggör semantisk interoperabilitet mellan de branschstandardiserade MSS-verktygen och de nya verifieringsverktyg som utvecklats i forskarsamhället.
Arbetet i REF presenterar en översättning för en delmängd av MAT-LAB/Simulink och Stateflow till motsvarande hybridautomata.
Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
{'venue': 'International Workshop on Graph Transformation and Visual Modeling Techniques', 'journal': None, 'mag_field_of_study': ['Computer Science']}