RiskCATS

Safety critical standards, such as 61508, are large and complex. The RiskCAT requirements tools permit rapid and intuitive navigation around the standard(s). They provide a simple calculation of SIL and the selection of measures by key word, life cycle or function using or/and criteria. A simple click of the mouse pulls up the relevant part of the standard, with interfaces to DOORS and CalibreRM or Spreadsheet Other tools include a stand-alone SIL calculator and a static analysers for the executable in the ROM or flash. CATS tools have been used on the highest level of safety critical work  around the world

. > Link to

SEER estimation tools for costs, time & resource

 Galorath (SEER) has invested over two and a half decades of research and development helping organizations better plan and control project costs, quality, duration and risk. Leveraging sophisticated modeling technology and project-applicable knowledge bases, SEER solutions are proven to accurately replicate real-world project outcomes more quickly and with much greater accuracy than any traditional estimating methodologies  > Link to

pure::variants

pure::variants allows developers of families of systems that use software to provide differentiation to configure, track and manage different software variants across the tool chain, across application assets and across the application life cycle.. > Link to

 Visual State CASE tool

IAR visual STATE is a set of highly sophisticated and easy-to-use development tools for designing, testing and implementing embedded applications based on state machines.

It provides advanced verification and validation utilities and generates very compact C/C++ code that is 100% consistent with your system design. In addition, the new and revolutionizing integration with IAR Embedded Workbench, enables true state machine debugging on hardware—get direct graphical feedback on various levels of detail. > Link to