Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540709299, 9783540709305

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling with the Timing Definition Language (TDL)

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_9 ◽

2008 ◽

pp. 133-144 ◽

Cited By ~ 5

Author(s):

Wolfgang Pree ◽

Josef Templ

Download Full-text

An Instrumentation-Based Approach to Controller Model Validation

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_6 ◽

2008 ◽

pp. 84-97 ◽

Cited By ~ 14

Author(s):

Rance Cleaveland ◽

Scott A. Smolka ◽

Steven T. Sims

Keyword(s):

Model Validation

Download Full-text

A Software and System Modeling Facility for Vehicle Environment Interactions

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_3 ◽

2008 ◽

pp. 34-47 ◽

Cited By ~ 1

Author(s):

Edward Nelson ◽

Henry Huang

Keyword(s):

System Modeling

Download Full-text

The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_1 ◽

2008 ◽

pp. 1-14 ◽

Cited By ~ 4

Author(s):

K. Venkatesh Prasad ◽

Thomas J. Giuli ◽

David Watson

Keyword(s):

Automotive Software

Download Full-text

Generating Sound and Resource-Aware Code from Hybrid Systems Models

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_4 ◽

2008 ◽

pp. 48-66 ◽

Cited By ~ 3

Author(s):

Madhukar Anand ◽

Sebastian Fischmeister ◽

Jesung Kim ◽

Insup Lee

Keyword(s):

Hybrid Systems ◽

Systems Models ◽

Resource Aware

Download Full-text

Towards Model-Driven Development of Hard Real-Time Systems

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_10 ◽

2008 ◽

pp. 145-160 ◽

Cited By ~ 3

Author(s):

Christian Ferdinand ◽

Reinhold Heckmann ◽

Hans-Jörg Wolff ◽

Christian Renz ◽

Oleg Parshin ◽

...

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

Hard Real Time ◽

Time Systems

Download Full-text

Towards Verification of Model Transformations Via Goal-Directed Certification

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_5 ◽

2008 ◽

pp. 67-83 ◽

Cited By ~ 2

Author(s):

Gabor Karsai ◽

Anantha Narayanan

Keyword(s):

Model Transformations

Download Full-text

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_7 ◽

2008 ◽

pp. 98-117 ◽

Cited By ~ 2

Author(s):

Juergen Grossmann ◽

Ines Fey ◽

Alexander Krupp ◽

Mirko Conrad ◽

Christian Wewetzer ◽

...

Keyword(s):

Embedded Software ◽

Model Based ◽

Model Based Testing ◽

Exchange Language

Download Full-text

Reusable Services and Semi-automatic Service Composition for Automotive Software

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_11 ◽

2008 ◽

pp. 161-181

Author(s):

Holger Giese

Keyword(s):

Service Composition ◽

Automotive Software ◽

Automatic Service Composition

Download Full-text

Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_8 ◽

2008 ◽

pp. 118-132

Author(s):

Venkita Subramonian ◽

Christopher Gill

Keyword(s):

Integrated Model ◽

Empirical Validation ◽

Reusable Software ◽

Model Driven ◽

Automotive Systems ◽

Software Frameworks

Download Full-text

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modeling with the Timing Definition Language (TDL)

An Instrumentation-Based Approach to Controller Model Validation

A Software and System Modeling Facility for Vehicle Environment Interactions

The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

Generating Sound and Resource-Aware Code from Hybrid Systems Models

Towards Model-Driven Development of Hard Real-Time Systems

Towards Verification of Model Transformations Via Goal-Directed Certification

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

Reusable Services and Semi-automatic Service Composition for Automotive Software

Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science
Latest Publications