Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Specification, synthesis and validation of strategies for collaborative embedded systems

: Schlingloff, Bernd-Holger


Margaria, T. (Ed.) ; TU Berlin, European Association of Software Science and Technology -EASST-:
Leveraging applications of formal methods, verification and validation. Applications. Proceedings. Pt.III : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020
Cham: Springer Nature, 2020 (Lecture Notes in Computer Science 12478)
ISBN: 978-3-030-61466-9 (Print)
ISBN: 978-3-030-61467-6 (Online)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <9, 2020, Online>
Bundesministerium für Bildung und Forschung BMBF (Deutschland)
01∣S16043G/E; CrESt
Collaborative Embedded Systems
Fraunhofer FOKUS ()

A collaborative embedded system is an autonomous component of a cyber-physical system which cooperates with other such systems in order to accomplish a common goal. In this paper, we report on approaches for the validation of such collaborative embedded systems. We describe specification methods for hierarchies of goals and targets. Using model checking of alternating signal temporal logic, we show how to construct strategies for the satisfaction of goals and targets. For runtime validation of safety properties, we give a robust monitoring procedure which can flag potential problems in advance. Our two examples are car platooning and automated guided vehicles in industrial production. In the car platooning example, autonomous vehicles collaborate to enable high-speed driving at short distances. The fleet of transport robots collaborates in loading and unloading of production machines.