原文传递
Final Report - Regulatory Considerations for Adaptive Systems.
| 题名： | Final Report - Regulatory Considerations for Adaptive Systems. |
| 作者： | Bharadwaj, R.; Lynch, J.; Wilkinson, C. |
| 关键词： | Adaptation; Aerospace Safety; Decision Making; Design Analysis; Methodology; Proving; Regulations; Software Engineering |
| 摘要： | This report documents the findings of a preliminary research study into new approaches to the software design assurance of adaptive systems. We suggest a methodology to overcome the software validation and verification difficulties posed by the underlying assumption of non-adaptive software in the requirementsbased- testing verification methods in RTCA/DO-178B and C. An analysis of the relevant RTCA/DO-178B and C objectives is presented showing the reasons for the difficulties that arise in showing satisfaction of the objectives and suggested additional means by which they could be satisfied. We suggest that the software design assurance problem for adaptive systems is principally one of developing correct and complete high level requirements and system level constraints that define the necessary system functional and safety properties to assure the safe use of adaptive systems. We show how analytical techniques such as model based design, mathematical modeling and formal or formal-like methods can be used to both validate the high level functional and safety requirements, establish necessary constraints and provide the verification evidence for the satisfaction of requirements and constraints that supplements conventional testing. Finally the report identifies the follow-on research topics needed to implement this methodology. |
| 报告类型： | 科技报告 |
相关文献
- Certification Considerations for Adaptive Systems.
- Certification Considerations for Adaptive Systems.
- Microprocessor Evaluations for Safety-Critical, Real-Time Applications: Authority for Expenditure No. 43 Phase 5 Report.
- Aircraft Performance Considerations for High-Lift Propeller Systems.
- Multidisciplinary University Research Initiative: Adversarial and Uncertain Reasoning for Adaptive Cyber Defense (Summary Technical Report, 2013-2021).
- Regulatory Considerations for Future Regional Air Mobility Aircraft.
检索历史
应用推荐
