103 search results - page 7 / 21 » A Contract-based Approach to Designing Safe Systems |
RTSS
2008
IEEE
15 years 3 months ago
2008
IEEE
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
PEPM
1999
ACM
15 years 1 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
91
Voted
AGP
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
70
Voted
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...