Num@tec Automotive: ongoing projects (2nd part)
Project 4 - SYSPEO: system proof extended objective
SYSPEO objective : mechatronics : developing theoretical approach and corresponding software tools implementation for formal proof. Selection of system properties will be verified on use cases.
Project 5 - HECOSIM: heterogeneous simulation (levels, formalism, HW/SW)
HECOSIM objective : allow efficient simulation of a system made of heterogeneous components (multi-level simulation, multiple formalisms).
Project 6 - SEEDS: solutions for cable network diagnostics (offline, online)
SEEDS objective : evaluate & integrate new solutions for testing cable networks, targeting embedded online test for system reliability.
Project 7 - DIAPA: DIagnostic Automobile Par Apprentissage
DIAPA objective : faults diagnosis of electronic components and their connections with components models.
last 