302 search results - page 5 / 61 » An approach to synthesise safe systems |
PADL
2005
Springer
14 years 3 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
HASE
2005
IEEE
14 years 3 months ago
2005
IEEE
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
DAGSTUHL
2009
13 years 11 months ago
2009
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its ...
MEDINFO
2007
13 years 11 months ago
2007
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...