原文传递
Refinement for fault-tolerance An aircraft hand-off protocol
| 题名： | Refinement for fault-tolerance An aircraft hand-off protocol |
| 作者： | Marzullo, Keith; Schneider, Fred B.; Dehn, Jon |
| 关键词： | tolerance；refine；protocol；hand；craft；controller；application；automation；outline；advanced |
| 摘要： | Part of the Advanced Automation System (AAS) for air-traffic control is a protocol to permit flight hand-off from one air-traffic controller to another. The protocol must be fault-tolerant and, therefore, is subtle -- an ideal candidate for the application of formal methods. This paper describes a formal method for deriving fault-tolerant protocols that is based on refinement and proof outlines. The AAS hand-off protocol was actually derived using this method that derivation is given. |
| 报告类型： | 科技报告 |
相关文献
- An Analysis Mechanism for Automation in Terminal Area
- ARSENAL: A Cross Layer Architecture for Secure Resilient Tactical Mobile AdHoc Networks.
- Control and Non-Payload Communications (CNPC) Prototype Radio - Generation 2 Flight Test Report.
- CAD/AVL SYSTEM FAULT TOLERANCE SYSTEM FALLBACK LEVELS AND CONCEPTS.
- Attentional Tunneling and Task Management. Technical rept.
- Analytical Approaches to Guide SLS Fault Management (FM) Development.
检索历史
应用推荐
