302 search results - page 55 / 61 » An approach to synthesise safe systems |
AUTOMOTIVEUI
2009
ACM
15 years 5 months ago
2009
ACM
The increasing traffic volume confronts the road user with a challenging task. The high number of traffic deaths might not be reducible with passive safety alone. However systems ...
96
Voted
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
95
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
103
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
We present the design, development, and evaluation of an end-user installable, whole house power consumption sensing system capable of gathering accurate real-time power use that ...
110
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...