Integration einer architekturzentrischen Entwurfsmethodik mit einem Ansatz zur bedingten Laufzeitzertifizierung für funktionale Sicherheit

The tendency in engineering to expand the focus to Smart Ecosystems and the increasing desire to use dynamically adaptive systems leads to additional challenges for engineering. Problems such as insufficient engineering approaches and a lack of traceability can ultimately lead to safety critical errors, in addition to limited scalability and capability to evolve. A potential way for tacking these challenges is the integration of an approach for ensuring the functional safety of open adaptive systems into an architecture-centric development methodology. This thesis focuses on this integration and specifically demonstrates how it can be realized on the various levels of a Smart Ecosystem. The work then also explores the question of how general traceability of safety-related artifacts and measures can be created in the architectural model and what advantages and disadvantages may emerge in doing so. The aggregated approach is demonstrated in the context of the "Smart Farming" iving Lab at Fraunhofer IESE. In the demonstration example Tractor Implement Management (TIM), a safety analysis, an architectural model, a prototypical implementation, and a show case for the visual representation of the engineering have been created. Based on cumulative experience with respect to the design methodology and the safety approach, feedback has been given and amendments have been proposed.