Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Enabling Reactive Design of Robust Real-Time Embedded Systems
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
2017 (Engelska)Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
Luleå: Luleå University of Technology, 2017.
Serie
Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, ISSN 1402-1544
Nationell ämneskategori
Datorsystem Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-62322ISBN: 978-91-7583-835-9 (tryckt)ISBN: 978-91-7583-836-6 (digital)OAI: oai:DiVA.org:ltu-62322DiVA, id: diva2:1078928
Disputation
2017-04-24, D770, 13:00 (Engelska)
Opponent
Handledare
Tillgänglig från: 2017-03-07 Skapad: 2017-03-07 Senast uppdaterad: 2017-11-24Bibliografiskt granskad
Delarbeten
1. An IDE for component-based design of embedded real-time software
Öppna denna publikation i ny flik eller fönster >>An IDE for component-based design of embedded real-time software
2011 (Engelska)Ingår i: 6th IEEE International Symposium on Industrial Embedded Systems (SIES), Piscataway, NJ: IEEE Communications Society, 2011, s. 47-50Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

This paper describes work in progress on a tool for component-based design of embedded real-time software. The tool supports graphical modeling of software systems using concurrent reactive objects and components, as well as generation of C code from the model. The resulting application code can then be combined with a lightweight kernel for execution on bare metal.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2011
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-40435 (URN)10.1109/SIES.2011.5953677 (DOI)80051994220 (Scopus ID)f94b40bd-babd-4794-9ae3-b5b4ea50367e (Lokalt ID)978-1-61284-818-1 (ISBN)978-1-61284-819-8 (ISBN)f94b40bd-babd-4794-9ae3-b5b4ea50367e (Arkivnummer)f94b40bd-babd-4794-9ae3-b5b4ea50367e (OAI)
Konferens
IEEE International Symposium on Industrial Embedded Systems : 15/06/2011 - 17/06/2011
Anmärkning
Godkänd; 2011; 20110816 (ysko)Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2017-11-25Bibliografiskt granskad
2. Leveraging tinyos for integration in process automation and control systems
Öppna denna publikation i ny flik eller fönster >>Leveraging tinyos for integration in process automation and control systems
2012 (Engelska)Ingår i: IECON 2012: 38th Annual Conference of the IEEE Industrial Electronics Society, Piscataway, NJ: IEEE Communications Society, 2012, s. 5779-5785Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The number and complexity of networked sensors and actuators in industrial monitoring and control systems is rapidly increasing. This calls for flexible yet efficient methods (w.r.t. time and money) for designing, deploying and maintaining such systems. To this end, Service Oriented Architectures (SOAs) and wireless technologies are foreseen to play important roles. In the area of Wireless Sensor Networks (WSNs), TinyOS (TOS) has gained wide spread use, mainly because it offers a simple programming model. Moreover TOS comes with a ready made code base (e.g., protocol stacks needed to implement SOA enabled devices) and is available for a large number of light-weight target platforms. However, TOS has yet to make its way into industrial applications where real-time operation is required (which is typical to monitoring and control systems). As being designed primarily with simplicity in mind, the TOS execution model for tasks is non-preemptive, limiting system responsiveness and schedulability. To overcome this problem preemptive TOSThreads has been introduced. However, this introduces the additional complexity of traditional multi-thread programming, thus the main benefit of TOS is lost. In this paper we present an alternative execution model for TOS, that allows preemptive execution while preserving the simplicity of vintage TOS. We exemplify the impact of scheduling to a typical sensor/actuator node scenario. Our results indicate that the proposed preemptive execution model is capable of reducing both delay and drop rate for the given scenario.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2012
Serie
I E E E Industrial Electronics Society. Annual Conference. Proceedings, ISSN 1553-572X
Nationell ämneskategori
Inbäddad systemteknik Annan elektroteknik och elektronik
Forskningsämne
Inbyggda system; Industriell elektronik
Identifikatorer
urn:nbn:se:ltu:diva-37393 (URN)10.1109/IECON.2012.6389040 (DOI)2-s2.0-84872947441 (Scopus ID)b658115e-efbd-44b8-a1cd-58730328bf0a (Lokalt ID)9781467324212 (ISBN)b658115e-efbd-44b8-a1cd-58730328bf0a (Arkivnummer)b658115e-efbd-44b8-a1cd-58730328bf0a (OAI)
Konferens
Annual Conference of the IEEE Industrial Electronics Society : 25/10/2012 - 28/10/2012
Anmärkning
Godkänd; 2012; 20130208 (andbra)Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2018-07-10Bibliografiskt granskad
3. Real-Time Execution of Function Blocks for Internet of Things using the RTFM-kernel
Öppna denna publikation i ny flik eller fönster >>Real-Time Execution of Function Blocks for Internet of Things using the RTFM-kernel
Visa övriga...
2014 (Engelska)Ingår i: Proceedings of 2014 IEEE 19th International Conference on Emerging Technologies & Factory Automation (ETFA 2014): Barcelona, Spain, 16-19 Sept. 2014, Piscataway, NJ: IEEE Communications Society, 2014, s. 1-6, artikel-id 7005232Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Function Blocks provides a means to model andprogram industrial control systems. The recently acclaimed IEC61499 standard allows such system models to be partitioned andexecuted in a distributed fashion. At device level, such models aretraditionally implemented onto programmable logic controllersthat underneath have an operating system and a softwarerun-time environment which implies high resource demands.However, there is a current trend to involve small embeddedsystems (so called Internet of Things devices) integrated into suchdistributed control systems. To this end, we seek to address theoutsets for real-time execution of Function Block based designsonto light-weight controllers (MCUs) with limited resources(memory and CPU). Furthermore, we propose a mapping ofthe Function Block execution semantics onto the RTFM-kernel,and discuss opportunities for off-line (design time) analysis withrespect to response time, overall schedulability and memoryrequirements.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2014
Serie
IEEE Emerging Technology and Factory Automation (ETFA)
Nationell ämneskategori
Inbäddad systemteknik Datavetenskap (datalogi)
Forskningsämne
Inbyggda system; Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-37327 (URN)10.1109/ETFA.2014.7005232 (DOI)000360999100183 ()84946690253 (Scopus ID)b5049f49-ccc3-45ef-a526-27106a0f6a2d (Lokalt ID)978-1-61284-969-0 (ISBN)b5049f49-ccc3-45ef-a526-27106a0f6a2d (Arkivnummer)b5049f49-ccc3-45ef-a526-27106a0f6a2d (OAI)
Konferens
International Conference on Emerging Technologies & Factory Automation : 16/09/2014 - 19/09/2014
Anmärkning

