Sciweavers

73 search results - page 4 / 15
» AutoMoDe - Model-Based Development of Automotive Software
Sort
View
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
14 years 3 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...
DATE
2010
IEEE
175views Hardware» more  DATE 2010»
14 years 1 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
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
14 years 1 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...
ECRTS
2005
IEEE
14 years 2 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, ...
SOSE
2006
IEEE
14 years 2 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...