1663 search results - page 4 / 333 » Software Reuse and Safety |
SEKE
2005
Springer
13 years 11 months ago
2005
Springer
Various intelligent component retrieval techniques have been developed to assist a developer discover or locate components in an efficient manner. These techniques share a common ...
INFSOF
2008
13 years 5 months ago
2008
ENTCS
2007
13 years 5 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
ISSRE
2002
IEEE
13 years 10 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
SAFECOMP
2000
Springer
13 years 9 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...