1264 search results - page 45 / 253 » Designing Safe, Reliable Systems using Scade |
114
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
102
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
State-of-the-art automatic reliability analyses as used in system-level design approaches mainly rely on Binary Decision Diagrams (BDDs) and, thus, face two serious problems: (1) ...
121
Voted
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
120
Voted
ENTCS
2002
15 years 1 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
116
click to vote
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...