Behavioral customization of state machine models at ESO
Josef Hofer, Martin G. Becker, Andreas Schäfer · 2022
For the development of the Extremely Large Telescope, the European Southern Observatory uses state machines to define life cycles and basic behavior of control software components. To provide certain degrees of freedom, the component life cycles need to be customizable, but to remain compatible, they must also conform to specific standard behavior. High customization causes difficulties in maintenance and may also lead to incompatible solutions. On the other hand, the introduction of strict compatibility requirements may increase maintainability but it also make the system less flexible. To avoid spending a significant portion of the Assembly, Integration, and Verification phase in integration hell, finding the right balance between variability and compatibility early enough is important.