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