Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540376774, 9783540376781

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software for Automotive Systems: Model-Integrated Computing

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_9 ◽

2006 ◽

pp. 116-136

Author(s):

Sandeep Neema ◽

Gabor Karsai

Keyword(s):

Automotive Systems ◽

Systems Model

Download Full-text

A Compositional Framework for Real-Time Guarantees

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_4 ◽

2006 ◽

pp. 43-56

Author(s):

Insik Shin ◽

Insup Lee

Keyword(s):

Real Time

Download Full-text

Validation of Component and Service Federations in Automotive Software Applications

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_5 ◽

2006 ◽

pp. 57-73 ◽

Cited By ~ 1

Author(s):

Luciano Baresi ◽

Carlo Ghezzi

Keyword(s):

Automotive Software ◽

Software Applications

Download Full-text

Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_2 ◽

2006 ◽

pp. 15-30 ◽

Cited By ~ 1

Author(s):

Klaus D. Mueller-Glaser ◽

Clemens Reichmann ◽

Markus Kuehl ◽

Stefan Benz

Keyword(s):

Quality Assurance ◽

Electronic Control ◽

Tool Integration ◽

Case Tool ◽

Integration Platform ◽

Safety Critical ◽

Automotive Electronic ◽

Control Units ◽

Software Modules

Download Full-text

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_1 ◽

2006 ◽

pp. 1-14 ◽

Cited By ~ 4

Author(s):

Christian Ferdinand ◽

Reinhold Heckmann ◽

Reinhard Wilhelm

Keyword(s):

Execution Time ◽

Abstract Interpretation ◽

Worst Case ◽

Executable Code ◽

Worst Case Execution Time

Download Full-text

Adding Value to Automotive Models

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_7 ◽

2006 ◽

pp. 86-102 ◽

Cited By ~ 3

Author(s):

Eckard Böde ◽

Werner Damm ◽

Jarl Høyem ◽

Bernhard Josko ◽

Jürgen Niehaus ◽

...

Download Full-text

Towards a Component Architecture for Hard Real Time Control Applications

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_6 ◽

2006 ◽

pp. 74-85 ◽

Cited By ~ 2

Author(s):

Wolfgang Pree ◽

Josef Templ

Keyword(s):

Real Time ◽

Real Time Control ◽

Control Applications ◽

Time Control ◽

Component Architecture ◽

Hard Real Time

Download Full-text

Simulink Integration of Giotto/TDL

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_10 ◽

2006 ◽

pp. 137-154 ◽

Cited By ~ 2

Author(s):

Wolfgang Pree ◽

Gerald Stieglbauer ◽

Josef Templ

Download Full-text

Automotive Software: A Challenge and Opportunity for Model-Based Software Development

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_8 ◽

2006 ◽

pp. 103-115 ◽

Cited By ~ 1

Author(s):

Gabor Karsai

Keyword(s):

Software Development ◽

Automotive Software ◽

Model Based

Download Full-text

On the Fault Hypothesis for a Safety-Critical Real-Time System

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science ◽

10.1007/11823063_3 ◽

2006 ◽

pp. 31-42 ◽

Cited By ~ 8

Author(s):

H. Kopetz

Keyword(s):

Real Time ◽

Time System ◽

Real Time System ◽

Safety Critical

Download Full-text

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Software for Automotive Systems: Model-Integrated Computing

A Compositional Framework for Real-Time Guarantees

Validation of Component and Service Federations in Automotive Software Applications

Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

Adding Value to Automotive Models

Towards a Component Architecture for Hard Real Time Control Applications

Simulink Integration of Giotto/TDL

Automotive Software: A Challenge and Opportunity for Model-Based Software Development

On the Fault Hypothesis for a Safety-Critical Real-Time System

Automotive Software – Connected Services in Mobile Networks - Lecture Notes in Computer Science
Latest Publications