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.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andolfato, L., Karban, R.: Workstation Software Framework. In: Proceedings of the Society of Photo-Optical Instrumentation Engineers, vol. 7019, pp. 70191X-1 (2008)
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)
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)
World Wide Web Consortium: State Chart XML (SCXML) Working Draft Published (December 6, 2012)
Apache Commons SCXML, http://commons.apache.org/proper/commons-scxml
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)
Harel, D.: Statecharts in the Making: A Personal Account. Communications of the ACM 52(03), 6 (2009)
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)
Crane, M.L., Dingel, J.: UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal. Software and Systems Modelling 6(4) (2007)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, pp. 305–313. Addison-Wesley (2002)
Eclipse Modeling Framework: Modeling Workflow Engine, https://projects.eclipse.org/projects/modeling.emf.mwe
Klatt, B.: Xpand: A Closer Look at the model2text Transformation Language. In: 12th European Conference on Software Maintenance and Reengineering (2008)
Eclipse Modeling Project, http://www.eclipse.org/modeling
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)
Wirenstrand, K.: VLT telescope control software: status, development, and lessons learned. In: Proc. SPIE 2003, vol. 4837, p. 965 (2003)
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)
Model Based Document Generator, http://sourceforge.net/projects/mbse4md/?source=directory
Bely, P.Y.: The design and construction of large optical telescopes. Springer (2003)
Harel, D.: On visual formalism. Communications of the ACM 31(5) (1988)
Gibson, C., Karban, R., Andolfato, L., Day, J.: Formal Validation of Fault Management Design Solutions. Presented at the Java Pathfinder Workshop 2013 (2013)
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)
Jenkins, J., Rouquette, N.: Semantically Rigorous Systems Engineering Using SysML and OWL. In: 5th International Workshop on Systems & Concurrent Engineering for Space Applications (2012)
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)
Walsh, N.: DocBook 5: The Definitive Guide. O’Reilly Media (April 2010)
Frankel, D.: Model Driven Architecture – Applying MDA to Enterprise Computing, p. 191. OMG Press (2003)
Unified Modeling Language (UML), http://www.omg.org/spec/UML
System Modeling Language (SysML), http://www.omgsysml.org
Cameo Simulation Toolkit, http://www.nomagic.com/products/magicdraw-addons/cameo-simulation-toolkit.html
RabbitMQ, http://www.rabbitmq.com
Java Pathfinder, http://babelfish.arc.nasa.gov/trac/jpf
OWL 2 Web Ontology Language, http://www.w3.org/TR/owl2-overview
Fedrigo, E., Donaldson, R.: SPARTA: The ESO standard platform for adaptive optics real time applications. In: Proc. SPIE, vol. 6272 (2006)
Semantics of A Foundational Subset for Executable UML models (FUML), http://www.omg.org/spec/FUML
Chiozzi, G., Duhoux, P., Karban, R.: VLTI Auxiliary telescopes: A full Object Oriented approach. In: Proc. SPIE 2000, vol. 4009-03, p. 5 (2000)
Model Interchange Working Group (MIWG), http://www.omgwiki.org/model-interchange/doku.php
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)