in Proceeding
| Authors | Jan Ladiges, Christopher Haubeck, Alexander Fay, Winfried Lamersdorf |
| Title | Evolution Management of Production Facilities by Semi-Automated Requirement Verification |
| Published in | at - Automatisierungstechnik |
| Publisher | Berlin |
| Medium | Volume 62 Number 11 |
| Date | October 2014 |
| Pages | 781-793 |
| Abstract | The concept described in this contribution utilizes available process data in production systems to enable to verify the fulfilment of (non-functional) requirements during operation. Therefore, the contribution presents a systematic approach to automatically derive property values out of signal traces by using adaptable runtime models. Those can be checked for the violation of limit values in order to verify the fulfilment or violation of requirements on these properties during an evolution. In an example application to a Pick and Place unit, the concept is used together with an anomaly detection method to support the operator during the evolution process by constantly providing information regarding requirement fulfilment. |
| Document |  |
| Other formats | Din 1501 |
