Verifying safety critical software systems
ProductMarch 31, 2014
Verocel experts developed a commercial version of their VeroTrace tool, which is an advanced lifecycle management environment that develops, verifies, and certifies multiple software systems. The new commercial version has an enhanced architecture, an Eclipse IDE, and other capabilities so...
Verocel experts developed a commercial version of their VeroTrace tool, which is an advanced lifecycle management environment that develops, verifies, and certifies multiple software systems. The new commercial version has an enhanced architecture, an Eclipse IDE, and other capabilities so that software developers can now automate the many tasks and processes required for their own large-scale, advanced software development and verification efforts.
It provides traceability, review, and workflow tracking. It has been used to provide safety and security projects and certification evidence to meet the DO-178B/C avionics software standards, EN 50128 for rail certification, and IEC 61508 for the industrial sector.
The tool monitors development and certification lifecycle artifacts and their relationships and authorization statuses, whether they are held in the VeroTrace repository or external Configuration Management (CM) systems. VeroTrace can be installed as a distributed environment so users can access and share data across multiple sites. It also provides built-in integrated documentation management and problem tracking capabilities. VeroTrace does more than generate reports showing how interlinked dependents of a changed item are affected by a change – it guides a reviewer to examine the single artifact that has changed and only those other artifacts that are directly dependent on it, potentially saving large amounts of time in the process.
