Details
| Original language | English |
|---|---|
| Title of host publication | Modellierung 2018 |
| Publisher | Gesellschaft fur Informatik (GI) |
| Pages | 167-182 |
| Number of pages | 16 |
| ISBN (print) | 9783885796749 |
| Publication status | Published - 2018 |
| Event | Fachtagung Modellierung, 2018 - Braunschweig, Germany Duration: 21 Feb 2018 → 23 Feb 2018 |
Publication series
| Name | Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) |
|---|---|
| Volume | P-280 |
| ISSN (Print) | 1617-5468 |
Abstract
Modern systems often consist of many software-controlled components which must cooperate to fulAll difficult to achieve goals. Trying to reduce the cost of running such a system, e.g., by minimizing total energy consumption, adds additional complexity. To support engineers in the difficult design of such systems we developed a scenario-based specification approach enabling the intuitive modeling of goals and assumptions using short scenarios. These formal speciAcations allow defects to be detected and fixed early in development. In this paper we present and evaluate an extension to our approach which enables engineers to model costs of processes and thus to synthesize controllers which guarantee that the speciAed goals are fulfilled in a cost-optimized manner. Our approach even considers the transfer of energy between components to enable the design of systems in which, e.g., the braking energy of moving components can be leveraged to reduce the cost of running a system.
ASJC Scopus subject areas
- Computer Science(all)
- Computer Science Applications
Sustainable Development Goals
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Modellierung 2018. Gesellschaft fur Informatik (GI), 2018. p. 167-182 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Vol. P-280).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Synthesis of cost-optimized controllers from scenario-based GR(1) specifications
AU - Gritzner, Daniel
AU - Greenyer, Joel
N1 - Funding information: 1This research is funded by the DFG project EffiSynth. 2Leibniz Universität Hannover, Fachgebiet Software Engineering, Welfengarten 1, D-30167 Hannover, Germany daniel.gritzner|greenyer@inf.uni-hannover.de
PY - 2018
Y1 - 2018
N2 - Modern systems often consist of many software-controlled components which must cooperate to fulAll difficult to achieve goals. Trying to reduce the cost of running such a system, e.g., by minimizing total energy consumption, adds additional complexity. To support engineers in the difficult design of such systems we developed a scenario-based specification approach enabling the intuitive modeling of goals and assumptions using short scenarios. These formal speciAcations allow defects to be detected and fixed early in development. In this paper we present and evaluate an extension to our approach which enables engineers to model costs of processes and thus to synthesize controllers which guarantee that the speciAed goals are fulfilled in a cost-optimized manner. Our approach even considers the transfer of energy between components to enable the design of systems in which, e.g., the braking energy of moving components can be leveraged to reduce the cost of running a system.
AB - Modern systems often consist of many software-controlled components which must cooperate to fulAll difficult to achieve goals. Trying to reduce the cost of running such a system, e.g., by minimizing total energy consumption, adds additional complexity. To support engineers in the difficult design of such systems we developed a scenario-based specification approach enabling the intuitive modeling of goals and assumptions using short scenarios. These formal speciAcations allow defects to be detected and fixed early in development. In this paper we present and evaluate an extension to our approach which enables engineers to model costs of processes and thus to synthesize controllers which guarantee that the speciAed goals are fulfilled in a cost-optimized manner. Our approach even considers the transfer of energy between components to enable the design of systems in which, e.g., the braking energy of moving components can be leveraged to reduce the cost of running a system.
UR - http://www.scopus.com/inward/record.url?scp=85050376728&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85050376728
SN - 9783885796749
T3 - Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
SP - 167
EP - 182
BT - Modellierung 2018
PB - Gesellschaft fur Informatik (GI)
T2 - Fachtagung Modellierung, 2018
Y2 - 21 February 2018 through 23 February 2018
ER -