原文传递
Cyber-Physical Systems Specification Mismatch and Safe Upgrades.
| 题名： | Cyber-Physical Systems Specification Mismatch and Safe Upgrades. |
| 作者： | Csallner, C.; Johnson, T. T. |
| 关键词： | Unmanned aerial vehicles, Cyber-physical systems, Satellite constellations, Artificial satellites, Space systems, Spacecraft, Scalable formal methods, Uas(unmanned aerial systems), Theoretical, Practical tools, Safely integrate legacy, New systems, Mismatches, Specifications, Invariant inference, Randomized differential testing, Conjunction, Physical environments |
| 摘要： | Air Force cyber-physical systems (CPS) such as manned and unmanned aerial systems (UAS) and satellite constellations are composed of legacy and novel systems over at times decades-long lifespans. In this research, novel methods are developed to ensure such CPS have assurance to meet their design and mission requirements and only these in spite of potential design defects and bugs, attacks, and failures. The outcomes of the project include theoretical and practical tools to safely integrate legacy and new systems. |
| 报告类型： | 科技报告 |
相关文献
- HyCIRCA: Formal Synthesis and Verification Techniques of Autonomous Cyber-Physical Systems.
- Experiments for Securing Air Traffic Against Cyber-Physical System Attacks.
- Implementation planning for communications system upgrades.
- Cyber-Physical System Intrusion: A Case Study of Automobile Identification Vulnerabilities and Automated Approaches for Intrusion Detection.
- ITS BASED ON XML AND WEB SERVICE TECHNOLOGIES -- THE FUTURE OF ITS IN THE UBIQUITOUS NETWORK SOCIETY.
- OREGON DOT'S PHASE 2 TRANSPORT ADVANCED TRANSPORTATION MANAGEMENT SYSTEM : REQUIREMENTS MANAGEMENT IN ACTION.
检索历史
应用推荐
