Formal analysis of the time behaviour of network-based automation systems.

MaRDI QIDQ5433286zbMATH OpenFDO

Authors Jürgen Greifeneder

Publication date 8 January 2008

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-6835-0

zbMATH Keywords

distributed real-time systemsprobabilistic model checking

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed systems (68M14) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems
• Model checking for probabilistic timed automata
• Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
• Evaluation of time performances of Ethernet-based automation systems by simulation of high-level Petri nets.

Cited in

(4)

• Evaluation of time performances of Ethernet-based automation systems by simulation of high-level Petri nets.
• Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems
• Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra

Describes a project that uses

Uses Software

• VESTA

This page was built for publication: Formal analysis of the time behaviour of network-based automation systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5433286)