Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Engineering conditional safety certificates for open adaptive systems

: Schneider, D.; Trapp, M.


International Federation of Automatic Control -IFAC-:
4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013
York: IFAC, 2013
ISBN: 978-3-902823-49-6
Workshop on Dependable Control of Discrete Systems (DCDS) <4, 2013, York>
Fraunhofer IESE ()

In recent years, we have witnessed a strong trend towards more openness and adaptivity in many application domains of computer-based systems. In this context, the assurance of a sufficient level of safety poses serious challenges because traditional engineering and assurance approaches are usually not applicable without further ado. In order to meet these challenges, we recently introduced a framework that enables runtime safety certification based on conditional safety certificates (ConSerts). Since the definition of ConSerts relies on an adequate safety engineering backbone, we now present an engineering approach for defining ConSerts based on established safety engineering processes and techniques. The presented approach has been evaluated in an industry project in form of a feasibility study in the agricultural domain.