Konferenzbeitrag
| Autoren | Jan Ladiges, Christopher Haubeck, Alexander Fay, Winfried Lamersdorf |
| Titel | Evolution Management of Production Facilities by Semi-Automated Requirement Verification |
| Publiziert in | at - Automatisierungstechnik |
| Verlag | Berlin |
| Medium | Band 62 Nummer 11 |
| Datum | Oktober 2014 |
| Seiten | 781-793 |
| Zusammenfassung | 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. |
| Dokument |  |
| Andere Formate | Din 1501 |
