A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain
[chapter]
2010
Complex Systems Design & Management
We present our return of experience in using SIMULINK DESIGN VERI-FIER for the verification and validation of a safety-critical function. The case study concerns the train tracking function for an automatic train protection system (ATP). We basically show how this function is formalized in SIMULINK and present the various proof strategies devised to prove the correctness of the model w.r.t. high-level safety properties. These strategies have for purpose to provide a certain harness over
doi:10.1007/978-3-642-15654-0_4
dblp:conf/csdm/EtienneFJ10
fatcat:bpufjl7ocndbflng2twcw2yy5u