TY - GEN
T1 - Modeling of networked automation systems for simulation and model checking of time behavior
AU - Vogel-Heuser, Birgit
AU - Folmer, Jens
AU - Frey, Georg
AU - Liu, Liu
AU - Hermanns, Holger
AU - Hartmanns, Arnd
PY - 2012
Y1 - 2012
N2 - In terms of fulfilling the customers' needs, Networked Automation Systems (NAS) have gained increasing significance in various industries, e.g. machine and plant automation over the past years. The advantages of NAS lie in enhanced dependability, flexibility and configurability, thereby overcoming various shortcomings of centralized automation systems. Besides, verification of the time behavior of NAS is still a challenge for engineers. There is a lack in an appropriate modeling notation for automation engineers as well in tool support to estimate or even verify the time behavior. This paper presents a method for modeling real-time requirements and properties of NAS and a concept for its combination with NAS simulation and mechanized verification. This enables the comparison of different architectures regarding their time behavior.
AB - In terms of fulfilling the customers' needs, Networked Automation Systems (NAS) have gained increasing significance in various industries, e.g. machine and plant automation over the past years. The advantages of NAS lie in enhanced dependability, flexibility and configurability, thereby overcoming various shortcomings of centralized automation systems. Besides, verification of the time behavior of NAS is still a challenge for engineers. There is a lack in an appropriate modeling notation for automation engineers as well in tool support to estimate or even verify the time behavior. This paper presents a method for modeling real-time requirements and properties of NAS and a concept for its combination with NAS simulation and mechanized verification. This enables the comparison of different architectures regarding their time behavior.
KW - Model-Checking
KW - Network Modeling
KW - Networked Automation System
KW - Performance Analysis
UR - http://www.scopus.com/inward/record.url?scp=84861628784&partnerID=8YFLogxK
U2 - 10.1109/SSD.2012.6197943
DO - 10.1109/SSD.2012.6197943
M3 - Conference contribution
AN - SCOPUS:84861628784
SN - 9781467315906
T3 - International Multi-Conference on Systems, Signals and Devices, SSD 2012 - Summary Proceedings
BT - International Multi-Conference on Systems, Signals and Devices, SSD 2012 - Summary Proceedings
T2 - 9th International Multi-Conference on Systems, Signals and Devices, SSD 2012
Y2 - 20 March 2012 through 23 March 2012
ER -