Validerad; 2015; Nivå 1; 20141204 (maalin)

Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2018-05-29Bibliografiskt granskad
4. RTFM-4-FUN
Öppna denna publikation i ny flik eller fönster >>RTFM-4-FUN
Visa övriga...
2014 (Engelska)Ingår i: 2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014): Pisa, 18-20 June 2014, Piscataway, NJ: IEEE Communications Society, 2014Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Function Blocks provides a means to model andprogram industrial control systems. The recently acclaimed IEC61499 standard allows such system models to be partitioned andexecuted in a distributed fashion. At device level, such models aretraditionally implemented onto programmable logic controllersand industrial PCs. In this paper, we discuss work in progresson developing a mapping allowing to implement a subset of IEC61499 models onto light-weight embedded devices (MCUs). Wepropose and detail an event semantics, and its mapping to thenotions of tasks and resources for Stack Resource Policy basedanalysis and scheduling. Moreover, we show how the proposedmapping can be efficiently implemented under the RTFM-kernel.Finally we outline a prototype tool-chain and discuss related,ongoing and future work.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2014
Nationell ämneskategori
Inbäddad systemteknik Datavetenskap (datalogi)
Forskningsämne
Inbyggda system; Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-31695 (URN)10.1109/SIES.2014.7087453 (DOI)5f425bf0-2a15-489b-8321-1f032143a348 (Lokalt ID)5f425bf0-2a15-489b-8321-1f032143a348 (Arkivnummer)5f425bf0-2a15-489b-8321-1f032143a348 (OAI)
Konferens
IEEE International Symposium on Industrial Embedded Systems : 18/06/2014 - 20/06/2014
Anmärkning

