The self-* properties commonly associated with the concept of autonomic computing are capabilities desirable for avionics software platforms. They decrease the configuration effort and inherently provide new fault tolerance and resource savings possibilities. The rigid certification process and the requirements for a static and predetermined system behavior are, however, in contradiction with the adaptive and flexible nature of autonomic computing systems. We propose a partition-based architecture providing autonomic features for avionics software platforms while being compliant to regulations and accepted technologies, such as ARINC 653. The core is a platform consciousness based on a domain-specific model and a novel MAP-QE-K cycle. Moreover, we suggest a planning intelligence, a virtual qualification authority, and a minimized execution unit. For each component we define the required design assurance level and possible realization techniques. We discuss the overall feasibility and point out central challenges in the fields of runtime verification and models at runtime. These challenges need to be solved up to the realization of autonomic avionics, e.g. a virtual security assessment and a qualifiable domain-specific model database.
翻译:通常与自动计算概念相联系的自 * 特性是航空软件平台所需的能力,它们减少了配置工作,并必然提供了新的缺陷容忍度和资源节约可能性。不过,僵硬的认证程序和对静态和预设系统行为的要求与自动计算系统的适应性和灵活性质相矛盾。我们提议一个基于分区的架构,为航空软件平台提供自动特征,同时遵守条例和公认的技术,如ARINC 653。核心是一种基于特定域模型和新的MAP-QE-K周期的平台意识。此外,我们建议建立一个规划情报、虚拟资格认证机构和一个最小化的执行单位。我们为每个组成部分确定所需的设计保证水平和可能的实现技术。我们讨论总体可行性,指出运行时间核查和运行时模型领域的中心挑战。这些挑战需要得到解决,以实现自动电子安全评估和可量化的域特定模型数据库。