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

Direktlänk
BETA
Publikationer (10 of 12) Visa alla publikationer
Lindgren, P., Eriksson, J., Lindner, M., Lindner, A., Pereira, D. & Pinho, L. M. (2017). End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet. IEEE Transactions on Industrial Informatics, 13(1), 287-297
Ö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
Lindgren, P., Fresk, E., Lindner, M., Lindner, A., Pereira, D. J. & Pinho, L. M. (2016). Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs (ed.). Paper presented at Embedded Systems Week 2015 : 04/10/2015 - 09/10/2015. SIGBED Review, 13(1)
Öppna denna publikation i ny flik eller fönster >>Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
Visa övriga...
2016 (Engelska)Ingår i: SIGBED Review, E-ISSN 1551-3688, Vol. 13, nr 1Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Real-Time For the Masses (RTFM) is a set of languages andtools being developed to facilitate embedded software developmentand provide highly ecient implementations gearedto static verication. The RTFM-kernel is an architecturedesigned to provide highly ecient and predicable Stack ResourcePolicy based scheduling, targeting bare metal (singlecore)platforms.We contribute by introducing a platform independent timerabstraction that relies on existing RTFM-kernel primitives.We develop two alternative implementations for the ARMCortex-M family of MCUs: a generic implementation, usingthe ARM dened SysTick/DWT hardware; and a targetspecic implementation, using the match compare/free runningtimers. While sacricing generality, the latter is moreexible and may reduce overall overhead. Invariants for correctnessare presented, and methods to static and run-timeverication are discussed. Overhead is bound and characterized.In both cases the critical section from release timeto dispatch is less than 2us on a 100MHz MCU. Queue andtimer mechanisms are directly implemented in the RTFMcorelanguage (-core in the following) and can be includedin system-wide scheduling analysis.

Ort, förlag, år, upplaga, sidor
Association for Computing Machinery (ACM), 2016
Nationell ämneskategori
Inbäddad systemteknik Reglerteknik
Forskningsämne
Inbyggda system; Reglerteknik
Identifikatorer
urn:nbn:se:ltu:diva-39517 (URN)10.1145/2907972.2907979 (DOI)e4d7eb1b-7017-41d4-860e-3fba546502ca (Lokalt ID)e4d7eb1b-7017-41d4-860e-3fba546502ca (Arkivnummer)e4d7eb1b-7017-41d4-860e-3fba546502ca (OAI)
Konferens
Embedded Systems Week 2015 : 04/10/2015 - 09/10/2015
Anmärkning

Godkänd;2016;20151216 (maalin);Konferensartikel i tidskrift;Bibliografisk uppgift: Special Issue on 5th Embedded Operating Systems Workshop (EWiLi 2015)

Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2020-01-28Bibliografiskt granskad
Lindner, M., Lindner, A. & Lindgren, P. (2016). RTFM-core: course in compiler construction. The SIGBED Review, 14(1), 29-36
Öppna denna publikation i ny flik eller fönster >>RTFM-core: course in compiler construction
2016 (Engelska)Ingår i: The SIGBED Review, ISSN 1551-3688, Vol. 14, nr 1, s. 29-36Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

