Verification of the Behaviour of Reactive Software with CFFD-Semantics and ARA Tools
VEGA Software Cost Risk Modelling (V-SCRM)
Using VDM + + in the Development of a Large Industrial Application
Use of Decision Analysis in Risk Management
The Safety of Global Navigation by Satellite
The Packet TCE and the Farm Emulator as Test Environment for the TC Chain Applications
The Key Points of the French Organisation for Nuclear Power Plants
The Future of Reliability Predictions
The ECSS Product Assurance Standards for Space Products
TeStor: Deriving Test Sequences from Model-Based Specifications
Test Methods and Tools for Soho Mass Memory Unit Software
Ten Obstacles Inspections Face in Organisations
Tailored Responsibility Within Component-Based Systems
SQUID: A Method for Managing Software Quality During Development
Software Faults: The Avoidable and the Unavoidable: Lessons From Real Systems
Software Failures, Faults and Errors: Their Risk Management and Control
Software Development and Software Quality at Surrey Satellite Technology Limited
Software Architectures for Deeply Embedded Systems: The OMI Approach
Sciamachy ICU: An Application of Preemptive Scheduling with ADA on a 31750
Risk Management in US Manned Spacecraft: From Apollo to Alpha and Beyond
Risk Driven Software Product Assurance Experience for Small Satellites
Rigorously Assessing Software Reliability and Safety
Review of PA Disciplines From the Viewpoints of PA Experts and Project Managers
Reusable Dialog Component Framework for Rapid Voice Application Development
Requirements on Product Assurance/Configuration Control Interface
RELIASEP - A Technique for Safe Design
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
Quality Information System (QIS)
Quality And Productivity - Holistic Software Product Assurance
Qinna, a Component-Based QoS Architecture
Product Assurance for the Development of the Sax AOCS Application Software
Probabilistic Safety Analysis Using ERES, The RAMS Expert System
Performance Prediction of J2EE Applications Using Messaging Protocols
OX: ADA Cyclic Executive for Embedded Applications
Optimizing Resource Usage in Component-Based Real-Time Systems
Onboard Software Maintenance - An Operational Task
Onboard Software Design & Development Issues for the `Era'
New Trend in Risk Management at Alenia Spazio
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations
Mission Control Software Experience: Some Important Aspects from the User's Viewpoint
Methodology for Human Error Minimisation in Space Projects
Lessons Learnt Using ESA Standards & Methods for Onboard Real-Time Application Software
Lessons learned from Pilot Applications of Sneak Analysis in Space Projects