Primary tabs


Polarsys covers critical and embedded systems development activities, from the early specification stage, down to the implementation and then up to verification and validation, including:

  • Modeling – systems, hardware and software
  • Code analysis – static analysis
  • Debugging, tracing and other integration tools
  • Life cycle process support tools – configuration management, change tracking, technical facts management, project reporting
  • Test and verification frameworks, tools targeting embedded software methods, simulation, and early validation
  • SoC (System on Chip) simulation and hardware logic (VHDL, SystemC, etc.)
  • Embedded components like RTOS, middleware, etc.