Efficiently deploying safety-critical applications onto open integrated architectures

Open integrated architectures such as AUTOSAR or IMA offer an increased modularity and flexibility over more established federated architectures. However, when developing systems that are safety-critical, significant costs are incurred every time a component is reused or replaced, which decreases the desired flexibility of the architecture. To address this problem, this thesis introduces a technique that allows for a partial automation of the safety-related integration process of applications and platforms. The technique consists of three components: (1) A model-based specification language allowing developers to define the conditions for the valid integration of platforms and applications. (2) A mediation algorithm that is capable of automatically checking if the conditions specified in the safety interfaces are met for a given application-platform deployment. (3) An objective for evaluating a safety-related deployment to assist the integrator in identifying valid deployments.