形式化验证论文

基于NuSMV的SysML模型形式化验证
论文摘要航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,...
基于STP方法的SCADE模型形式化验证框架
论文摘要高安全性应用开发环境(SCADE)的形式化验证组件DesignVerifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为...
基于有限状态机的操作系统需求层形式化验证
论文摘要操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情...