SPW
1999
Springer
14 years 3 months ago
1999
Springer
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
SAFECOMP
1999
Springer
14 years 3 months ago
1999
Springer
OOPSLA
1999
Springer
14 years 3 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...