Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain
暂无分享,去创建一个
Luigi Andolfato | Robert Karban | Gianluca Chiozzi | Heiko Sommer | Michele Zamparelli | Marcus Schilling | M. Zamparelli | L. Andolfato | R. Karban | G. Chiozzi | H. Sommer | M. Schilling | Heiko Sommer
[1] P.C. Mehlitz. Trust Your Model - Verifying Aerospace System Models with Java Pathfinder , 2008, 2008 IEEE Aerospace Conference.
[2] Kiri L. Wagstaff,et al. Automatic Code Generation for Instrument Flight Software , 2008 .
[3] Markus Völter,et al. Introduction to openArchitectureWare 4 . 1 . 2 , 2007 .
[4] Krister Wirenstrand. VLT telescope control software: status, development, and lessons learned , 2003, SPIE Astronomical Telescopes + Instrumentation.
[5] Norman J. Walsh,et al. DocBook: The Definitive Guide , 1999 .
[6] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] David Frankel,et al. Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .
[9] L. Andolfato,et al. A PLATFORM INDEPENDENT FRAMEWORK FOR STATECHARTS CODE GENERATION , 2011 .
[10] P. Bely. The Design and Construction of Large Optical Telescopes , 2010 .
[11] David Harel,et al. On visual formalisms , 1988, CACM.
[12] Michel D. Ingham,et al. Engineering Complex Embedded Systems with State Analysis and the Mission Data System , 2004 .
[13] Robert Karban,et al. VLTI auxiliary telescopes: a full object-oriented approach , 2000, Astronomical Telescopes and Instrumentation.
[14] James E. Rumbaugh,et al. Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.
[15] Scott B. Marovich. A Quart of NFE Solution for a Pint CPU Problem , 2009 .
[16] Luigi Andolfato,et al. A UML PROFILE FOR CODE GENERATION OF COMPONENT BASED DISTRIBUTED SYSTEMS , 2011 .
[17] Luigi Andolfato,et al. Formal validation of fault management design solutions , 2014, SOEN.
[18] Michelle L. Crane,et al. UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.
[19] Robert Karban,et al. 10.5.2 Three years of MBSE for a large scientific programme: Report from the Trenches of Telescope Modeling , 2012 .
[20] Luigi Andolfato,et al. Workstation software framework , 2008, Astronomical Telescopes + Instrumentation.
[21] Enrico Fedrigo,et al. SPARTA: the ESO standard platform for adaptive optics real time applications , 2006, SPIE Astronomical Telescopes + Instrumentation.
[22] Nicolas Rouquette,et al. Semantically-Rigorous Systems Engineering Using SysML and OWL , 2012 .
[23] David Harel,et al. Statecharts in the making: a personal account , 2009, CACM.
[24] V. Casasola,et al. The exciting future of (sub-)millimeter interferometry: ALMA , 2010 .