198 search results - page 12 / 40 » The Ethics of Safety-Critical Systems |
DAGSTUHL
2007
14 years 11 months ago
2007
This paper tackles on ethical issues that are relevant when designing new technological service systems for the assisted living. In this paper we present our preliminary ethical gu...
FM
2008
Springer
14 years 11 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
IHI
2010
14 years 4 months ago
2010
Information technology is a prominent tool in healthcare management. However, healthcare systems often fall short of addressing concerns about privacy, confidentiality and safety ...
80
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
In this work-in-progress report we present the results of a preliminary analysis of a set of fieldwork studies conducted in collaboration with a firefighter school and a firefight...
NFM
2011
14 years 4 months ago
2011
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...