机译:用于安全关键系统自动测试的高级协作和实时正式模型
State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing 100191, China;
State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing 100191, China;
State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing 100191, China;
State Key Lab of Software Development Environment, School of Computer Science, Beihang University, Beijing 100191, China;
safety critical systems (SCS); test; automatic test; equipment collaboration; high order calculus; LTS; real time;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
机译:河马:一个正式的模型执行引擎,用于控制和验证关键的实时系统
机译:使用分层通信实时状态机形式模型对实时安全关键系统进行危害分析
机译:使用形式化方法的实时工程系统的安全性和可靠性。
机译:集成了无线传感器网络和建筑信息建模技术的有害气体实时施工安全监控系统
机译:自动生成安全关键型实时系统的模型
机译:X-real-time Executive(X-RTE)是一种用于安全关键系统的超高可靠实时执行程序