Mehlhop, Sven (2023) Ensuring Real-Time Correctness for IEC 61499 Designs. Forum on specification & Design Languages 2023 (FDL).

- Published Version Restricted to Repository staff only Volltext (96Kb)

Abstract

The increasing complexity of industrial control systems requires new modelling approaches such as IEC 61499, but verification tools for this approach are still lacking. Among other things, a tool for verifying temporal properties at design time is missing. One approach to fill this gap is to extend the standard to include temporal contracts and to design a simulator as an implementation of the standard, enriched with a time model and the possibility to implement monitors for the contracts and thus enable virtual integration testing.

Item Type:	Article
Uncontrolled Keywords:	IEC 61499
Subjects:	Generalities, computers, information > Computer science, internet
Divisions:	School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited:	17 Jul 2025 12:43
Last Modified:	17 Jul 2025 12:43
URI:	https://oops.uni-oldenburg.de/id/eprint/6278
URN:	urn:nbn:de:gbv:715-oops-63591
DOI:
Nutzungslizenz:

Actions (login required)

View Item