Experience in requirements specification and architecture specification for embedded software critical applications. Development of embedded software critical applications.
Experience in RTOS validation and OBSW validation for space mission. Software testing UIT / VT and Robustness tests for Space applications.
Network distributed software developer for Linux/Unix systems with knowledge of several network protocols for network remote monitoring and management.
Areas of Interest
- Realtime and embeded applications
- Open Source RTOS
- Safety Critical Systems
- Software Dependability
- Hardware Simulation
- Formal Methods
- Systems Certification approaches
- DO-178C