Tools you need BEFORE you start designing the project. What is the specification? What are the requirements for safety? What are the resources available and what do you need? How can you reuse and combine other modules under control?
As part as the Requirements Engineering complete solution, Visure Solutions provides a set of tools oriented to support the definedRDM processes, streamlining them and making them more efficient and manageable. These solutions provide not only support to all the RDM activities, but also specific support to a wide range of activities related with it, like tender management and requirements communication. IRQA is a state-of-the-art Requirements Definition and Management (RDM) tool specifically designed to provide an integral support to the complete Requirements process.> Link to
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
Though their Medini Tool set IKV provide a set of tools to support systems analysis and model based development. Priamrily based inthe automotive market they Analyze tool supports ISO26262 but their other tools have a wider field such as unite that works with Simulink and Stateflow models. Also other modeling tools are avilible such as QVT and ProFeat. . > Link to
Escher Technologies researches, develops and delivers tools for the efficient construction of provably correct software. Using advanced Automated Reasoning technology, Perfect Developer and the Escher C Verifier reduce the cost of developing safety-critical software or software for other high-integrity applications. For universities and colleges which offer courses in formal methods of software development: Perfect Developer Free Edition makes this challenging subject easier to teach and enjoyable to learn.> Link to
DocTrace is a tool which offers a simple and easy approach to tracing the relations between documents and their detailed contents. It produces a Requirements Traceability Matrix, a simple and visible way of demonstrating that the requirements are satisfied in all the relevant parts of the design, source code and test documents.> Link to
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
Relex can provide a tailored solution for reliability and failure including FRACAS, MTBF MTTF, Weibull, Markov, Fault trees, Life Cycle cost,Human Factors, Maintenance. This modular system is usefully from safety cases to maintenance > Link to
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
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