Details
| Original language | English |
|---|---|
| Pages (from-to) | 153-158 |
| Number of pages | 6 |
| Journal | Procedia Manufacturing |
| Volume | 24 |
| Early online date | 6 Jul 2018 |
| Publication status | Published - 2018 |
| Event | 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, 2018 - Hannover, Germany Duration: 19 Jun 2018 → 20 Jun 2018 |
Abstract
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.
Keywords
- assume-guarantee specification, code generation, controller synthesis, programmable logic controller, scenarios
ASJC Scopus subject areas
- Engineering(all)
- Industrial and Manufacturing Engineering
- Computer Science(all)
- Artificial Intelligence
Sustainable Development Goals
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Procedia Manufacturing, Vol. 24, 2018, p. 153-158.
Research output: Contribution to journal › Conference article › Research › peer review
}
TY - JOUR
T1 - Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
AU - Gritzner, Daniel
AU - Greenyer, Joel
N1 - Funding information: This research is funded by the DFG project EffiSynth.
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
KW - assume-guarantee specification
KW - code generation
KW - controller synthesis
KW - programmable logic controller
KW - scenarios
UR - http://www.scopus.com/inward/record.url?scp=85050378697&partnerID=8YFLogxK
U2 - 10.1016/j.promfg.2018.06.046
DO - 10.1016/j.promfg.2018.06.046
M3 - Conference article
AN - SCOPUS:85050378697
VL - 24
SP - 153
EP - 158
JO - Procedia Manufacturing
JF - Procedia Manufacturing
SN - 2351-9789
T2 - 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, 2018
Y2 - 19 June 2018 through 20 June 2018
ER -