Sciweavers

15401 search results - page 2 / 3081
» Software in Automotive Systems
Sort
View
66
Voted
SOFTWARE
2010
14 years 8 months ago
Software in Automotive Systems
Jurgen Mossinger
ICSE
2008
IEEE-ACM
15 years 10 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
COMPSAC
2007
IEEE
15 years 1 months ago
A Component Model for the AUTOSAR Virtual Function Bus
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...
Dietmar Schreiner, Karl M. Göschka
ISSRE
2010
IEEE
14 years 8 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
ASWSD
2004
Springer
15 years 3 months ago
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Gabor Karsai