The course in Compiler Construction is part of the Computer Science masters program at Luleå University of Technology (LTU). Since the fall of 2014, the course is given by the Embedded Systems group. This paper outlines the course syllabus and its relation to CPS/IoT and embedded systems in general. In particular, the course introduces domain specific language design with the outset from the imperative RTFM-core language. Students are exposed to design choices for the language, spanning from programming model, compiler design issues, back-end tools, and even runtime environments. The intention is to give a holistic perspective and motivate the use of compilation techniques towards robust, efficient, and verifiable (embedded) software. Of course, developing basic skills is not overlooked and as part of the laboratory assignments, students extend the min-imalistic Object Oriented language RTFM-cOOre and develop the compiler accordingly targeting the RTFM-core language as an intermediate representation. As the RTFM-core/-cOOre compilers are implemented using OCaml/Men-hir, the students are also exposed to functional languages and to their advantages in the context of compiler construction. However, for their own development they may choose alternative design tools and languages. This gives us the opportunity to review and correlate achievements and efficiency to the choice of tools and languages and it is an outset for future course development.

Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-61641 (URN)10.1145/3036686.3036690 (DOI)
Tillgänglig från: 2017-01-26 Skapad: 2017-01-26 Senast uppdaterad: 2019-02-27Bibliografiskt granskad
Lindner, M., Lindner, A. & Lindgren, P. (2016). Safe tasks: run time verification of the RTFM-lang model of computation. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA): Berlin, 6-9 Sept. 2016. Paper presented at 21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, 6-9 Sept 2016. Piscataway, NJ: IEEE conference proceedings, Article ID 7733550.
Öppna denna publikation i ny flik eller fönster >>Safe tasks: run time verification of the RTFM-lang model of computation
2016 (Engelska)Ingår i: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA): Berlin, 6-9 Sept. 2016, Piscataway, NJ: IEEE conference proceedings, 2016, artikel-id 7733550Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Embedded systems for critical applications are typicallyspecified with requirements on predictable timing andsafety. While ensuring predictable timing, the RTFM-lang (Real-Time For the Masses) model of computation (MoC) currentlylacks memory access protection among real-time tasks. In thispaper, we discuss how to safely verify task execution given aspecification using the RTFM-MoC. Furthermore, an extensionto the RTFM-core infrastructure is outlined and tested with usecases of embedded development. We propose a method for runtime verification exploiting memory protection hardware. Forthis purpose, we introduce memory resources to the declarativelanguage RTFM-core allowing compliance checks. As a proofof concept, compiler support for model analysis and automaticgeneration of run time verification code is implemented togetherwith an isolation layer for the RTFM-kernel. With this verificationfoundation, functional run time checks as well as furtheroverhead assessments are future research questions.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE conference proceedings, 2016
Serie
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-59755 (URN)10.1109/ETFA.2016.7733550 (DOI)000389524200057 ()2-s2.0-84996551916 (Scopus ID)978-1-5090-1314-2 (ISBN)978-1-5090-1313-5 (ISBN)
Konferens
21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, 6-9 Sept 2016
Tillgänglig från: 2016-10-14 Skapad: 2016-10-14 Senast uppdaterad: 2019-02-27Bibliografiskt granskad
Lindgren, P., Lindner, M., Lindner, A., Vyatkin, V., Pereira, D. J. & Pinho, L. M. (2015). A Real-Time Semantics for the IEC 61499 standard (ed.). In: (Ed.), (Ed.), Proceedings of 2015 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2015): Luxembourg, 8-11 Sept. 2015. Paper presented at IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015. Piscataway, NJ: IEEE Communications Society, Article ID 7301558.
Öppna denna publikation i ny flik eller fönster >>A Real-Time Semantics for the IEC 61499 standard
Visa övriga...
2015 (Engelska)Ingår i: Proceedings of 2015 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2015): Luxembourg, 8-11 Sept. 2015, Piscataway, NJ: IEEE Communications Society, 2015, artikel-id 7301558Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The IEC 61499 standard provides an executable model for distributed control systems in terms of interacting function blocks. However, the current IEC 61499 standard lacks appropriate timing semantics for the specification of timing requirements, reasoning on timing properties at the model level, and for the timing verification of a specific deployment. In this paper we address this fundamental shortcoming by proposing Real-Time-4-FUN, a real-time semantics for IEC 61499. The key property is the preservation of non-determinism, allowing us to reason on (and verify) timing properties at the model level without assuming any specific scheduling policy or stipulating specific order of execution for the deployment. This provides for a clear separation of concerns, where the designer can focus on properties of the application prior to, and separately from, deployment verification. The proposed timing semantics is backwards compatible to the current standard, thus allow for reuse of existing designs. The transitional property allows timing requirements to propagate to downstream sub-systems, and can be utilized for scheduling both at device and network level. Based on a translation to RTFM-tasks and resources, IEC 61499 the models can be analyzed, compiled and executed. As a proof of concept the timing semantics has been experimentally implemented in the RTFM-core language and the accompanying (thread based) RTFM-RT run-time system.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2015
Serie
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
Nationell ämneskategori
Inbäddad systemteknik Datavetenskap (datalogi)
Forskningsämne
Inbyggda system; Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-36915 (URN)10.1109/ETFA.2015.7301558 (DOI)2-s2.0-84952918103 (Scopus ID)abd06064-cd7b-4d30-8ca2-a6eed13cec5b (Lokalt ID)978-1-4673-7929-8 (ISBN)abd06064-cd7b-4d30-8ca2-a6eed13cec5b (Arkivnummer)abd06064-cd7b-4d30-8ca2-a6eed13cec5b (OAI)
Konferens
IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015
Anmärkning
Validerad; 2016; Nivå 1; 20150917 (maalin)Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2019-02-27Bibliografiskt granskad
Lindgren, P., Eriksson, J., Lindner, M., Lindner, A., Pereira, D. J. & Pinho, L. M. (2015). Response Time for IEC 61499 over Ethernet (ed.). In: (Ed.), IEEE International Conference on Industrial Informatics: INDIN 2015, Cambridge, UK, July 22-24, 2015. Proceedings. Paper presented at IEEE International Conference on Industrial Informatics : 22/07/2015 - 24/07/2015 (pp. 1206-1212). Piscataway, NJ: IEEE Communications Society, Article ID 7281907.
Ö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
Lindgren, P., Lindner, M., Lindner, A., Pereira, D. J. & Pinho, L. M. (2015). RTFM-core: Language and Implementation (ed.). In: (Ed.), (Ed.), 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA): Auckland, 15-17 June 2015. Paper presented at IEEE Conference on Industrial Electronics and Applications : 15/06/2015 - 17/06/2015 (pp. 990-995). Piscataway, NJ: IEEE Communications Society, Article ID 7334252.
Öppna denna publikation i ny flik eller fönster >>RTFM-core: Language and Implementation
Visa övriga...
2015 (Engelska)Ingår i: 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA): Auckland, 15-17 June 2015, Piscataway, NJ: IEEE Communications Society, 2015, s. 990-995, artikel-id 7334252Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Robustness, real-time properties and resource efficiency are key properties to embedded devices of the CPS/IoT era. In this paper we propose a language approach RTFMcore, and show its potential to facilitate the development process and provide highly efficient and statically verifiable implementations. Our programming model is reactive, based on the familiar notions of concurrent tasks and (single-unit) resources. The language is kept minimalistic, capturing the static task, communication and resource structure of the system. Whereas C-source can be arbitrarily embedded in the model, and/or externally referenced, the instep to mainstream development is minimal, and a smooth transition of legacy code is possible. A prototype compiler implementation for RTFM-core is presented. The compiler generates C-code output that compiled together withtheRTFM-kernelprimitivesrunsonbaremetal.TheRTFMkernel guarantees deadlock-lock free execution and efficiently exploits the underlying interrupt hardware for static priority scheduling and resource management under the Stack Resource Policy. This allows a plethora of well-known methods to static verification (response time analysis, stack memory analysis, etc.) to be readily applied. The proposed language and supporting tool-chain is demonstrated by showing the complete process from RTFM-core source code into bare metal executables for a lightweight ARM-Cortex M3 target.

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-39731 (URN)10.1109/ICIEA.2015.7334252 (DOI)2-s2.0-84960919182 (Scopus ID)e965493c-10db-44b6-9031-ca7acaf56f68 (Lokalt ID)978-1-4799-8389-6 (ISBN)e965493c-10db-44b6-9031-ca7acaf56f68 (Arkivnummer)e965493c-10db-44b6-9031-ca7acaf56f68 (OAI)
Konferens
IEEE Conference on Industrial Electronics and Applications : 15/06/2015 - 17/06/2015
Anmärkning
Validerad; 2016; Nivå 1; 20150916 (maalin)Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2019-02-27Bibliografiskt granskad
Lindner, A., Lindner, M. & Lindgren, P. (2015). RTFM-RT: a threaded runtime for RTFM-core towards execution of IEC 61499 (ed.). In: (Ed.), (Ed.), Proceedings of 2015 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2015): Luxembourg, 8-11 Sept. 2015. Paper presented at IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015. Piscataway, NJ: IEEE Communications Society, Article ID 7301501.
Öppna denna publikation i ny flik eller fönster >>RTFM-RT: a threaded runtime for RTFM-core towards execution of IEC 61499
2015 (Engelska)Ingår i: Proceedings of 2015 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2015): Luxembourg, 8-11 Sept. 2015, Piscataway, NJ: IEEE Communications Society, 2015, artikel-id 7301501Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The IEC 61449 standard provides an outset for designing and deploying distributed control systems. Recently, a mapping from IEC 61499 to the RTFM-kernel API has been presented. This allows predictable real-time execution of IEC 61499 applications on light-weight single-core platforms. However, integrating the RTFM-kernel (bare-metal runtime) into potential deployments requires developing device drivers, protocol stacks, and the like. For this presentation, we apply the mapping from IEC 61499 to the RTFM-MoC task and resource modelimplementedbytheRTFM-corelanguage.Thecompilation from RTFM-core can be targeted to both, RTFM-kernel and the introduced runtime system RTFM-RT. In this paper, we detail thegenericRTFM-RTruntimearchitecture,whichallowsRTFMcore programs to be executed on top of thread based environments. Furthermore, we discuss our implementation regarding scheduling specifics of Win32 threads (Windows) and Pthreads (Linux and Mac OS X). Using our RTFM-RT implementation for deployment,predictableIEC61499executiontogetherwithaccess to abovementioned operating system functions are achieved. For further developments, we discuss the needed scheduling options to achieve hard real-time and analysis required to eliminate deadlocks.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2015
Serie
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-28357 (URN)10.1109/ETFA.2015.7301501 (DOI)84952886083 (Scopus ID)221993dc-626e-4af8-a3b6-f401521965a9 (Lokalt ID)978-1-4673-7929-8 (ISBN)221993dc-626e-4af8-a3b6-f401521965a9 (Arkivnummer)221993dc-626e-4af8-a3b6-f401521965a9 (OAI)
Konferens
IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015
Anmärkning
Validerad; 2016; Nivå 1; 20150917 (maalin)Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2019-02-27Bibliografiskt granskad
Lindgren, P., Lindner, M., Lindner, A., Pereira, D. J. & Pinho, L. M. (2015). Well formed Control-flow for Critical Sections in RTFM-core (ed.). In: (Ed.), (Ed.), IEEE International Conference on Industrial Informatics: INDIN 2015, Cambridge, UK, July 22-24, 2015. Proceedings. Paper presented at IEEE International Conference on Industrial Informatics : 22/07/2015 - 24/07/2015 (pp. 1438-1445). Piscataway, NJ: IEEE Communications Society, Article ID 7281944.
Öppna denna publikation i ny flik eller fönster >>Well formed Control-flow for Critical Sections in RTFM-core
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. 1438-1445, artikel-id 7281944Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The mainstream of embedded software development as of today is dominated by C programming. To aid the development, hardware abstractions, libraries, kernels and lightweight operating systems are commonplace. Such kernels and operating systems typically impose a thread based abstraction to concurrency. However, in general thread based programming is hard, plagued by hazards of race conditions and dead-locks. For this paper we take an alternative outset in terms of a language abstraction, RTFM-core, where the system is modelled directly in terms of tasks and resources. In compliance to the Stack Resource Policy (SRP) model, the language enforces (well formed) LIFO nesting of claimed resources, thus SRP based analysis and scheduling can be readily applied. For the execution onto bare-metal single core architectures, the rtfm-core compiler performs SRP analysis on the model, and render an executable that is deadlock free and (through RTFM-kernel primitives) exploits the underlying interrupt hardware for efficient scheduling. The RTFM-core language embeds C-code and links to C-object files and libraries, and is thus applicable to the mainstream of embedded development. However, while the language enforces well formed resource management, control flow in the embedded C-code may violate the LIFO nesting requirement, thus correctness is left with the programmer to ensure well formed nesting (through restricted control flow). In this paper we address this issue by lifting a subset of C into the RTFM-core language allowing arbitrary control flow at the model level. In this way well formed LIFO nesting can be enforced, and models ensured to be correct by construction. We demonstrate the feasibility trough a prototype implementation in the rtfm-core compiler. Additionally, we develop a set of running examples, and show in detail how control flow is handled at compile time and during run-time execution.

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-39799 (URN)10.1109/INDIN.2015.7281944 (DOI)2-s2.0-84949489320 (Scopus ID)eae53a46-72bd-4b6e-a12a-d656a1b025b8 (Lokalt ID)9781479966493 (ISBN)eae53a46-72bd-4b6e-a12a-d656a1b025b8 (Arkivnummer)eae53a46-72bd-4b6e-a12a-d656a1b025b8 (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
Lindgren, P., Lindner, M., Lindner, A., Eriksson, J. & Vyatkin, V. (2014). Real-Time Execution of Function Blocks for Internet of Things using the RTFM-kernel (ed.). In: (Ed.), Proceedings of 2014 IEEE 19th International Conference on Emerging Technologies & Factory Automation (ETFA 2014): Barcelona, Spain, 16-19 Sept. 2014. Paper presented at International Conference on Emerging Technologies & Factory Automation : 16/09/2014 - 19/09/2014 (pp. 1-6). Piscataway, NJ: IEEE Communications Society, Article ID 7005232.
Ö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
Organisationer
Identifikatorer
ORCID-id: ORCID iD iconorcid.org/0000-0001-5311-1781

Sök vidare i DiVA

Visa alla publikationer