328 search results - page 47 / 66 » Software engineering for safety: a roadmap |
81
Voted
ADAEUROPE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
RE
2001
Springer
15 years 4 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
102
click to vote
SIGSOFT
2006
ACM
16 years 14 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
107
click to vote
ICAS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
109
click to vote
ARCS
2004
Springer
15 years 5 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...