航空电子设备
综合模块化航空电子设备
计算机科学
过程(计算)
临界性
系统工程
航空电子软件
领域(数学)
航空
嵌入式系统
可靠性工程
软件工程
工程类
软件
软件开发
操作系统
软件质量
航空航天工程
核物理学
数学
物理
纯数学
作者
Kamiran Abdo,Jasmin Broehan,Frank Thielecke
标识
DOI:10.1109/dasc55683.2022.9925797
摘要
The trend of today’s aviation shows a steadily increasing complexity of avionics systems and related functions. Emerging technologies, such as multi-core avionics, mixed-criticality systems on shared resources, and the adoption of artificial intelligence (AI) in the field of avionics, will accelerate this growth by introducing additional synergies and new constraints. However, this trend makes the complex and non-automated development process of avionics platforms more time-consuming and error-prone. To keep the increasing complexity within reasonable limits and to avoid major design iterations, new methods are needed to continuously validate the design and implementation choices. In this paper, we present a model-based concept for early and continuous validation of avionics platforms under development through all their phases – design, implementation, testing and ultimately, integration.
科研通智能强力驱动
Strongly Powered by AbleSci AI