A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
4-1 Formal Analysis and Simulation of ATPB System
2011
Proceeding of Symposium on Reliability
Preserved Fulltext
This paper makes a fbmial analysis of the specification of a novel railway system, PfirPB systeml which is proposed by the authors. Firstly, on the basis of analyzing the requirements of the actual system, it established the specification of the AI"PB system by VDM++. Secondly it proved the internal censistency which can guarantee there is no runtime error; and then it validated the satisfiability, which is used to make sure that the specification satisfies the requirement. At last, it
doi:10.11348/reajsym.2011autumn.24.0_49
fatcat:phkuwfny3zdydktfmjtwci3jhq