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 |
Assoziiertes Projekt
Forever Young Production Automation with Active Components
DFG Priority Programme 1593 (In cooperation with HSU, Hamburg)
Dr. Christopher Haubeck, Dr. Jan Ladiges, Prof. Dr. Lars Braubach, Dr. Alexander Pokahr, Prof. Dr. Winfried Lamersdorf, Professor Dr. Alexander Fay
|
Debug Info for generation of "last modified"publications_515 (1999-11-11 12:11:11) | publication2person_515_4 (2014-06-30 20:39:59) | textFragments_en_592 (1999-11-11 12:11:11) | persons_4 (2004-12-16 19:22:00) | persons_4 (2015-10-09 23:55:09) | persons_4 (2015-10-09 23:56:22) | persons_4 (2016-01-14 14:48:32) | persons_4 (2019-12-20 17:54:41) | persons_4 (2021-08-23 15:46:06) | publication2person_515_890 (2014-06-30 20:39:59) | persons_890 (2012-10-18 15:24:00) | persons_890 (2019-12-20 18:01:40) | persons_890 (2023-02-01 12:28:54) | publication2person_515_1628 (2014-06-30 20:39:59) | persons_1628 (2012-12-10 12:40:00) | persons_1628 (2020-01-02 15:15:56) | publication2person_515_1633 (2014-06-30 20:39:59) | persons_1633 (2013-01-29 16:22:00) | publication2project_515_50 (2014-06-30 20:39:59) | person2project_4_50 (2013-03-07 14:28:11) | projects_50 (2016-01-06 14:36:34) | persons_4 (2004-12-16 19:22:00) | persons_4 (2015-10-09 23:55:09) | persons_4 (2015-10-09 23:56:22) | persons_4 (2016-01-14 14:48:32) | persons_4 (2019-12-20 17:54:41) | persons_4 (2021-08-23 15:46:06) | person2project_80_50 (2013-03-07 14:28:11) | projects_50 (2016-01-06 14:36:34) | persons_80 (2014-09-29 19:06:00) | persons_80 (2016-07-02 17:20:24) | persons_80 (2023-02-01 12:28:54) | person2project_84_50 (2013-03-07 14:28:11) | projects_50 (2016-01-06 14:36:34) | persons_84 (2007-05-29 15:28:00) | person2project_890_50 (2013-03-07 14:28:11) | projects_50 (2016-01-06 14:36:34) | persons_890 (2012-10-18 15:24:00) | persons_890 (2019-12-20 18:01:40) | persons_890 (2023-02-01 12:28:54) | person2project_1628_50 (2013-03-07 14:28:11) | projects_50 (2016-01-06 14:36:34) | persons_1628 (2012-12-10 12:40:00) | persons_1628 (2020-01-02 15:15:56) | person2project_1633_50 (2013-03-07 14:28:11) | person2project_1984_50 (2016-01-14 15:06:57) | projects_50 (2016-01-06 14:36:34) | persons_1984 (2016-01-14 12:00:54) | persons_4 (2004-12-16 19:22:00) | persons_4 (2015-10-09 23:55:09) | persons_4 (2015-10-09 23:56:22) | persons_4 (2016-01-14 14:48:32) | persons_4 (2019-12-20 17:54:41) | persons_4 (2021-08-23 15:46:06)
Am 1. February 2023 um 12:28 von Prof. Dr. Winfried LamersdorfCALL getCollectionFull('publications/lookpub','vsis',515,0)