Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications

Downloadstatistik des Dokuments (Auswertung nach COUNTER):

Gritzner, D.; Greenyer, J.: Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications. In: Procedia Manufacturing 24 (2018), S. 153-158. DOI: https://doi.org/10.1016/j.promfg.2018.06.046

Version im Repositorium

Zum Zitieren der Version im Repositorium verwenden Sie bitte diesen DOI: https://doi.org/10.15488/3816

Zeitraum, für den die Download-Zahlen angezeigt werden:

Jahr: 
Monat: 

Summe der Downloads: 223




Kleine Vorschau
Zusammenfassung: 
Cyber-physical systems can be found in many areas, e.g., manufacturing, health care or smart cities. They consist of many distributed components cooperating to provide increasingly complex functionality. The design and development of such a system is difficult and error-prone. To help engineers overcome these challenges we created a formal, scenario-based specification language. Short scenarios, i.e., event sequences, specify requirements and the desired behaviors by describing how components may, must, or must not behave. Scenarios provide an intuitive way for creating formal assume-guarantee (GR(1)) specifications, giving engineers easy access to simulation, for validating the specified behavior, and controller synthesis, for creating controller software which is correct by construction. In this paper we present an approach for generating Programmable Logic Controller (PLC) code from a scenario-based specification. Previous code generation efforts, including our own, created large, verbose source files causing some tools, e.g., compilers or editors, to perform slowly or even become unresponsive. Our new approach creates compact files, shifting significant amounts of code from executable instructions to data, to reduce the burden on the compiler and other tools. The generated code is efficient and introduces minimal to no latency between the occurrence of an event and the system's reaction to it.
Lizenzbestimmungen: CC BY-NC-ND 4.0 Unported
Publikationstyp: Article
Publikationsstatus: publishedVersion
Erstveröffentlichung: 2018
Die Publikation erscheint in Sammlung(en):Fakultät für Elektrotechnik und Informatik

Verteilung der Downloads über den gewählten Zeitraum:

Herkunft der Downloads nach Ländern:

Pos. Land Downloads
Anzahl Proz.
1 image of flag of Germany Germany 96 43,05%
2 image of flag of United States United States 38 17,04%
3 image of flag of China China 22 9,87%
4 image of flag of Russian Federation Russian Federation 13 5,83%
5 image of flag of Israel Israel 4 1,79%
6 image of flag of Czech Republic Czech Republic 4 1,79%
7 image of flag of United Kingdom United Kingdom 3 1,35%
8 image of flag of Estonia Estonia 3 1,35%
9 image of flag of Colombia Colombia 3 1,35%
10 image of flag of Canada Canada 3 1,35%
    andere 34 15,25%

Weitere Download-Zahlen und Ranglisten:


Hinweis

Zur Erhebung der Downloadstatistiken kommen entsprechend dem „COUNTER Code of Practice for e-Resources“ international anerkannte Regeln und Normen zur Anwendung. COUNTER ist eine internationale Non-Profit-Organisation, in der Bibliotheksverbände, Datenbankanbieter und Verlage gemeinsam an Standards zur Erhebung, Speicherung und Verarbeitung von Nutzungsdaten elektronischer Ressourcen arbeiten, welche so Objektivität und Vergleichbarkeit gewährleisten sollen. Es werden hierbei ausschließlich Zugriffe auf die entsprechenden Volltexte ausgewertet, keine Aufrufe der Website an sich.