The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges

by   Bjoern Annighoefer, et al.

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.



page 1

page 3

page 4


MARS: Middleware for Adaptive Reflective Computer Systems

Self-adaptive approaches for runtime resource management of manycore com...

A Method for Ontology-based Architecture Reconstruction of Computing Platforms

Today's ubiquitous computing ecosystem involves various kinds of hardwar...

Refactoring Software in the Automotive Domain for Execution on Heterogeneous Platforms

The most important way to achieve higher performance in computer systems...

Application-Platform Co-Design for Serverless Data Processing

"Application-platform co-design" refers to the phenomenon of new platfor...

Tigris: a DSL and Framework for Monitoring Software Systems at Runtime

The understanding of the behavioral aspects of a software system is an e...

Boutiques: a flexible framework for automated application integration in computing platforms

We present Boutiques, a system to automatically publish, integrate and e...

Leaky Abstraction In Online Experimentation Platforms: A Conceptual Framework To Categorize Common Challenges

Online experimentation platforms abstract away many of the details of ex...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.