Title :
Requirements analysis via property-based approach
Author :
Lin Zhao ; Tianhua Xu ; Wei Zheng
Author_Institution :
State Key Lab. of Rail Traffic Control & Safety, Beijing Jiaotong Univ., Beijing, China
Abstract :
Defects in requirements specification may have fatal consequences, especially for ultra-critical systems. By using property based modeling and analysis, the distance between natural language and formal verification is significantly narrowed. Model checking could be applied to find flaws in the requirements. For incorrect specification, properties simulation and debugging are helpful for understanding the undesired behavior, hence correcting the specification.
Keywords :
digital simulation; formal specification; natural language processing; program debugging; program verification; debugging; formal verification; model checking; natural language; properties simulation; property based analysis; property based modeling; property-based approach; requirements analysis; requirements specification; ultra-critical systems; Property specification language; debug; requirements; verification;
Conference_Titel :
Computing and Convergence Technology (ICCCT), 2012 7th International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4673-0894-6
