7 Formale Beschreibungsmethoden im Überblick
Im Rahmen der Konstruktion eines Realzeitsystems werden Zustandsgrößen und Stellwerte des technischen Prozesses (zum Beispiel Temperaturwerte oder Ventile) auf logische Einheiten, auf Tasks abgebildet (Abbildung 7-1).
Abbildung 7-1 Rechenprozesse bilden den technischen Prozess ab.
Das sich dabei ergebende Taskgebilde muss formal beschrieben werden. Nur so sind eine Planung, ein Review und später auch eine Wartung und Reparatur möglich. Ein sinnvolles Vorgehensmodell ist dabei ein Top-down-Ansatz. Zunächst ist das Taskgebilde als solches, also welche Tasks existieren, welche Sensor- und welche Aktorwerte ...
Get Moderne Realzeitsysteme kompakt now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
