Seminar Series 2016 - Marcus Lindner

Seminar Series 2016 - Marcus Lindner

Robust Industrial Automation Software: outsets for non-determinism and real-time execution
10, May, 2016 11:30-12:30 (1 hour)
CISTER, Porto, Portugal

The presentation will give an overview about the work conducted in the first half of Marcus' PhD studies up to the recently defended licentiate degree. This work bases on studies about the industrial standard IEC 61499 and its relation to the RTFM model of computation. In addition to the introduction of the research project, the talk will present software related issues and focus on selected properties, which are important for software development to improve the robustness of industrial automation software. Among others, timing is essential due to its importance in real-time applications. An example case of the nuclear power plant Forsmark in Sweden illustrates problems correlated with timing issues and makes the lack of an overall system modelling (including timing) evident. The RTFM framework defines a concurrent model of execution based on tasks and resources together with a timing semantics that was designed from the outset for the development of embedded real-time systems. It can serve as a scheduling and resource management for the run-time environments of industrial applications, while addressing the aforementioned issues.

At CISTER's Facebook Page

CISTER's main roles:
Marcus Lindner

S101 Auditorium/Seminar Room
1st Floor

Event-related Photos and Videos