Simulink/Stateflow Toolset är en integrerad svit som möjliggör modellbaserad design och har blivit populär inom fordonsindustrin och flygindustrin. Vi har tidigare utvecklat en översättare som heter s2l från Simulink till det synkrona språket Lustre och vi bygger vidare på det arbetet genom att även omfatta Stateflow. Stateflow är problematiskt för synkrona språk på grund av dess obundna beteende så vi föreslår analystekniker för att definiera en delmängd av Stateflow som vi kan definiera en synkron semantik. Vi går vidare och definierar en "säker" del av Stateflow som elides funktioner som är potentiella källor till fel i Stateflow mönster. Vi ger en informell presentation av statsflödet till Lustre översättningsprocess och visar hur vårt verktyg för modellkontroll Lesar kan användas för att verifiera några av de semantiska kontroller som vi har föreslagit. Slutligen presenterar vi en liten fallstudie.
Scaife m.fl. i REF har presenterat en säker SL/SF-undergrupp som kan översättas till det synkrona språket Lustre.
Defining and translating a "safe" subset of simulink/stateflow into lustre
{'venue': "EMSOFT '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}