11 search results - page 1 / 3 » Towards verification-based development of in-vehicle safety ... |
EDCC
2010
Springer
13 years 8 months ago
2010
Springer
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
FMICS
2009
Springer
13 years 11 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...
SCS
2003
13 years 6 months ago
2003
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...
USENIX
2000
13 years 6 months ago
2000
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...