Godkänd; 2014; 20141204 (maalin)

Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2019-02-27Bibliografiskt granskad
5. End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet
Öppna denna publikation i ny flik eller fönster >>End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet
Visa övriga...
2017 (Engelska)Ingår i: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, nr 1, s. 287-297Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

The IEC 61499 standard provides means to specify distributed control systems in terms of function blocks. For the deployment, each device may hold one or many logical resources, each consisting of a function block network with service interface blocks at the edges. The execution model is event driven (asynchronous), where triggering events may be associated with data (and seen as messages). In this paper, we propose a low complexity implementation technique allowing to assess end-to-end response times of event chains spanning over a set of networked devices. Based on a translation of IEC 61499 to RTFM1-tasks and resources, the response time for each task in the system at device-level can be derived using established scheduling techniques. In this paper, we develop a holistic method to provide safe end-to-end response times taking both intra- and inter-device delivery delays into account. The novelty of our approach is the accuracy of the system scheduling overhead characterization. While the device-level (RTFM) scheduling overhead was discussed in previous works, the network-level scheduling overhead for switched Ethernets is discussed in this paper. The approach is generally applicable to a wide range of COTS Ethernet switches without a need for expensive custom solutions to provide hard real-time performance. A behavior characterization of the utilized switch determines the guaranteed response times. As a use case, we study the implementation onto (single-core) ARMcortex based devices communicating over a switched Ethernet network. For the analysis, we define a generic switch model and an experimental setup allowing us to study the impact of network topology as well as 802.1Q quality of service in a mixed critical setting. Our results indicate that safe sub millisecond end-to-end response times can be obtained using the proposed approach.

Ort, förlag, år, upplaga, sidor
IEEE, 2017
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-60286 (URN)10.1109/TII.2016.2626463 (DOI)000395874400029 ()2-s2.0-85013444377 (Scopus ID)
Anmärkning

Validerad; 2017; Nivå 2; 2017-02-21 (rokbeg)

Tillgänglig från: 2016-11-10 Skapad: 2016-11-10 Senast uppdaterad: 2019-02-27Bibliografiskt granskad
6. Response Time for IEC 61499 over Ethernet
Öppna denna publikation i ny flik eller fönster >>Response Time for IEC 61499 over Ethernet
Visa övriga...
2015 (Engelska)Ingår i: IEEE International Conference on Industrial Informatics: INDIN 2015, Cambridge, UK, July 22-24, 2015. Proceedings, Piscataway, NJ: IEEE Communications Society, 2015, s. 1206-1212, artikel-id 7281907Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The IEC 61499 standard provides means to specify distributed control systems in terms of function blocks. For the deployment, each device may hold one or many logical resources, each consisting of a function block network with service interface blocks at the edges. The execution model is event driven (asynchronous), where triggering events may be associated with data (and seen as a message). In this paper we propose a low complexity implementation technique allowing to asses end-to-end response time of event chains spanning a networked devices. Based on a translation of IEC 61499 to RTFM-tasks and resources, the response time for each task in the system can be derived using established scheduling techniques. In this paper we develop a method to provide safe end-to-end response time taking both intra- and inter-device delivery delays into account. As a use case we study the implementation onto (single-core) ARMcortex based devices communicating over a switched Ethernet network. For the analysis we define a generic switch model, and an experimental setup allowing us to study the impact of network topology as well as 802.1Q quality of service in a mixed critical setting. Our results indicate that safe sub milli-second end-to-end response times can be obtained using the proposed approach.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2015
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-39547 (URN)10.1109/INDIN.2015.7281907 (DOI)2-s2.0-84949520365 (Scopus ID)e5b1a7a7-f812-4558-80e6-cece79f4c7f1 (Lokalt ID)9781479966493 (ISBN)e5b1a7a7-f812-4558-80e6-cece79f4c7f1 (Arkivnummer)e5b1a7a7-f812-4558-80e6-cece79f4c7f1 (OAI)
Konferens
IEEE International Conference on Industrial Informatics : 22/07/2015 - 24/07/2015
Anmärkning

