Description
* Experience and lessons learnt from the use of modelling techniques in onboard software development
* Maturity of current methodology and tools in support of the model based software engineering (SysML, [HRT-]UML, OCL, assertions, AADL, SDL, SCADE, Matlab, etc.), and how to apply them to the onboard software development process
* What is the new (model) life cycle and how does it impact current practices?
* What is the current coverage of this process by supporting methodology and tools?
* What is the added value of deploying fully or partly the MBSE process wrt the current practices for onboard software development?
* What is blocking us from a wider use of model-based approaches?
* What R&D actions are required to facilitate the adoption of such a process?
* How to ensure model consistency along the life cycle of avionics and software? Is there a life cycle for models?
