Description of expertise and relevance:
- Avionic Embedded SW design and verification complying with DO-178B
- SW Certification for Avionic Embedded SW
- Computer Architecture for Safety Critical Application
- Digital Controller Design using MATLAB/Simulink
- Embedded SW Source Code Generation using Target Link
- System Simulation and Modelling
- Hardware test software for avionic embedded systems
- Complex Electronic Hardware Verification to comply with DO-254
- Worst Case Execution Time (WCET) Method for complex non-deterministic single-core and multi-core CPU