327 search results - page 21 / 66 » Service-Oriented Modelling of Automotive Systems |
100
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
104
click to vote
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
103
click to vote
COMPSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
DAC
2007
ACM
15 years 3 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...