Methodischer Entwurf eingebetteter Software am Beispiel eines flexiblen Transportsystems

Die Anforderungen an Automatisierungssysteme steigen. Gefordert werden Skalierbarkeit, geringe Reaktionszeiten sowie Unempfindlichkeit des Gesamtsystems gegenüber dem Ausfall von Subsystemen. Als Ansatz zur Beherrschung der resultierenden Komplexität bietet sich die dezentrale Bearbeitung der Steuerungsaufgaben an. Dabei ist Software zu entwickeln, die durch Parallelität und die Erfüllung von Echtzeitanforderungen gekennzeichnet ist. Um diese Herausforderungen zu bewältigen, ist ein methodischer, formaler Ansatz zur Entwicklung der Software notwendig, der einen eindeutigen Schwerpunkt in die frühen, implementierungsunabhängigen Phasen legt. Ein solcher Ansatz wird sowohl allgemein als auch anhand eines Beispiels. ausführlich erläutert.