Position description

Category

Mathematics, information, scientific, software

Contract

Internship

Job title

Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F

Subject

The internship aims to implement and improve the formalization and implementation of an iterative methodology for critical embedded software architectures exploration, guided by extra functional properties evaluation and verification

Contract duration (months)

6 months

Job description

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 architectur...