Benutzer: Gast  Login
Dokumenttyp:
Zeitschriftenaufsatz 
Autor(en):
Richter, J. H.; Friedrich, S. R. 
Titel:
Semi-formal verification of closed-loop specifications in the concept design phase 
Abstract:
The article addresses the semi-formal verification of behavioral specifications for subsystems consisting of physical parts and controllers, complemented by simulation-based integration testing. Since design errors in early phases tend to be particularly expensive, the method is tailored towards applicability in these phases. We verify behavioral specifications with proof-like credibility, or falsify them while providing a violation scenario that is reusable as a test case. The syste...    »
 
Stichworte:
Closed-loop specifications; formal verification; hybrid systems; cyber-physicalsystems 
Zeitschriftentitel:
at - Automatisierungstechnik 
Jahr:
2017 
Band / Volume:
65 
Monat:
Feb 
Heft / Issue:
Seitenangaben Beitrag:
115-123 
Sprache:
en 
Semester:
WS 16-17