User: Guest  Login
Document type:
Zeitschriftenaufsatz 
Author(s):
Richter, Jan H.; Friedrich, Stefan R. 
Title:
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 system is r...    »
 
Keywords:
Closed-loop specifications; formal verification; hybrid systems; cyber-physicalsystems 
Journal title:
at - Automatisierungstechnik 
Year:
2017 
Journal volume:
65 
Month:
Feb 
Journal issue:
Pages contribution:
115-123 
Language:
en 
Fulltext / DOI:
Semester:
WS 16-17