Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
2014
Die Sicherstellung der Korrektheit von Modellen wahrend der Entwicklung und Evolution von industriellen Automatisierungssystemen ist von groser Bedeutung. Eine Vielzahl unterschiedlicher Disziplinen, z.B. Mechanik, Elektrik/Elektronik und Software, sind dabei an deren Entwicklung beteiligt. In diesem Beitrag wird ein Ansatz zur Modellierung von Automatisierungssystemen vorgestellt, der die Modellierung des Schnittstellenverhaltens zur automatischen Verifikation der funktionalen Korrektheit von Artefakten adressiert und dabei Informationen von verschiedenen beteiligten Disziplinen
berucksichtigt.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
25
Citations
NaN
KQI