Skip to main content

Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain

  • Conference paper
Model-Driven Engineering Languages and Systems (MODELS 2014)

Abstract

The development of control systems for large telescopes is frequently challenged by the combination of research and industrial development processes, the bridging of astronomical and engineering domains, the long development and maintenance time-line, and the need to support multiple hardware and software platforms. This paper illustrates the application of a model driven engineering approach to mitigate some of these recurring issues. It describes the lessons learned from introducing a modeling language and creating model transformations for analysis, documentation, simulation, validation, and code generation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andolfato, L., Karban, R.: Workstation Software Framework. In: Proceedings of the Society of Photo-Optical Instrumentation Engineers, vol. 7019, pp. 70191X-1 (2008)

    Google Scholar 

  2. Andolfato, L., Chiozzi, G., Migliorini, N., Morales, C.: A platform independent framework for statecharts code generation. In: Proceedings of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems (2011)

    Google Scholar 

  3. Chiozzi, G., Andolfato, L., Karban, R., Tejeda, A.: A UML profile for code generation of component based distributed systems. In: Proceedings of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems (2011)

    Google Scholar 

  4. World Wide Web Consortium: State Chart XML (SCXML) Working Draft Published (December 6, 2012)

    Google Scholar 

  5. Apache Commons SCXML, http://commons.apache.org/proper/commons-scxml

  6. Mehlitz, P.: Trust Your Model - Verifying Aerospace System Models with Java Pathfinder. In: Proc. IEEE Aerospace Conf. 2008, Big Sky, MT, March 1-8 (2008)

    Google Scholar 

  7. Harel, D.: Statecharts in the Making: A Personal Account. Communications of the ACM 52(03), 6 (2009)

    Article  Google Scholar 

  8. Wagstaff, K.L., Benowitz, E., Byrne, D.J., Peters, K., Watney, G.: Automatic code generation for instrument flight software. In: Proceedings of the 9th International Symposium on Artificial Intelligence, Robotics, and Automation in Space (2008)

    Google Scholar 

  9. Crane, M.L., Dingel, J.: UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal. Software and Systems Modelling 6(4) (2007)

    Google Scholar 

  10. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  11. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, pp. 305–313. Addison-Wesley (2002)

    Google Scholar 

  12. Eclipse Modeling Framework: Modeling Workflow Engine, https://projects.eclipse.org/projects/modeling.emf.mwe

  13. Klatt, B.: Xpand: A Closer Look at the model2text Transformation Language. In: 12th European Conference on Software Maintenance and Reengineering (2008)

    Google Scholar 

  14. Eclipse Modeling Project, http://www.eclipse.org/modeling

  15. Ingham, M.D., Rasmussen, R.D., Bennett, M.B., Moncada, A.C.: Engineering Complex Embedded Systems with State Analysis and the Mission Data System. AIAA Journal of Areospace Computing Information and Communication 2(12) (2005)

    Google Scholar 

  16. Wirenstrand, K.: VLT telescope control software: status, development, and lessons learned. In: Proc. SPIE 2003, vol. 4837, p. 965 (2003)

    Google Scholar 

  17. Casasola, V., Brand, J.: The exciting future of (sub-)millimeter interferometry: ALMA. In: Proceedings of the 54th National Meeting of the Italian Astronomical Society (2010)

    Google Scholar 

  18. Model Based Document Generator, http://sourceforge.net/projects/mbse4md/?source=directory

  19. Bely, P.Y.: The design and construction of large optical telescopes. Springer (2003)

    Google Scholar 

  20. Harel, D.: On visual formalism. Communications of the ACM 31(5) (1988)

    Google Scholar 

  21. Gibson, C., Karban, R., Andolfato, L., Day, J.: Formal Validation of Fault Management Design Solutions. Presented at the Java Pathfinder Workshop 2013 (2013)

    Google Scholar 

  22. Haase, A., Voelter, M., Efftinge, S., Kolb, B.: Introduction to openArchitectureWare 4.1.2. In: Model-Driven Development Tool Implementers Forum (MDD-TIF 2007) (co-located with TOOLS 2007) (2007)

    Google Scholar 

  23. Jenkins, J., Rouquette, N.: Semantically Rigorous Systems Engineering Using SysML and OWL. In: 5th International Workshop on Systems & Concurrent Engineering for Space Applications (2012)

    Google Scholar 

  24. Karban, R., Zamparelli, M., Bauvier, B., Chiozzi, G.: Three years of MBSE for a large scientific programme: Report from the Trenches of Telescope Modelling. In: Proceeding 22nd Annual INCOSE International Symposium (2012)

    Google Scholar 

  25. Walsh, N.: DocBook 5: The Definitive Guide. O’Reilly Media (April 2010)

    Google Scholar 

  26. Frankel, D.: Model Driven Architecture – Applying MDA to Enterprise Computing, p. 191. OMG Press (2003)

    Google Scholar 

  27. Unified Modeling Language (UML), http://www.omg.org/spec/UML

  28. System Modeling Language (SysML), http://www.omgsysml.org

  29. MagicDraw, http://www.nomagic.com/products/magicdraw.html

  30. Cameo Simulation Toolkit, http://www.nomagic.com/products/magicdraw-addons/cameo-simulation-toolkit.html

  31. RabbitMQ, http://www.rabbitmq.com

  32. Java Pathfinder, http://babelfish.arc.nasa.gov/trac/jpf

  33. OWL 2 Web Ontology Language, http://www.w3.org/TR/owl2-overview

  34. Fedrigo, E., Donaldson, R.: SPARTA: The ESO standard platform for adaptive optics real time applications. In: Proc. SPIE, vol. 6272 (2006)

    Google Scholar 

  35. Semantics of A Foundational Subset for Executable UML models (FUML), http://www.omg.org/spec/FUML

  36. Chiozzi, G., Duhoux, P., Karban, R.: VLTI Auxiliary telescopes: A full Object Oriented approach. In: Proc. SPIE 2000, vol. 4009-03, p. 5 (2000)

    Google Scholar 

  37. Model Interchange Working Group (MIWG), http://www.omgwiki.org/model-interchange/doku.php

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Andolfato, L., Karban, R., Schilling, M., Sommer, H., Zamparelli, M., Chiozzi, G. (2014). Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham. https://doi.org/10.1007/978-3-319-11653-2_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11653-2_25

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11652-5

  • Online ISBN: 978-3-319-11653-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics