3801 search results - page 24 / 761 » An Approach to Modeling Software Safety |
TAAS
2010
14 years 4 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
ENTCS
2006
14 years 9 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
90
Voted
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
SAFECOMP
2009
Springer
15 years 2 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
ISPW
2005
IEEE
15 years 3 months ago
2005
IEEE