Sciweavers

198 search results - page 7 / 40
» The Ethics of Safety-Critical Systems
Sort
View
SAFECOMP
2007
Springer
15 years 3 months ago
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Cho...
SAFECOMP
2009
Springer
15 years 4 months ago
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
Christof Fetzer, Ute Schiffel, Martin Sü&szli...
JTRES
2010
ACM
14 years 9 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
ICAISC
2010
Springer
15 years 2 months ago
Evaluation of a Communication Platform for Safety Critical Robotics
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...
Frederico M. Cunha, Rodrigo A. M. Braga, Luí...