WFRF:(Åkesson Knut 1972)
Search: WFRF:(Åkesson Knut 1972) > Definition of the E...
- 10 of 133
- Previous record
- Next record
- To hitlist
- Cengic, Goran,1978Chalmers tekniska högskola,Chalmers University of Technology (author)
Definition of the Execution Model Used in the Fuber IEC 61499 Runtime Environment
- Article/chapterEnglish2008
Publisher, publication year, extent ...
- 2008
Numbers
- LIBRIS-ID:oai:research.chalmers.se:92ae57c1-09af-49e4-85bd-4fdcb806272f
- https://research.chalmers.se/publication/81334URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- The buffered sequential execution model (BSEM) for IEC 61499 function block applications is presented. Before the execution of the application the composite function blocks are flattened. The resulting application containing the basic and service interface function blocks is executed. The basic function blocks are put in the ready queue in the same order that they receive the input events, hence the word ldquosequentialrdquo in the name. Each basic function block keeps a queue of incoming events with their associated data, hence the word ldquobufferedrdquo in the name. Scheduling policy of the blocks is in the scheduling function while the execution policy of the received events is in the function block instance. The extended finite automata models suitable for formal verification of the proposed execution modelpsilas behavior are presented. The model may be analyzed using a discrete event systems tool called Supremica. The presented execution model is implemented in the Fuber runtime environment.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap Programvaruteknik hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Software Engineering hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Systemvetenskap, informationssystem och informatik hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Information Systems hsv//eng
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Reglerteknik hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Control Engineering hsv//eng
- Formal verification
- Scheduling policy
- Buffered Sequential Execution Model
- Extended Finite Automata
- Discrete event systems
Added entries (persons, corporate bodies, meetings, titles ...)
- Åkesson, Knut,1972Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)knut (author)
- Chalmers tekniska högskola (creator_code:org_t)
Related titles
- In:Proceedings of the 6th IEEE International Conference on Industrial Informatics, s. 301-3061935-4576
Internet link
Find in a library
- Proceedings of the 6th IEEE International Conference on Industrial Informatics (Search for host publication in LIBRIS)
To the university's database
- 10 of 133
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Cengic, Goran, 1 ...
- Åkesson, Knut, 1 ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Software Enginee ...
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Information Syst ...
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Control Engineer ...
- Articles in the publication
- Proceedings of t ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
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 - National Library Systems
- LIBRIS.kb.se