Validerad; 2016; Nivå 1; 20150917 (maalin)

Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2018-07-10Bibliografiskt granskad
7. Scheduling of CRO systems under SPR-DM
Öppna denna publikation i ny flik eller fönster >>Scheduling of CRO systems under SPR-DM
Visa övriga...
2011 (Engelska)Konferensbidrag, Enbart muntlig presentation (Refereegranskat)
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-35388 (URN)9e7d8669-d562-48f9-8742-f972866fdfca (Lokalt ID)9e7d8669-d562-48f9-8742-f972866fdfca (Arkivnummer)9e7d8669-d562-48f9-8742-f972866fdfca (OAI)
Konferens
Real-Time in Sweden : 13/06/2011 - 14/06/2011
Anmärkning
Godkänd; 2011; 20111122 (ysko)Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2017-11-25Bibliografiskt granskad
8. Real-time for the masses: Step 1: programming API and static priority SRP kernel primitives
Öppna denna publikation i ny flik eller fönster >>Real-time for the masses: Step 1: programming API and static priority SRP kernel primitives
Visa övriga...
2013 (Engelska)Ingår i: 2013 8th IEEE International Symposium on Industrial and Embedded Systems (SIES 2013): 19-21 June 2013, Porto, Portugal, Piscataway, NJ: IEEE Communications Society, 2013, s. 110-113Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Lightweight Real-Time Operating Systems have gained widespread use in implementing embedded software on lightweight nodes. However, bare metal solutions are chosen, e.g., when the reactive (interrupt-driven) paradigm better matches the programmer’s intent, when the OS features are not needed, or when the OS overhead is deemed too large. Moreover, other approaches are used when real-time guarantees are required. Establishing real-time and resource guarantees typically requires expert knowledge in the field, as no turn-key solutions are available to the masses.In this paper we set out to bridge the gap between bare metal solutions and traditional Real-Time OS paradigms. Our goal is to meet the intuition of the programmer and at the same time provide a resource-efficient (w.r.t. CPU and memory) implementation with established properties, such as bounded memory usage and guaranteed response times. We outline a roadmap for Real-Time For the Masses (RTFM) and report on the first step: an intuitive, platform-independent programming API backed by an efficient Stack Resource Policy-based scheduler and a tool for kernel configuration and basic resource and timing analysis.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2013
Nyckelord
Information technology - Systems engineering, Informationsteknik - Systemteknik
Nationell ämneskategori
Inbäddad systemteknik Annan elektroteknik och elektronik
Forskningsämne
Inbyggda system; Industriell elektronik
Identifikatorer
urn:nbn:se:ltu:diva-32446 (URN)10.1109/SIES.2013.6601482 (DOI)2-s2.0-84885398239 (Scopus ID)6f199cd4-5aa4-4696-a750-baf5affeca89 (Lokalt ID)6f199cd4-5aa4-4696-a750-baf5affeca89 (Arkivnummer)6f199cd4-5aa4-4696-a750-baf5affeca89 (OAI)
Konferens
IEEE International Symposium on Industrial Embedded Systems : 19/06/2013 - 21/06/2013
Projekt
ESIS
Anmärkning
Godkänd; 2013; 20130701 (pln)Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2018-07-10Bibliografiskt granskad
9. SRP-DM scheduling of component-based embedded real-time software
Öppna denna publikation i ny flik eller fönster >>SRP-DM scheduling of component-based embedded real-time software
Visa övriga...
2011 (Engelska)Konferensbidrag, Enbart muntlig presentation (Refereegranskat)
Abstract [en]

