I’m by Honeywell Aerospace - Advanced Technology since 2008.

My experience:

• Program manager, formal methods, model checking, automated verification, requirement engineering, and tool integration. (AMASS, Crystal, Respol, iFEST)
• Software architecture and implementation of GPS and Galileo receiver in C++, Simulink, Nucleus real-time OS (GNSS)
• Predictable hard-real-time multi-core and worst-case execution time on asynchronous software (Merasa)
• Seamless handover between wired and wireless networks (Ambient Networks).

• Formal verification of VHDL of multi-gigabit PC-based FPGA router (Liberouter).

• Languages: C, C++, C#, Delphi, Matlab, Simulink

• Standards: TCP/IP, SQL, XML, SVG, UML, IEEE 802.11, DO-178C, OSLC