Zélus är ett nytt programmeringsspråk för modelleringssystem som blandar diskret logisk tid och kontinuerliga tidsbeteenden. Ur en användares perspektiv är dess huvudsakliga originalitet att utvidga ett befintligt Lustre-liknande synkront språk med vanliga differentialekvationer (ODEs). Förlängningen är konservativ: alla synkrona program som uttrycks som dataflödesekvationer och hierarkisk automata kan komponeras godtyckligt med ODEs i samma källkod. En särskild typ av system och kausalitetsanalys säkerställer att alla diskreta förändringar är i linje med noll-crossing händelser så att inga biverkningar eller diskontinuiteter uppstår under integration. Program är statiskt schemalagda och översatta till sekventiell kod som, genom konstruktion, körs i avgränsad tid och utrymme. Kompilering sker genom översättning från källa till källa i en liten synkron delmängd som bearbetas av en vanlig synkron kompilatorarkitektur. Den resulterande koden paras ihop med en off-the-shelf numerisk lösare. Vi visar att det är möjligt att bygga en modellör för explicita hybridsystemà la Simulink/Stateflow ovanpå ett befintligt synkront språk, med hjälp av det både som semantisk grund och som mål för kodgenerering.
Det presenterade materialet implementeras i Zélus, ett synkront språk utökat med ODEs REF.
Zélus: a synchronous language with ODEs
{'venue': "HSCC '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}