Robust industrial automation software: outsets for non-determinism and real-time execution
2016 (English)Licentiate thesis, comprehensive summary (Other academic)
Studies about the industrial standard IEC 61499 and its relation to the RTFM Model of Computation represent the basis of this thesis. An overview of industrial automation software in general and in the scope of Svenska Kraftnät introduces the subject of software related issues. The thesis focuses 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. A review of the relevant industrial standards for software development in industrial applications provides a background for various aspects of software compliance to safety requirements. Special attention lies on the standards IEC 61131 and IEC 61499 for industrial software development and their programming and execution model. The presented 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. Mappings from the functional layer (IEC 61499 function block networks) and safety layer (PLCopen safety function blocks) to RTFM show the applicability and possibility of using IEC 61499 as an overall, distributed, and hierarchical model. A discussion on options for future work presents choices to pursue the second half of the PhD studies. Formal methods for program specification and verification open up an interesting path to further increase the robustness of industrial automation software.
Place, publisher, year, edition, pages
Luleå tekniska universitet, 2016.
Licentiate thesis / Luleå University of Technology, ISSN 1402-1757
Research subject Embedded System
IdentifiersURN: urn:nbn:se:ltu:diva-25969Local ID: bf7582f3-c528-43a0-850a-891686c4d96fISBN: 978-91-7583-571-6ISBN: 978-91-7583-572-3 (PDF)OAI: oai:DiVA.org:ltu-25969DiVA: diva2:999127
ProjectsFrekvensomriktares funktion i beredskapskritiska system
Godkänd; 2016; 20160318 (maalin); Nedanstående person kommer att hålla licentiatseminarium för avläggande av teknologie licentiatexamen. Namn: Marcus Lindner Ämne: Inbyggda system/Embedded Systems Uppsats: Robust Industrial Automation Software: Outsets for Non-determinism and Real-time Execution Examinator: Professor Per Lindgren, Institutionen för system- och rymdteknik, Avdelning: EISLAB, Luleå tekniska universitet. Diskutant: PhD Alois Zoitl, Division: Control Systems Engineering, Manufactureing Engineering, Fortiss GmbH An-Institut Technische Universität München, Germany. Tid: Tisdag 3 maj, 2016 kl 13.15 Plats: A1547, Luleå tekniska universitet2016-09-302016-09-30Bibliographically approved