1130 search results - page 18 / 226 » Challenges in the design of automotive software |
175
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...
148
click to vote
HCI
2007
15 years 7 months ago
2007
This paper introduces a novel design approach for an automotive direct manipulation interface. The proposed design, as applied in a fullwindshield Head-Up Display system, aims to i...
140
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
203
click to vote
FECS
2008
15 years 7 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
168
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...