Closed-loop system modeling, validation, and verification

摘要

Control software engineering has become a weighty factor according to implementation expense, especially when developing a new plant or migrating an existing one. Because of this, there are high customer demands concerning safety and correctness of software. Conventional open-loop testing methods have clearly reached their limits as the complexity of today's control software is not manually manageable anymore. Nevertheless, they still belong to daily practice due to the lack of integrated solutions that do not overcharge users but that are tailored to software engineering demands. This contribution ther-fore approaches this problem and encourages the application of closed-loop modeling, validation, and verification methods. Beyond this, it proposes complete frameworks to apply this expertise not only in academia but in industrial environment as well.