1940 search results - page 19 / 388 » Dependable Software: An Oxymoron |
ICDCS
1998
IEEE
13 years 11 months ago
1998
IEEE
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...
FTCS
1998
13 years 8 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
EDCC
2010
Springer
14 years 9 days ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper focuses on the role of real-time operation support in mobile robot control architectures for service applications. We show that a control architecture with integrate...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...