Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.ORCID iD: 0000-0002-1791-535X
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.
Series
Licentiate thesis / Luleå University of Technology, ISSN 1402-1757
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-25969Local ID: bf7582f3-c528-43a0-850a-891686c4d96fISBN: 978-91-7583-571-6 (print)ISBN: 978-91-7583-572-3 (electronic)OAI: oai:DiVA.org:ltu-25969DiVA: diva2:999127
Projects
Frekvensomriktares funktion i beredskapskritiska system
Note
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-30 Last updated: 2017-11-24Bibliographically approved

Open Access in DiVA

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

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 247 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 257 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf