Eclipse PolarSys

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.