1130 search results - page 18 / 226 » Challenges in the design of automotive software |
CODES
2003
IEEE
15 years 2 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...
75
Voted
HCI
2007
14 years 11 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...
VSTTE
2005
Springer
15 years 3 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 ...
107
click to vote
FECS
2008
14 years 11 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...
97
Voted
VSTTE
2010
Springer
14 years 7 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...