302 search results - page 26 / 61 » An approach to synthesise safe systems |
173
click to vote
ECBS
2010
IEEE
16 years 29 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
155
click to vote
WORDS
2005
IEEE
15 years 11 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 ...
155
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
– The Mars Exploration Rover (MER) Descent Image Motion Estimation System (DIMES) is the first autonomous machine vision system used to safely land a robotics payload on another ...
174
click to vote
SCS
2003
15 years 7 months ago
2003
Preliminary work on the development of measures appropriate for the safety domain is reported. Measures are expressed in the style of the Practical Software and Systems Measuremen...
186
Voted
CCGRID
2006
IEEE
16 years 5 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...