Inventing accuracy: a historical sociology of nuclear missile guidance
Inventing accuracy: a historical sociology of nuclear missile guidance
Safeware: system safety and computers
Safeware: system safety and computers
The art of efficient man-machine interaction: improving the coupling between man and machine
Expertise and technology
First-order modal logic
Modal and temporal properties of processes
Modal and temporal properties of processes
Safety Critical Computer Systems
Safety Critical Computer Systems
Systems, Experts, and Computers: The Systems Approach in Management and Engineering, World War II and After
A Systematic Approach to Safety Case Maintenance
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Large-scale requirements analysis as heterogeneous engineering
Social thinking
Reasoning about Uncertainty
Reasoning About Knowledge
Evolutionary safety analysis: motivations from the air traffic management domain
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
| Hi-index | 0.00 |
In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnected to form a complete functional and operational environment, covering ground segments and aerospace. Industry will be involved as early as possible in the lifecycle of ATM projects. EUROCONTROL manages the processes that involve the definition and validation of new ATM solutions using Industry capabilities (e.g., SMEs). In practice, safety analyses adapt and reuse system design models (produced by third parties). Technical, organisational and cost-related reasons often determine this choice, although design models are unfit for safety analysis. This paper is concerned with evolutionary aspects in judging safety for ATM systems. The main objective is to highlight a model specifically targeted to support evolutionary safety analysis. The systematic production of safety analysis (models) will decrease the cost of conducting safety analysis by supporting reuse in future ATM projects.