Sciweavers

13 search results - page 1 / 3
» scs 2004
Sort
View
SCS
2004
13 years 5 months ago
Causal Analysis of the ACAS/TCAS Sociotechnical System
Sociotechnical systems are those which rely not only on technology but on humans and social organisation for their adequate functioning. The analysis of sociotechnical systems pose...
Peter B. Ladkin
SCS
2004
13 years 5 months ago
On Wheels, Nuts and Software
In this paper I examine the issue of whether we can trust software systems and put forward an argument that in an absolute sense the answer must necessarily be no for a multitude ...
Michael Ellims
SCS
2004
13 years 5 months ago
Complex Reactive Real Time Systems and the Safety Case
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
Gordon R. Stone
SCS
2004
13 years 5 months ago
Contract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
Fan Ye, Tim Kelly