Change search
ReferencesLink to record
Permanent link

Direct link
Robust industrial automation software: outsets for non-determinism and real-time execution
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
2016 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

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
URN: urn:nbn:se:ltu:diva-25969Local ID: bf7582f3-c528-43a0-850a-891686c4d96fISBN: 978-91-7583-571-6ISBN: 978-91-7583-572-3 (PDF)OAI: diva2:999127
Frekvensomriktares 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 universitetAvailable from: 2016-09-30 Created: 2016-09-30Bibliographically approved

Open Access in DiVA

fulltext(4248 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 4248 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lindner, Marcus
By organisation
Embedded Internet Systems Lab

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 13 hits
ReferencesLink to record
Permanent link

Direct link