Details
| Original language | English |
|---|---|
| Title of host publication | Software Technologies: Applications and Foundations |
| Editors | Steffen Zschaler, Martina Seidl |
| Publisher | Springer Verlag |
| Pages | 247-262 |
| Number of pages | 16 |
| ISBN (print) | 9783319747293 |
| Publication status | Published - 2018 |
| Event | International conference on Software Technologies: Applications and Foundations, STAF 2017 - Marburg, Germany Duration: 17 Jul 2017 → 21 Jul 2017 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 10748 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Abstract
Robots are found in most, if not all, modern production facilities and they increasingly enter other domains, e.g., health care. Robots participate in complex processes and often need to cooperate with other robots to fulfill their goals. They must react to a variety of events, both external, e.g., user inputs, and internal, i.e., actions of other components or robots in the system. Designing such a system, in particular developing the software for the robots contained in it, is a difficult and error-prone task. We developed a formal scenario-based modeling method which supports engineers in this task. Using short, intuitive scenarios engineers can express requirements, desired behavior, and assumptions made about the system’s environment. These models can be created early in the design process and enable simulation as well as an automated formal analysis of the system and its components. Scenario-based models can drive the execution at runtime or can be used to generate executable code, e.g., programmable logic controller code. In this paper we describe how to use our scenario-based approach to not only improve the quality of a system through formal methods, but also how to reduce the manual implementation effort by generating executable PLC code.
Keywords
- Code generation, GR(1) specification, Robot, Scenario
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
- General Computer Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Software Technologies: Applications and Foundations. ed. / Steffen Zschaler; Martina Seidl. Springer Verlag, 2018. p. 247-262 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10748 LNCS).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
AU - Gritzner, Daniel
AU - Greenyer, Joel
N1 - Publisher Copyright: © Springer International Publishing AG 2018.
PY - 2018
Y1 - 2018
N2 - Robots are found in most, if not all, modern production facilities and they increasingly enter other domains, e.g., health care. Robots participate in complex processes and often need to cooperate with other robots to fulfill their goals. They must react to a variety of events, both external, e.g., user inputs, and internal, i.e., actions of other components or robots in the system. Designing such a system, in particular developing the software for the robots contained in it, is a difficult and error-prone task. We developed a formal scenario-based modeling method which supports engineers in this task. Using short, intuitive scenarios engineers can express requirements, desired behavior, and assumptions made about the system’s environment. These models can be created early in the design process and enable simulation as well as an automated formal analysis of the system and its components. Scenario-based models can drive the execution at runtime or can be used to generate executable code, e.g., programmable logic controller code. In this paper we describe how to use our scenario-based approach to not only improve the quality of a system through formal methods, but also how to reduce the manual implementation effort by generating executable PLC code.
AB - Robots are found in most, if not all, modern production facilities and they increasingly enter other domains, e.g., health care. Robots participate in complex processes and often need to cooperate with other robots to fulfill their goals. They must react to a variety of events, both external, e.g., user inputs, and internal, i.e., actions of other components or robots in the system. Designing such a system, in particular developing the software for the robots contained in it, is a difficult and error-prone task. We developed a formal scenario-based modeling method which supports engineers in this task. Using short, intuitive scenarios engineers can express requirements, desired behavior, and assumptions made about the system’s environment. These models can be created early in the design process and enable simulation as well as an automated formal analysis of the system and its components. Scenario-based models can drive the execution at runtime or can be used to generate executable code, e.g., programmable logic controller code. In this paper we describe how to use our scenario-based approach to not only improve the quality of a system through formal methods, but also how to reduce the manual implementation effort by generating executable PLC code.
KW - Code generation
KW - GR(1) specification
KW - Robot
KW - Scenario
UR - http://www.scopus.com/inward/record.url?scp=85042679423&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-74730-9_23
DO - 10.1007/978-3-319-74730-9_23
M3 - Conference contribution
AN - SCOPUS:85042679423
SN - 9783319747293
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 247
EP - 262
BT - Software Technologies: Applications and Foundations
A2 - Zschaler, Steffen
A2 - Seidl, Martina
PB - Springer Verlag
T2 - International conference on Software Technologies: Applications and Foundations, STAF 2017
Y2 - 17 July 2017 through 21 July 2017
ER -