1264 search results - page 27 / 253 » Designing Safe, Reliable Systems using Scade |
TSE
1998
13 years 7 months ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
JFP
2010
13 years 5 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
An error that occurs in a microkernel operating system service can potentially result in state corruption and service failure. A simple restart of the failed service is not always...
IM
2003
13 years 8 months ago
2003
: Security of systems and management infrastructure is crucial for a successful, reliable and safe use. Most currently deployed systems are based on simple subject/object-relations...