2022 Developer Survey is open! Take survey.
user avatar
user avatar
user avatar
Tomáš Kratochvíla
  • Member for 4 years, 8 months
  • Last seen more than a month ago
  • Brno, Czech Republic
Stats
101
reputation
0
reached
0
answers
0
questions
About

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
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.