Buch, Deutsch, Band 2019, 2, 124 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 209 g
Reihe: IAS-Forschungsberichte
Modellkomposition zur Nutzung der funktionalen Verifikation
Buch, Deutsch, Band 2019, 2, 124 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 209 g
Reihe: IAS-Forschungsberichte
ISBN: 978-3-8440-7039-2
Verlag: Shaker
Zur Unterstützung von Anlagenbetreibern bei der Absicherung von softwarebasierten Änderungen an Steuerungssystemen wird in der vorliegenden Arbeit ein Konzept für einen strukturierten und automatisierten Absicherungsprozess vorgestellt. Es zielt darauf ab, durch eine automatisierte Auswirkungsanalyse und Generierung formaler Verhaltensmodelle, formale Verifikationsmethoden für Anlagenbetreiber nutzbar zu machen.