Under de senaste tio åren har familjen av synkrona språk (särskilda delen av Proc. IEEE 79 (9) (1991)) har varit mycket framgångsrik när det gäller att tillhandahålla domänspecifika, formellt definierade språk och programmeringsmiljöer för säkerhetskritiska system. Bland dem, Lustre är väl lämpad för utveckling av regleringssystem, som är mest utformade av kontrollingenjörer, och kan sedan programmeras som block-diagram. Automatisk generering av C-kod ger den inbyggda programvaran. Framgången med Lustre visade att det är en bra idé att erbjuda domän-specic språk och konstruktioner för att minska klyftan mellan den första utformningen av ett system (till exempel en kontroll lag) och programmet som skrivits för det. När strukturen för den första konstruktionen måste kodas in i de tillgängliga konstruktionerna av ett allmänt programmeringsspråk, kommer den intressanta informationen sannolikt att gå förlorad någonstans på vägen från den ursprungliga designen till det faktiska genomförandet. Detta kan få konsekvenser för eektiviteten hos den kod som framställs, eller till och med för konstruktionens korrekthet. Att arbeta med systemen Lustre är väl lämpad för, vi observerade att de ofta specifieras informellt använder begreppet körlägen. Det verkade dock inte finnas något språk där ett komplext systems modstruktur kunde uttryckas direkt. Efter tillvägagångssättet med domän-speciella språk, föreslog vi att utöka Lustre med en ny konstruktion, kallad mode-automaton, ägnas åt beskrivningen av dessa körlägen av regleringssystem. I detta dokument, vi de på språket mode-automata och dess semantik, ger några idéer om sammanställningsprocessen, illustrerar metoden med exemplet med produktionen
Inom området synkrona språk REF, läge automata och begreppet körlägen har införts, för att minska klyftan mellan den ursprungliga utformningen av ett system och programmet skrivit för det.
Mode-Automata: a new domain-specific construct for the development of safe critical systems
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}