首页> 外文OA文献 >Improving Automation Software Dependability: A Role For Formal Methods?

【2h】

Improving Automation Software Dependability: A Role For Formal Methods?

机译：改善自动化软件的可靠性：形式化方法的作用？

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Timothy L. Johnson;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems [J] . Sinha Roopak, Patil Sandeep, Gomes Luis, IEEE transactions on industrial informatics . 2019,第7期

机译：建立可靠的工业自动化系统的静态形式方法概述
2. Preface to the special section on improving software quality through formal methods [J] . Falcone Ylies, Mariani Leonardo Software Quality Journal . 2020,第2期

机译：通过正式方法提高软件质量的特殊部分
3. Improving the Trustworthiness of Medical Device Software with Formal Verification Methods [J] . Li, C., Raghunathan, Embedded Systems Letters, IEEE . 2013,第3期

机译：通过形式验证方法提高医疗设备软件的可信度
4. IMPROVING AUTOMATION SOFTWARE DEPENDABILITY: A ROLE FOR FORMAL METHODS? [C] . Timothy L. Johnson IFAC Symposium on Information Control Problems in Manufacturing . 2005

机译：提高自动化软件可靠性：正式方法的作用？
5. Using Task Analytic Behavior Modeling, Erroneous Human Behavior Generation, and Formal Methods to Evaluate the Role of Human-automation Interaction in System Failure. [D] . Bolton, Matthew L. 2010

机译：使用任务分析行为建模，错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
6. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks [O] . Alessandro Testa, Marcello Cinque, Antonio Coronato, 2017

机译：设计和部署可靠的无线传感器网络的正式方法论
7. The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project [O] . Grov Gudmund, Bundy Alan, Jones Cliff B, 2010

机译：用于形式化方法中的证明自动化的AI4FM方法-挑战6“可靠的系统演进”项目
8. Formal Methods for Dependable Distributed Software [R] . McMillin, B. 1996

机译：可靠分布式软件的形式化方法

Improving Automation Software Dependability: A Role For Formal Methods?

著录项

引文网络

相似文献

相关主题

期刊订阅