Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:22195548 > A Real-Time Semanti...

A Real-Time Semantics for the IEC 61499 standard [Elektronisk resurs]

Lindgren, Per (författare)
IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015 
Lindner, Marcus (författare)
Lindner, Andreas (författare)
Vyatkin, Valeriy (författare)
Pereira, David J. (författare)
Pinho, Luis Miguel (författare)
Luleå tekniska universitet Institutionen för system- och rymdteknik (utgivare)
Luleå tekniska universitet Institutionen för system- och rymdteknik (utgivare)
Piscataway, NJ IEEE Communications Society 2015
Engelska.
Serie: I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings 1946-0740
Ingår i: Proceedings of 2015 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2015). - 9781467379298
Läs hela texten
Läs hela texten
Läs hela texten
  • E-bok
Sammanfattning Ämnesord
Stäng  
  • 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. 

Ämnesord

Engineering and Technology  (hsv)
Electrical Engineering, Electronic Engineering, Information Engineering  (hsv)
Embedded Systems  (hsv)
Teknik och teknologier  (hsv)
Elektroteknik och elektronik  (hsv)
Inbäddad systemteknik  (hsv)
Natural Sciences  (hsv)
Computer and Information Science  (hsv)
Computer Science  (hsv)
Naturvetenskap  (hsv)
Data- och informationsvetenskap  (hsv)
Datavetenskap (datalogi)  (hsv)
Inbyggda system  (ltu)
Embedded System  (ltu)
Dependable Communication and Computation Systems  (ltu)
Kommunikations- och beräkningssystem  (ltu)
Inställningar Hjälp

Uppgift om bibliotek saknas i LIBRIS

Kontakta ditt bibliotek, eller sök utanför LIBRIS. Se högermenyn.

Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy