Sciweavers

1938 search results - page 15 / 388
» Dependable Software
Sort
View
CASCON
2003
89views Education» more  CASCON 2003»
14 years 9 days ago
Removing false code dependencies to speedup software build processes
The development of large software systems involves a continual lengthy build process that may include preprocessing, compilation and linking of tens of thousands of source code ...
Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos
ICDCS
1998
IEEE
14 years 3 months ago
A Framework for Dependability Driven Software Integration
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...
Neeraj Suri, S. Ghosh, Thomas J. Marlowe
FTCS
1998
144views more  FTCS 1998»
14 years 8 days ago
Improving Software Robustness with Dependability Cases
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...
Roy A. Maxion, Robert T. Olszewski
APSEC
2005
IEEE
14 years 4 months ago
Model Checking Interrupt-Dependent Software
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...
Colin J. Fidge, Phil Cook
SAFECOMP
2009
Springer
14 years 3 months ago
A Foundation for Requirements Analysis of Dependable Software
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
Denis Hatebur, Maritta Heisel