Sciweavers

198 search results - page 7 / 40
» The Ethics of Safety-Critical Systems
Sort
View
SAFECOMP
2007
Springer
14 years 5 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
14 years 5 months ago
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
Christof Fetzer, Ute Schiffel, Martin Sü&szli...
JTRES
2010
ACM
13 years 11 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
14 years 3 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í...