Collaborative Model-based Development of a Remote Train Monitoring System

Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech

2016

Abstract

The model-based engineering technique Reactive Blocks supports the development of reactive systems by UML-based graphic modeling of control and data flows, model checker supported analysis, and automated code generation. Moreover, it facilitates the cooperation of teams of engineers by enabling the definition of formally precise behavioral interfaces that make the separation of the modelling process into various work packages easy. In this paper, we illustrate the use of Reactive Blocks for a joint student project that realized the monitoring and control of Lego Mindstorms-based trains in Norway through a control center in Australia. In particular, we explain how the Reactive Blocks interfaces and the applied communication protocols were used to split the project into work packages separately handled by the students involved.

References

  1. AMQP.org (2016). Advanced Message Queuing Protocol (AMQP). www.amqp.org/. Accessed: 2016-02-01.
  2. Bitreactive AS (2016). Reactive www.bitreactive.com. Accessed: 2016-01-28.
  3. Blech, J., Peake, I., Schmidt, H., Kande, M., Rahman, A., Ramaswamy, S., Sudarsan, S., and Narayanan, V. (2015). Efficient Incident Handling in Industrial Automation through Collaborative Engineering. In IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA). IEEE Computer.
  4. Blech, J. O., Falcone, Y., Rueß, H., and Sch ätz, B. (2012). Behavioral Specification Based Runtime Monitors for OSGi Services. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, LNCS 7609, pages 405- 419. Springer-Verlag.
  5. Blech, J. O. and Herrmann, P. (2015). Behavioral Types for Component-Based Development of Cyber-Physical Systems. In Software Engineering and Formal Methods, LNCS 9509, pages 43-52. Springer-Verlag.
  6. Blech, J. O., Spichkova, M., Peake, I., and Schmidt, H. (2014). Cyber-Virtual Systems: Simulation, Validation & Visualization. In 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 1-8. IEEE.
  7. Booch, G. and Brown, A. W. (2003). Collaborative Development Environments. Advances in Computers, 59:1- 27.
  8. Cross, R., Borgatti, S. P., and Parker, A. (2002). Making Invisible Work Visible: Using Social Network Analysis to Support Strategic Collaboration. California Management Review, 44(2):25-46.
  9. De Alfaro, L. and Henzinger, T. A. (2001). Interface Automata. ACM SIGSOFT Software Engineering Notes, 26(5):109-120.
  10. ECMA International (2013). Standard ECMA-404 - The JSON Data Interchange Format. www.ecmainternational.org/publications/standards/Ecma404.htm. Accessed: 2016-02-03.
  11. Feiler, P., Gabriel, R. P., Goodenough, J., Linger, R., Longstaff, T., Kazman, R., Klein, M., Northrop, L., Schmidt, D., Sullivan, K., Wallnau, K., and Pollak, B. (2006). Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute.
  12. Hordvik, S., Øseth, K., Blech, J. O., and Herrmann, P. (2016). A Methodology for Model-based Development and Safety Analysis of Transport Systems. In 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). To appear.
  13. ITU-T (2011). Z.100 : Specification and Description Language - Overview of SDL-2010. www.itu.int/ rec/ T-REC-Z.100/en. Accessed: 2016-02-01.
  14. Kraemer, F. A. and Herrmann, P. (2007). Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), Electronic Communications of the EASST 7. EASST.
  15. Kraemer, F. A. and Herrmann, P. (2009). Automated Encapsulation of UML Activities for Incremental Development and Verification. In Model Driven Engineering Languages and Systems (MoDELS), LNCS 5795, pages 571-585. Springer-Verlag.
  16. Kraemer, F. A. and Herrmann, P. (2010). Reactive Semantics for Distributed UML Activities. In Joint WG6.1 International Conference (FMOODS) and WG6.1 International Conference (FORTE), LNCS 6117, pages 17-31. Springer-Verlag.
  17. Kraemer, F. A., Herrmann, P., and Braek, R. (2006). Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In 8th International Symposium on Distributed Objects and Applications (DOA06), LNCS 4276, pages 1614-1632. Springer-Verlag.
  18. Kraemer, F. A., Sla°tten, V., and Herrmann, P. (2009). Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software, 82(12):2068-2080.
  19. Lee, E. (2008). Cyber Physical Systems: Design Challenges. In 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pages 363-369. IEEE Computer.
  20. Lee, E. A. and Xiong, Y. (2004). A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing, 16(3):210-237.
  21. McKenna, A. and Nanty, A. (2015). BlueBrick - Version 1.8.0. bluebrick.lswproject.com/help en.html. Accessed: 2016-02-02.
  22. Meyer, B. (1992). Applying “design by contract”. Computer, 25(10):40-51.
  23. Nectar (2016). NectarCloud. cloud.nectar.org.au/. Accessed: 2016-02-02.
  24. Object Management Group (2011). OMG Unified Modeling LanguageTM (OMG UML), Superstructure - Version 2.4.1. www.omg.org/spec/UML/2.4.1/ Superstructure/PDF/. Accessed: 2016-01-28.
  25. Svae, A. (2016). Remote Monitoring of Lego-Mindstorm Trains. Project thesis, Norwegian University of Science and Technology, Trondheim.
  26. Svendsen, H. H. (2016). Model-based Engineering of a Distributed, Autonomous Control System for Interacting Trains, deployed on a Lego Mindstorms Platform. Project thesis, Norwegian University of Science and Technology, Trondheim.
  27. Tanenbaum, A. S. and Wetherall, D. J. (2011). Computer Networks. Prentice Hall, 5 edition.
  28. Toye, G., Cutkosky, M. R., Leifer, L. J., Tenenbaum, J. M., and Glicksman, J. (1994). SHARE: A Methodology and Environment for Collaborative Product Development. International Journal of Intelligent and Cooperative Information Systems, 3(2):129-153.
Download


Paper Citation


in Harvard Style

Herrmann P., Svae A., Svendsen H. and Blech J. (2016). Collaborative Model-based Development of a Remote Train Monitoring System . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016) ISBN 978-989-758-189-2, pages 383-390. DOI: 10.5220/0005929403830390


in Bibtex Style

@conference{colaform16,
author={Peter Herrmann and Alexander Svae and Henrik Heggelund Svendsen and Jan Olaf Blech},
title={Collaborative Model-based Development of a Remote Train Monitoring System},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)},
year={2016},
pages={383-390},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005929403830390},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)
TI - Collaborative Model-based Development of a Remote Train Monitoring System
SN - 978-989-758-189-2
AU - Herrmann P.
AU - Svae A.
AU - Svendsen H.
AU - Blech J.
PY - 2016
SP - 383
EP - 390
DO - 10.5220/0005929403830390