Alvis Models Of Safety Critical Systems State-Base Verification With Nuxmv

2016 Federated Conference on Computer Science and Information Systems (FedCSIS)(2016)

引用 7|浏览3
暂无评分
摘要
For modelling of real-time safety critical systems, when traditional testing techniques cannot be applied, formal system verification is crucial. Alvis is a modelling language that combines possibilities of formal models verification with flexibility and simplicity of practical programming languages. Solutions introduced in Alvis make the development process easier and help engineers to cope with more complex systems. The paper deals with a state-based approach to the verification of Alvis models. Until the research presented in the paper were conducted, the verification process was mostly action-based. The nuXmv tool, as one of the top model checkers, was selected for the task of state-base verification of Alvis models translated into the SMV modelling language. The paper presents a translation algorithm and usability studies performed on existing safety critical systems.
更多
查看译文
关键词
Alvis models,safety critical systems state-base verification,nuXmv,testing techniques,formal system verification,practical programming languages,state-based approach,model checkers,SMV modelling language,translation algorithm
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要