Performance analysis of industrial ethernet networks by means of timed model-checking

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 12, Issue PART 1, 2006, Pages

  Witsch, Daniel ^a   Vogel Heuser, Birgit ^b   Faure, Jean Marc ^c   Marsal, Gaëlle ^c  

^a UNIVERSITY OF WUPPERTAL   (Germany)

^b UNIVERSITY OF KASSEL   (Germany)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Ethernet; Formal verification; Queuing network models; Real time communication

Indexed keywords

ANALYSIS APPROACH; COMMUNICATION TECHNOLOGIES; DETERMINISTIC BEHAVIOR; ETHERNET NETWORKS; FORMAL VERIFICATIONS; INDUSTRIAL CONTROL APPLICATIONS; INDUSTRIAL ETHERNETS; MANUFACTURING AUTOMATION; MODEL CHECKER; PERFORMANCE ANALYSIS; PROBABILISTIC MODELS; QUEUING NETWORK MODEL; REAL-TIME COMMUNICATION; REAL-TIME ETHERNET NETWORKS; STATE-SPACE EXPLOSION;

ETHERNET; ETHERS; INDUSTRY; MANUFACTURE; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS;

MODEL CHECKING;

EID: 79961183548     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Alur, R., D.L. Dill (1990). Automata for modeling real-time systems. In: Proc. of Int. Colloquium on Algorithms, Languages, and Programming, volume 443 of LNCS, pages 322-335.
2. Behrmann, G., A. David and K.G. Larsen (2004). A Tutorial on Uppaal, Department of Computer Science, Aalborg University, Denmark.
3. th IFAC World Congress, July 2005, Prague, Czechia.
4. Giese, H., M. Tichy, S. Burmester, W. Schäfer and S. Flake (2003). Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of ESEC/FSE'03, September 1-5, 2003, Helsinki, Finland, ACM Press, New York, NY, USA.
5. Hendriks, M., K.G. Larsen (2002). Exact acceleration of real-time model checking. In Theory and Practice of Timed Systems, volume 65 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, Oxford, England.
6. Jasperneite, J. (2002). Performance Evaluation of a Class-of-service based Local Area Network for using at the Field device level. Dissertation, IFAK Magdeburg, Germany, Shaker, Aachen, Germany, ISBN 3-8322-0832-1.
7. Jasperneite, J. (2004): How to guarantee realtime behavior using Ehernet. In: Proc. of 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'2004), 5 - 7 April 2004, Salvador-Bahia, Brazil.
8. Lo Bello, L., O. Mirabella (2001). Design Issues for Ethernet in Automation. In: Proc. of ETFA'2001, 8th IEEE International Conference on Emerging Technologies and Factory Automation, Antibes Juan-Les-Pins, France.
9. Möller, M.O. (2002). Structure and Hierarchy in Real-Time Systems, Dissertation at the University of Aarhus, Denmark.
10. Poulard, G., B. Denis, J.M. Faure. (2004) Modélisation par réseau de Petri coloré des architectures de commande distribuées sur réseau de terrain Ethernet et TCP/IP. 5ème Conférence francophone de MOdélisation et SIMulation, MOSIM04, Nantes (France), pp. 405-412.
11. Schneider Electric (2004). Telemechanique: Automation and control, Ethernet TCP/IP and Web technologies Catalogue. Schneider Doc. No. MKTED204073EN.