Title | ||
---|---|---|
Integration of a formal specification approach into CPPS engineering workflow for machinery validation |
Abstract | ||
---|---|---|
Cyber Physical Production Systems (CPPS) operate for a long time and face continuous and incremental changes to follow up varying requirements. Interdisciplinary engineering of CPPS is often subject to delay and cost overrun; and quality control may even fail due to the lack of efficient information exchange between multiple involved actors. We propose to integrate a formal requirement specificati... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/INDIN45523.2021.9557505 | 2021 IEEE 19th International Conference on Industrial Informatics (INDIN) |
Keywords | DocType | ISBN |
Production systems,Quality control,Tools,Software,Delays,Formal specifications,Machinery | Conference | 978-1-7281-4395-8 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vogel-Heuser, B. | 1 | 521 | 125.47 |
Christoph Huber | 2 | 0 | 0.34 |
Suhyun Cha | 3 | 2 | 1.82 |
Bernhard Beckert | 4 | 862 | 86.50 |