Sökning: onr:"swepub:oai:DiVA.org:ltu-28192" >
Formal description ...
Formal description of an IEC 61499 runtime environment with real-time constraints
-
- Sünder, Christoph (författare)
- Vienna University of Technology, Automation and Control Institute (ACIN)
-
- Rofner, Hermann (författare)
- Vienna University of Technology, Automation and Control Institute (ACIN)
-
Vyatkin, Valeriy (författare)
-
visa fler...
-
- Favre-Bulle, Bernard (författare)
- Vienna University of Technology, Automation and Control Institute (ACIN)
-
visa färre...
-
(creator_code:org_t)
- Piscataway, NJ : IEEE Communications Society, 2007
- 2007
- Engelska.
-
Ingår i: INDIN 2007. - Piscataway, NJ : IEEE Communications Society. ; , s. 853-859
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- This paper investigates on the introduction of the runtime behavior and real-time constraints into the verification process of IEC 61499 based automation systems. In detail, the event propagation policies as well as the necessary execution time for all actions within the automation system need to be described for a complete model of the automation system. The basis of the formal description provides an analytic methodology for the event propagation policy of an IEC 61499 runtime implementation. By use of this methodology within the formal model of the runtime environment, the overall system behavior can be described also in the case of reactive systems properties
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)