1264 search results - page 13 / 253 » Designing Safe, Reliable Systems using Scade |
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
ETS
2010
IEEE
15 years 23 days ago
2010
IEEE
This paper explores the concept of design diversity redundancy applied to mixed-signal (MS) circuit blocks, as a proposal to increase system reliability. Three different implement...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
SIGSOFT
2004
ACM
16 years 12 days ago
2004
ACM
Reuse of application software has been limited and sometimes has led to accidents. This paper suggests some requirements for successful and safe application software reuse and dem...
104
click to vote
MAGS
2010
14 years 10 months ago
2010
Abstract. Distributed cooperative applications (e.g., e-commerce) are now increasingly being designed as a set of autonomous entities, named agents, which interact and coordinate (...