Efficiently Deploying Safety-Critical Applications onto Open Integrated Architectures
Seiten
- Titel erscheint in neuer Auflage
- Artikel merken
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.
Erscheint lt. Verlag | 10.7.2014 |
---|---|
Reihe/Serie | PhD Theses in Experimental Software Engineering ; 50 |
Zusatzinfo | num. illus. and tab. |
Verlagsort | Stuttgart |
Sprache | englisch |
Maße | 170 x 240 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Informatik ► Weitere Themen ► Zertifizierung | |
Schlagworte | Entwickler sicherheitskritischer eingebetteter Systeme • Fraunhofer IESE |
ISBN-10 | 3-8396-0753-1 / 3839607531 |
ISBN-13 | 978-3-8396-0753-4 / 9783839607534 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Zusammenarbeit systematisieren und relevante Ergebnisse erzielen
Buch (2023)
Hanser, Carl (Verlag)
CHF 83,95