, som också är ämnet för detta dokument. På den tiden var de tre språken väl definierade och hade sett viss industriell användning, men var fortfarande under utveckling. Under de mellanliggande åren har språken förbättrats, fått en mycket större användargemenskap och framgångsrikt kommersialiserats. Idag har synkrona språk etablerats som en teknik av val för modellering, specificering, validering och genomförande i realtid inbyggda applikationer. Synkronins paradigm har framträtt som en ingenjörsvänlig designmetod baserad på matematiskt sunda verktyg. I detta dokument diskuteras de förbättringar, svårigheter och framgångar som har skett med de synkrona språken sedan 1991. Det börjar med en diskussion om den synkrona filosofin och utmaningen att upprätthålla funktionellt, deterministiskt systembeteende när man kombinerar den synkrona föreställningen om ögonblicklig kommunikation med deterministisk samstämmighet. Avsnitt II beskriver framgångsrik användning av språken inom industrin och hur de har kommersialiserats. I avsnitt III diskuteras ny teknik som har utvecklats för att sammanställa dessa språk, vilket har varit betydligt svårare än man först trodde. I avsnitt IV beskrivs några av de viktigaste lärdomarna under de senaste tolv åren. I avsnitt V diskuteras några framtida utmaningar, bland annat synkroniseringens begränsningar. Slutligen avslutar avsnitt VI dokumentet med en del diskussioner om var de synkrona språken kommer att vara i framtiden. Genom hela detta dokument tar vi området inbyggda kontrollsystem som det centrala målområdet för diskussioner, eftersom detta har varit det område där synkrona språk bäst har hittat sin väg i dag. Dessa system är vanligtvis säkerhetskritiska, såsom flygkontrollsystem i flyg-för-tråd avionik och antiskidning eller antikollisionsutrustning på bilar. Synkronspråken Signal, Esterel och Lustre är uppbyggda på ett gemensamt matematiskt ramverk som kombinerar synkronisering (dvs. tidsförlopp i låssteg med en eller flera klockor) med deterministisk konvergens. I detta avsnitt undersöks skälen till att välja ett sådant tillvägagångssätt och dess konsekvenser. Det primära målet för en konstruktör av säkerhetskritiska inbyggda system är att övertyga honom själv, kunden och certifieringsmyndigheterna om att konstruktionen och dess genomförande är korrekt. Samtidigt måste han eller hon hålla utvecklings- och underhållskostnaderna under kontroll och uppfylla icke-funktionella krav på systemets utformning, t.ex. kostnad, effekt, vikt eller systemarkitekturen i sig (t.ex. ett fysiskt distribuerat system med intelligenta sensorer och ställdon som övervakas av en central dator). För att uppnå dessa mål krävs designmetoder och verktyg som integrerar sömlöst med befintliga designflöden och är uppbyggda på solida matematiska grunder.
Abstrakta klockor ( diskreta uppsättningar av logiska ögonblick som anger när händelser observeras i systemet) är de viktigaste enheterna av synkrona språk REF såsom Signal, Esterel, och Lustre.
The synchronous languages 12 years later
{'venue': 'Proceedings of The IEEE', 'journal': None, 'mag_field_of_study': ['Computer Science']}