Efficiently Deploying Safety-Critical Applications onto Open Integrated Architectures
PhD Theses in Experimental Software Engineering, Band 50
Bastian Zimmer
Hrsg.: Fraunhofer IESE, Kaiserslautern
2014, 294 S., num. illus. and tab., Softcover
Sprache: Englisch
Kaiserslautern, TU, Diss., 2014
Fraunhofer Verlag
ISBN 978-3-8396-0753-4

zur Open Access Version

Inhalt
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.

Verfügbare Formate