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.
Produkteigenschaften
- Artikelnummer: 9783839607534
- Medium: Buch
- ISBN: 978-3-8396-0753-4
- Verlag: Fraunhofer Verlag
- Erscheinungstermin: 10.07.2014
- Sprache(n): Englisch
- Auflage: Erscheinungsjahr 2014
- Serie: PhD Theses in Experimental Software Engineering
- Produktform: Kartoniert
- Gewicht: 517 g
- Seiten: 294
- Format (B x H x T): 170 x 240 x 20 mm
- Ausgabetyp: Kein, Unbekannt