Sciweavers

Share
DSN
2007
IEEE

Assurance Based Development of Critical Systems

9 years 24 days ago
Assurance Based Development of Critical Systems
  Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an  assurance  case  that  sets  out  the  dependability claims for the system and argues that the available evidence justifies those claims. Co-developing the system and  its  assurance  case  helps  software  developers  to make  technology  choices  that  address  the  specific dependability goal of each component. This approach gives developers: (1) confidence that the technologies selected  will  support  the  system’s  dependability  goal and (2) flexibility to deploy expensive technology, such as  formal  verification,  only  on  components  whose assurance needs demand it. ABD simplifies the detection—and  thereby  avoidance—of  potential  assurance difficulties as they arise, rather than after development is  complete.  In  this  paper,  we  present  ABD  together ...
Patrick J. Graydon, John C. Knight, Elisabeth A. S
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where DSN
Authors Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
Comments (0)
books