302 search results - page 21 / 61 » An approach to synthesise safe systems |
83
Voted
CCIA
2007
Springer
15 years 6 months ago
2007
Springer
: In this paper we propose the use of an argument-based model – ProCLAIM – that has the potential to minimize ecological impact of industrial wastewater discharges into water b...
114
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
109
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
85
Voted
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
136
Voted
SCS
2003
15 years 1 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...