CEA
48.735923981,2.166033197
The internship aims to enhance the existing tooled metodology called QuaRTOS-DSE by improving the formalization and the implementation of the existing methodology.
The internship will address the exploration and the evaluation of complex critical SW architecture. Obtained SW architecture will be evaluated by a formal verification of extra functional system properties using existing tools.
The exploration and the evaluation of complex critical SW architecture will be performed with an Iterative tool (a first version with a first formalization of the approach exists), at the level of functions, tasks, agents, actors and will integrate some SotA architecture strategies and best practices for critical SW. The approach must integrate an evaluation of some metrics and a connection with evaluation tools.
The existing framework has very slight integration of the HW model, limitations on construction of input model (abstraction level) and limitations model transformation/generation for the...
|
Master's degree, Bac +5 - Master of Science
Understanding embedded critical SW, and knowledge of formal methods would be a plus. English fluent, teamwork, curiosity
In line with CEA's commitment to integrating people with disabilities, this job is open to all.
|
|
| Durée (Mois): |
6
|