SAFECOMP
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Simulation-based Fault Injection in VHDL descriptions is increasingly common due to the popularity of top-down design flows exploiting this language. This paper presents ...
SAFECOMP
2000
Springer
14 years 3 months ago
2000
Springer
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
SAFECOMP
2000
Springer
14 years 3 months ago
2000
Springer
An expert trouble-shooter is a subject who has a great deal of experience in his activity that allows him or her to be very efficient. However, the large amount of problems he or s...
SAFECOMP
2000
Springer
14 years 3 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
SAFECOMP
2000
Springer
14 years 3 months ago
2000
Springer
This paper presents an empirical investigation of the control of requirements evolution in an avionics safety-critical system. Metrics can be used to manage (e.g., control and pred...
SAFECOMP
2000
Springer
14 years 3 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
OOPSLA
2000
Springer
14 years 3 months ago
2000
Springer
OOPSLA
2000
Springer
14 years 3 months ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
OOPSLA
2000
Springer
14 years 3 months ago
2000
Springer
OOPSLA
2000
Springer
14 years 3 months ago
2000
Springer