SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:research.chalmers.se:92ae57c1-09af-49e4-85bd-4fdcb806272f"
 

Search: onr:"swepub:oai:research.chalmers.se:92ae57c1-09af-49e4-85bd-4fdcb806272f" > Definition of the E...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Definition of the Execution Model Used in the Fuber IEC 61499 Runtime Environment

Cengic, Goran, 1978 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Åkesson, Knut, 1972 (author)
Chalmers tekniska högskola,Chalmers University of Technology
 (creator_code:org_t)
2008
2008
English.
In: Proceedings of the 6th IEEE International Conference on Industrial Informatics. - 1935-4576. ; , s. 301-306
  • Journal article (peer-reviewed)
Abstract Subject headings
Close  
  • 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

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)

Keyword

Formal verification
Scheduling policy
Buffered Sequential Execution Model
Extended Finite Automata
Discrete event systems

Publication and Content Type

art (subject category)
ref (subject category)

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Search outside SwePub

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.

 
pil uppåt Close

Copy and save the link in order to return to this view