Buch, Englisch, Band 50, 294 Seiten, Format (B × H): 170 mm x 240 mm
Buch, Englisch, Band 50, 294 Seiten, Format (B × H): 170 mm x 240 mm
Reihe: PhD Theses in Experimental Software Engineering
ISBN: 978-3-8396-0753-4
Verlag: Fraunhofer Verlag
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.
