Benutzer: Gast  Login
Dokumenttyp:
Zeitschriftenaufsatz 
Autor(en):
Legat, Christoph; Mund, Jakob; Campetelli, Alarico; Hackenberg, Georg; Folmer, Jens; Schütz, Daniel; Broy, Manfred; Vogel-Heuser, Birgit 
Titel:
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance 
Abstract:
Die Sicherstellung der Korrektheit von Modellen während der Entwicklung und Evolution von industriellen Automatisierungssystemen ist von großer 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 A...    »
 
Zeitschriftentitel:
Automatisierungstechnik (at) 
Jahr:
2014 
Band / Volume:
62 
Heft / Issue:
11 
Seitenangaben Beitrag:
815-825 
Nachgewiesen in:
Scopus 
Verlag / Institution:
Oldenbourg Wissenschaftsverlag 
Verlagsort:
Munich, Germany