Sciweavers

198 search results - page 16 / 40
» The Ethics of Safety-Critical Systems
Sort
View
ECIS
2004
14 years 11 months ago
The problem of integrating ethics into IS practice
In this paper we discuss a number of implications which follow from the way that the information systems discipline has developed, largely separately, from computer ethics. These ...
Frances Bell, Alison Adam
FM
2003
Springer
139views Formal Methods» more  FM 2003»
15 years 2 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
ISJ
2008
64views more  ISJ 2008»
14 years 9 months ago
The ethical nature of critical research in information systems
Critical research in information systems is based on and inspired by ethics and morality. In order to support this proposition, this paper will suggest a way of classifying critica...
Bernd Carsten Stahl
GI
2003
Springer
15 years 2 months ago
New Software Technology in Space: BOSS - a Dependable Open Source Embedded Operating System
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
Sergio Montenegro
DATE
2000
IEEE
117views Hardware» more  DATE 2000»
15 years 1 months ago
Evaluating System Dependability in a Co-Design Framework
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza...