4930 search results - page 12 / 986 » Testing a Safety-Critical Application |
103
click to vote
SAFECOMP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
114
click to vote
SNPD
2008
15 years 24 days ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
NC
1998
15 years 22 days ago
1998
In this paper we report about an investigation in which we studied the properties of Bayes' inferred neural network classifiers in the context of outlier detection. The proble...
PRDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
ISCAS
2007
IEEE
15 years 5 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...