Model and component based design is an established means for the development of large software systems, and is starting to get momentum in the realm of embedded software development. In case of safety critical (dependable systems) it is crucial that the underlying model and its realization captures the requirements on the timely behavior of the system, and that these requirements can be preserved and validated throughout the design process (from specification to actual code execution). To this end, we base the presented work on the notion of Concurrent Reactive Objects (CRO) and their abstraction into Reactive Components.In many cases, the execution platform puts firm resource limitations on available memory and speed of computations that must be taken into consideration for the validation of the system.In this paper, we focus on code synthesis from the model, and we show how specified timing requirements are preserved and translated into scheduling information. In particular, we present how ceiling levels for Stack Resources Policy (SRP) scheduling and analysis can be extracted from the model. Additionally, to support schedulability analysis, we detail algorithms that for a CRO model derives periods (minimum inter-arrival times) and offsets of tasks/jobs. Moreover, the design of a micro-kernel supporting cooperative hardware- and software-scheduling of CRO based systems under Deadline Monotonic SRP is presented.

Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-34558 (URN)8c7a9196-a0ce-4944-83da-07d3add16d5f (Lokalt ID)8c7a9196-a0ce-4944-83da-07d3add16d5f (Arkivnummer)8c7a9196-a0ce-4944-83da-07d3add16d5f (OAI)
Konferens
International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011
Anmärkning
Godkänd; 2011; 20111215 (andbra)Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2017-11-25Bibliografiskt granskad
10. Uniform scheduling of internal and external events under SRP-EDF
Öppna denna publikation i ny flik eller fönster >>Uniform scheduling of internal and external events under SRP-EDF
2010 (Engelska)Ingår i: Annual International Conference on Real-Time and Embedded Systems ( RTES 2010): 1-2 November 2010, Mandarin Orchard Hotel, Singapore, 2010Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

With the growing complexity of modern embedded real-time systems, scheduling and managing of resources has become a daunting task. While scheduling and resource management for internal events can be simplified by adopting a commonplace real-time operating system (RTOS), scheduling and resource management for external events are left in the hands of the programmer, not to mention managing resources across the boundaries of external and internal events. In this paper we propose a unified system view incorporating earliest deadline first (EDF) for scheduling and stack resource policy (SRP) for resource management. From an embedded real-time system view, EDF+SRP is attractive not only because stack usage can be minimized, but also because the cost of a pre-emption becomes almost as cheap as a regular function call, and the number of preemptions is kept to a minimum. SRP+EDF also lifts the burden of manual resource management from the programmer and incorporates it into the scheduler. Furthermore, we show the efficiency of the SRP+EDF scheme, the intuitiveness of the programming model (in terms of reactive programming), and the simplicity of the implementation.

Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-39049 (URN)da3eacd0-f727-11df-8b95-000ea68e967b (Lokalt ID)da3eacd0-f727-11df-8b95-000ea68e967b (Arkivnummer)da3eacd0-f727-11df-8b95-000ea68e967b (OAI)
Konferens
International Conference on Real-Time and Embedded Systems : 01/11/2010 - 02/11/2010
Anmärkning
Godkänd; 2010; 20101123 (simait)Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2017-11-25Bibliografiskt granskad

Open Access i DiVA

fulltext(19279 kB)698 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 19279 kBChecksumma SHA-512
319b4244946a96fd8cecac8a6cb9d1bedf5bf91e2282e5bab229f1ad75fb70e8482695beb8d6e23bc90e5ea0411102cc37ef11afda5639bb6ad39945b03dd43f
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Eriksson, Johan
Av organisationen
EISLAB
DatorsystemInbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 698 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 1632 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf