EDICT - Safety Domain

EDICT Safe Suite

SafeSuite provides early and incremental evaluation of a systems ability to meet its safety goals at a systems level.  SafeSuite accomplishes this goal through two complementary tools: SafeSpec and SafePlace.   These tools allow system safety commitments to be mapped to the system architecture models (SafeSpec) and then perform model based error propagation analysis to determine if the commitments will be met at run-time.  The tool suite also provides for systematic placement of on-line error mitigation (SafePlace) to enforce the safety commitments.  These tools provide an integrated system description that enables close cooperation between system architects and safety engineers, thereby reducing safety risks, increasing team productivity and decreasing development and certification costs.  

More ->