SHARC is a design and simulation environment for digital and analogue embedded systems. The design of (hierarchical) systems can be verified through simulation-based tests. To facilitate these simulations, SHARC provides a wide component library containing models from different domains, e.g. automotive, energy, CPS. This makes it easy to design a first system design in early development phases and eliminates the redundant design slash development costs. The behaviour of the system is tested through automatically generated tests, which are derived from system requirements. The SHARC environment also includes a trace viewer to analyse the results of the simulations in a fast and easy way to derive further requirements for hardware and software design.
SHARC has a strong focus on verification of safety-critical systems in compliance with the functional safety standard ISO26262 for electric/electronic systems in the automotive domain. This includes features such as:
- Development in line with the automotive safety-lifecycle
- High traceability to requirements, design and tests
- Supporting analysis methods (FMEA, FTA) and simulation-based verification (Monte-Carlo, fault-injection)