Cyber-virtual systems: Simulation, validation & visualization

ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering

Volumn , Issue , 2014, Pages 218-225

  Blech, Jan Olaf ^a   Spichkova, Maria ^a   Peake, Ian ^a   Schmidt, Heinz ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

Cyber physical systems; Formal specification; Simulation; System modeling; Virtual interoperability testing; Visualization

Indexed keywords

CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; FLOW VISUALIZATION; FORMAL SPECIFICATION; MACHINERY; SOFTWARE TESTING; VERIFICATION; VISUALIZATION;

INDUSTRIAL AUTOMATION; INTEROPERABILITY TESTING; OPERATION AND MAINTENANCE; ROBOT INSTALLATION; SIMULATION; SIMULATION AND VALIDATION; SYSTEM MODELING; VALIDATION AND VERIFICATION;

INTEROPERABILITY;

EID: 84902338748     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5220/0004952402180225     Document Type: Conference Paper

References (41)

1. Anderson, A. and Fritzson, P. (2013). Models for Distributed Real-Time Simulation in a Vehicle Co-Simulator Setup. In Nilsson, H., editor, Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Linkoping University Electronic Press.
2. Basu, A., Bozga, M., and Sifakis, J. (2006). Modeling heterogeneous real-time components in bip. In 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pages 3-12. IEEE.
3. Beek, D. A. V., Man, K. L., Reniers, M. A., Rooda, J. E., and Schiffelers, R. R. H. (2006). Syntax and consistent equation semantics of hybrid Chi. In Journal of Logic and Algebraic Programming, pages 129-210.
4. Behrmann, G., David, A., and Larsen, K. (2004). A Tutorial on Uppaal. In Bernardo, M. and Corradini, F., editors, Formal Methods for the Design of Real-Time Systems, volume 3185 of LNCS, pages 200-236. Springer.
5. Bennett, B., Cohn, A. G.,Wolter, F., and Zakharyaschev, M. (2002). Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence, 17(3):239-251.
6. Berger, A. (2002). Embedded Systems Design: An Introduction to Processes, Tools, and Techniques. CMP Books.
7. Berners-Lee, T., Hendler, J., Lassila, O., et al. (2001). The semantic web. Scientific american, 284(5):28-37.
8. Blech, J. O. (2013). Towards a framework for behavioral specifications of osgi components. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), pages 79-93.
9. Blech, J. O., Falcone, Y., Rueß, H., and Schätz, B. (2012). Behavioral specification based runtime monitors for Cyber-virtual Systems - Simulation, Validation & Visualization osgi services. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, pages 405-419. Springer Berlin Heidelberg.
10. Blech, J. O. and Schätz, B. (2012). Towards a formal foundation of behavioral types for uml state-machines. ACM SIGSOFT Software Engineering Notes,37(4):1-8.
11. Blech, J. O. and Schmidt, H. (2013). Towards modeling and checking the spatial and interaction behavior of widely distributed systems. In Improving Systems and Software Engineering Conference.
12. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., and Pretschner, A. (2005). Model-Based Testing of Reactive Systems: Advanced Lectures (LNCS). Springer.
13. Cardelli, L. and Gardner, P. (2010). Processes in space. In Programs, Proofs, Processes, pages 78-87. Springer.
14. Dal Zilio, S., Lugiez, D., and Meyssonnier, C. (2004). A logic you can count on. In ACM SIGPLAN Notices, volume 39, pages 135-146. ACM.
15. de Alfaro, L. and Henzinger, T. A. (2001). Interface automata. SIGSOFT Softw. Eng. Notes, 26(5):109-120.
16. De Moura, L. and Bjørner, N. (2008). Z3: An efficient smt solver. In Tools and Algorithms for the Construction and Analysis of Systems, pages 337-340. Springer.
17. Deshpande, A., Gll, A., Gollu, A., and Varaiya, P. (1997). Shift: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata.
18. Dominka, S., Schiller, F., and Kain, S. (2007). Hybrid commissioningfrom hardware-in-the-loop simulation to real production plants. In Proceedings of the 18th IASTED International Conference on Modeling and Simulation (MS'07), pages 544-549.
19. Donath, U., Haufe, J., Blochwitz, T., and Neidhold, T. (2008). A new Approach for Modeling and Verification of Discrete Control Components within a Modelica Environment.
20. Frehse, G., Le Guernic, C., Donzé, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., and Maler, O. (2011). Spaceex: Scalable verification of hybrid systems. In Computer Aided Verification, pages 379-395. Springer.
21. Fritzson, P. (2004). Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Computer Society Press.
22. Fritzson, P. (2011). Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica. Wiley-IEEE Computer Society Press.
23. Hadlich, T., Diedrich, C., Eckert, K., Frank, T., Fay, A., and Vogel-Heuser, B. (2011). Common communication model for distributed automation systems. In 9th IEEE International Conference on Industrial Informatics, IEEE INDIN.
24. Hazra, A., Ghosh, P., Vadlamudi, S. G., Chakrabarti, P. P., and Dasgupta, P. (2013). Formal methods for early analysis of functional reliability in component-based embedded applications. Embedded Systems Letters, 5(1):8-11.
25. Hirschkoff, D., Lozes, É., and Sangiorgi, D. (2003). Minimality results for the spatial logics. In FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, pages 252-264. Springer.
26. Isermann, R., Schaffnit, J., and Sinsel, S. (1999). Hardwarein-the-loop simulation for the design and testing of engine-control systems. Control Engineering Practice, 7(5):643-653.
27. Kratz, F., Sokolsky, O., Pappas, G. J., and Lee, I. (2006). R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC), pages 392-406.
28. Peake, I., Blech, J. O., and Fernando, L. (2013). Towards reconstructing architectural models of software tools by runtime analysis. In 3rd International Workshop on Experiences and Empirical Studies in Software Modelling.
29. Pretschner, A. and Philipps, J. (2005). Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems, pages 181-291.
30. Sapienza, G., Crnkovic, I., and Seceleanu, T. (2012). Towards a methodology for hardware and software design separation in embedded systems. In Proc. of the Seventh International Conference on Software Engineering Advances (ICSEA), pages 557-562. IARIA.
31. Schlager, M. (2008). Hardware-in-the-loop simulation.
32. Spichkova, M. (2007). Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, Technische Universität München.
33. Spichkova, M. (2012). Human Factors of Formal Methods. In Proc. of IADIS Interfaces and Human Computer Interaction. IHCI 2012.
34. Spichkova, M. (2013a). Design of formal languages and interfaces: "formal" does not mean "unreadable". In Blashki, K. and Isaias, P., editors, Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global.
35. Spichkova, M. (2013b). Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. Archive of Formal Proofs.
36. Spichkova, M. and Campetelli, A. (2012). Towards system development methodologies: From software to cyber-physical domain. In First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'12).
37. Spichkova, M., Schmidt, H., and Peake, I. (2013a). From abstract modelling to remote cyber-physical integration/interoperability testing. In Improving Systems and Software Engineering Conference.
38. Spichkova, M., Zhu, X., and Mou, D. (2013b). Do we really need to write documentation for a system? In International Conference on Model-Driven Engineering and Software Development (MODELSWARD'13).
39. Staab, S., Studer, R., Schnurr, H.-P., and Sure, Y. (2001). Knowledge processes and ontologies. Intelligent Systems, IEEE, 16(1):26-34.
40. Tundis, A., Rogovchenko-Buffoni, L., Fritzson, P., and Garro, A. (2013). Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches. In Nilsson, H., editor, Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Linkoping University Electronic Press.
41. Vogel-Heuser, B., S., F., Werner, T., and Diedrich, C. (2011). Modeling network architecture and time behavior of distributed control systems in industrial plant. In 37th Annual Conference of the IEEE Industrial Electronics Society, IECON.