1264 search results - page 23 / 253 » Designing Safe, Reliable Systems using Scade |
POPL
1989
ACM
13 years 11 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
IWSSD
2000
IEEE
13 years 11 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Non-volatile Flash memories are becoming more and more popular in Systems-on-Chip (SoC). Embedded Flash (eFlash) memories are based on the well-known floatinggate transistor conce...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
One reason given for the use of multirobot systems is that many cheap robots are more reliable than one expensive robot. To date, however, there has been no quantitative analys...