原文传递
Formal Methods of Assurance for CPS.
| 题名： | Formal Methods of Assurance for CPS. |
| 作者： | De Niz, D. |
| 关键词： | Software development, Machine learning, Cyber-physical systems, Automation, Algorithms, Information assurance, Formal methods |
| 摘要： | Assurance Automation for Safe-Critical Cyber-Physical Systems: -- The DoD requires rapid fielding of critical capabilities to remain competitive with ongoing, urgent and emerging threats. -- The challenge is that traditional verification does not scale because of unpredictable algorithms such as machine learning and the need for timely interaction with the environment (i.e., correct actions at correct time). |
| 报告类型： | 科技报告 |
相关文献
- Cyber-Physical Systems Specification Mismatch and Safe Upgrades.
- Hypergame Analysis of Cyber Systems.
- Guide to Implementing Child Passenger Safety Inspection Stations.
- Computing Science: Practical Formal Methods in Railways - The SafeCap Approach.
- Formal Foundations for Hierarchical Safety Cases.
- Addendum 1 to CSERs 94-007 and 94-008: Use of 2.2 liter boats in muffle furnace operations at PFP
检索历史
应用推荐
