Sciweavers

198 search results - page 15 / 40
» The Ethics of Safety-Critical Systems
Sort
View
APSEC
1999
IEEE
15 years 1 months ago
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
Jin Song Dong, Brendan P. Mahony, Neale Fulton
AOSE
2006
Springer
15 years 1 months ago
Using Risk Analysis to Evaluate Design Alternatives
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...
Yudistira Asnar, Volha Bryl, Paolo Giorgini
SCS
2003
14 years 10 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
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...
Rob Weaver, Jane Fenn, Tim Kelly
TPHOL
1998
IEEE
15 years 1 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
ECIS
2000
14 years 10 months ago
Authentic Intervention in Information Systems Practice
In this paper the philosophical concept of authenticity is used as a framing device for providing an interpretation of aspects of both ethical and practical action on the part of i...
Robert A. Stephens, Stephen K. Probert