136 search results - page 4 / 28 » From Safety Verification to Safety Testing |
RSS
2007
13 years 8 months ago
2007
— The light-weight robots developed at the German Aerospace Center (DLR) are characterized by their low inertial properties, torque sensing in each joint and a load to weight rat...
HASE
1998
IEEE
13 years 11 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
JTRES
2009
ACM
14 years 1 days ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
EDBT
2009
ACM
14 years 2 months ago
2009
ACM
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...