15401 search results - page 106 / 3081 » Software in Automotive Systems |
127
click to vote
SEUS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
133
click to vote
MODELS
2010
Springer
15 years 5 days ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
132
Voted
ICETET
2009
IEEE
14 years 11 months ago
2009
IEEE
With increasing concern about energy shortage and environmental protection, research on reducing exhaust emissions, reducing fuel consumption, reducing engine noise and increasing...
124
Voted
PAMI
2006
15 years 1 months ago
2006
Developing on-board automotive driver assistance systems aiming to alert drivers about driving environments, and possible collision with other vehicles has attracted a lot of atten...
112
click to vote
RE
2009
Springer
15 years 6 months ago
2009
Springer
Increasingly complex supplier-relationships dominate product development, independent of industries and products. Mostly the primary source of risks and later problems is insuffic...