Sciweavers

73 search results - page 4 / 15
» AutoMoDe - Model-Based Development of Automotive Software
Sort
View
86
Voted
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 7 months ago
Software Components for Reliable Automotive Systems
System-level integration requires an overall understanding of the interplay of the sub-systems to enable componentbased development with portability, reconfigurability and extens...
Harald Heinecke, Werner Damm, Bernhard Josko, Alex...
108
Voted
DATE
2010
IEEE
175views Hardware» more  DATE 2010»
15 years 6 months ago
Challenges in the design of automotive software
—Since the foundation of AUTomotive Open System ARchitecture (AUTOSAR), the AUTOSAR Core Partners and more than 65 Premium and Development Members have been working on the standa...
Simon Fürst
101
Voted
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 6 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
144
Voted
ECRTS
2005
IEEE
15 years 6 months ago
Applying Static WCET Analysis to Automotive Communication Software
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, ...
102
Voted
SOSE
2006
IEEE
15 years 7 months ago
Formal incremental requirements specification of service-oriented automotive software systems
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Judith Hartmann, Sabine Rittmann, Doris Wild, Pete...