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.