A hierarchical domain model for safety-critical cyber-physical systems in process automation

Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015

Volumn , Issue , 2015, Pages 430-436

  Kuschnerus, Dirk ^a   Bilgic, Attila ^b   Bruns, Felix ^b   Musch, Thomas ^a  

^a RUHR UNIVERSITY BOCHUM   (Germany)

^b KROHNE MESSTECHNIK GMBH   (Germany)

Author keywords

Actuators; Automata; Automation; Process control; Safety; Semantics

Indexed keywords

ACTUATORS; AUTOMATION; EMBEDDED SYSTEMS; HIERARCHICAL SYSTEMS; INDUSTRIAL RESEARCH; INFORMATION SCIENCE; PROCESS CONTROL; SAFETY ENGINEERING; SEMANTICS;

AUTOMATA; AUTONOMOUS RECONFIGURATION; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); FOCUS OF RESEARCHES; HIERARCHICAL DOMAINS; INDUSTRIAL PROCESSS; PROCESS AUTOMATION;

ACCIDENT PREVENTION;

EID: 84949486952     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2015.7281773     Document Type: Conference Paper

References (26)

1. E. A. Lee, "Cyber physical systems: Design challenges, " University of California at Berkeley, Berkeley, USA, Tech. Rep. UCB/EECS-2008-8, Jan 2008.
2. P. Derler, E. Lee, and A.-S. Vincentelli, "Modeling cyber-physical systems, " Proc. IEEE, vol. 100, no. 1, pp. 13-28, 2012.
3. R. Rajkumar, I. Lee, L. Sha, and J. Stankovic, "Cyber-physical systems: The next computing revolution, " in Proc. DAC 2010, Jun 2010, pp. 731-736.
4. A. Colombo et al., Industrial Cloud-Based Cyber-Physical Systems: The IMC-AESOP Approach. Springer, 2014.
5. Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC Std. 61 508, 2010.
6. K. Petersen, R. Feldt, S. Mujtaba, and M. Mattsson, "Systematic mapping studies in software engineering, " in Proc. EASE'08, Bari, Italy, Jun 2008, pp. 68-77.
7. S. Khaitan and J. McCalley, "Design techniques and applications of cyberphysical systems: A survey, " IEEE Systems Journal.
8. B. Kitchenham and S. Charters, "Guidelines for performing systematic literature reviews in software engineering, " Keele Univ., Keele, UK, Tech. Rep. EBSE-2007-01, Jul 2007.
9. B. Genge and C. Siaterlis, "Physical process resilience-aware network design for SCADA systems, " Computers & Electrical Engineering, vol. 40, no. 1, pp. 142-157, 2014.
10. N. Saeedloei and G. Gupta, "A logic-based modeling and verification of CPS, " SIGBED Rev., vol. 8, no. 2, pp. 31-34, 2011.
11. C. Schwarz, "Modelling a real-time control system using parameterized linear hybrid automata, " in Informatik 2011, Bonn, Germany, Oct 2011, pp. 328-328.
12. E. Eyisi et al., "Model-based control design and integration of cyberphysical systems: An adaptive cruise control case study, " Control Sci. And Eng., vol. 2013, p. 15, Jan 2013.
13. J. Sztipanovits et al., "Toward a science of cyber-physical system integration, " Proc. IEEE, vol. 100, no. 1, pp. 29-44, Jan 2012.
14. J. Sztipanovits et al., "OpenMETA: A model-and component-based design tool chain for cyber-physical systems, " in LNCS. Berlin Heidelberg: Springer-Verlag, 2014, vol. 8415.
15. B. Selic and S. Gerard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Boston: Morgan Kaufmann, 2014, ch. 8, pp. 165-179.
16. F. Slomka, S. Kollmann, S. Moser, and K. Kempf, "A multidisciplinary design methodology for cyber-physical systems, " in Proc. ACESMB 2011, Wellington, New Zealand, Oct 2011, pp. 23-37.
17. S. Gujrati, "Models and algorithms for cyber-physical systems, " Ph. D. dissertation, Kansas State Univ., Dec 2013.
18. A. Banerjee, "Model based safety analysis and verification of cyberphysical systems, " Ph. D. dissertation, Arizona State Univ., Dec 2012.
19. L. Besnard et al., "Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using polychrony, " Sci. Comp. Prog., 2014.
20. A. Rajhans et al., "Supporting heterogeneity in cyber-physical systems architectures, " IEEE Trans. Autom. Control, vol. 59, no. 12, pp. 3178-3193, 2014.
21. F. Saunders, J. Rife, S. Vaddi, and V. Cheng, "Information flow diagram analysis of a model cyber-physical system: Conflict detection and resolution for airport surface traffic, " IEEE Trans. Aerosp. Electron. Syst., vol. 28, no. 12, pp. 26-35, 2013.
22. T. Stauner, "Systematic development of hybrid systems, " Ph. D. dissertation, Technische Universitaet Muenchen, Jun 2001.
23. M. Zheng et al., "Towards a model checker for NesC and wireless sensor networks, " in LNCS. Berlin Heidelberg: Springer-Verlag, 2011, vol. 6991.
24. H. Pirkl et al., "Process for the preparation of highly pure 2, 4'-methylenediphenyldiisocyanate, " European Patent EP1 561 746A2, Jan. 22, 2005.
25. R. David and H. Alla, "On hybrid petri nets, " Discrete Event Dynamic Systems, vol. 11, no. 1-2, pp. 9-40, jan 2001.
26. T. Henzinger, "The theory of hybrid automata, " in Ver. Digital Hybrid Systems. Berlin Heidelberg: Springer-Verlag, 2000, vol. 170.