Verification Framework of Scenario-Based Safety Requirement
Software Engineering, 2009. WCSE '09. WRI World Congress（2009）
摘要
Light-weight formal verification framework, based on CRA, focusing on industry application is proposed in this paper, which safety requirements specification, described by PSC(property sequence chart), can be automatic transformed into LTS(labeled transition system). we present the translation algorithm from PSC to image LTS, by proving that the PSC semantic can be transformed into linearization sequences set. Thus, safety requirement specifications can be verified by CRA and be implemented by LTSA tools.
更多查看译文
关键词
property sequence chart,safety requirement specification,verification framework,scenario-based safety requirement,linearization sequences set,ltsa tool,light-weight formal verification framework,safety requirements specification,psc semantic,transition system,image lts,industry application,data mining,formal verification,logic,automata,information science,software engineering,unified modeling language,industrial relations,formal specifications
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要