4930 search results - page 4 / 986 » Testing a Safety-Critical Application |
SEUS
2007
IEEE
15 years 5 months ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
104
click to vote
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
103
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
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...
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
111
click to vote
JTRES
2010
ACM
14 years 11 months ago
2010
ACM
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 ...