GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Modellierung
  • P082 - Modellierung 2006
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Modellierung
  • P082 - Modellierung 2006
  • View Item

Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs

Author:
Bogenberger, Richard [DBLP] ;
Trachtenherz, David [DBLP]
Abstract
Softwarebasierte Funktionalitäten gewinnen zunehmend an Bedeutung für moderne Automobile – ein Großteil der Innovationen wird von Elektronik und Software getrieben. Zahlreiche Sicherheits- und Komfortfunktionen werden durch Software ermöglicht. Automobile eingebettete Systeme bilden ein hochkomplexes heterogenes Netzwerk, bestehend aus bis zu 70 Steuergeräten. Die Beherrschung der Komplexität dieser Netzwerke stellt zurzeit eine der größten Herausforderungen für Softwareingenieure im Automobilbereich dar. Während testbasierte Methoden zur Qualitätssicherung für solche vernetzten Systeme an ihre Grenzen stoßen, eröffnen formale Methoden durch Behandlung von Systemspezifikationen auf höherer Abstraktionsebene eine Perspektive der Qualitätssicherung in frühen Entwicklungsphasen, in denen die Netzwerkarchitektur entworfen wird.
  • Citation
  • BibTeX
Bogenberger, R. & Trachtenherz, D., (2006). Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. In: Mayr, H. C. & Breu, R. (Hrsg.), Modellierung 2006. Bonn: Gesellschaft für Informatik e.V.. (S. 35-49).
@inproceedings{mci/Bogenberger2006,
author = {Bogenberger, Richard AND Trachtenherz, David},
title = {Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs},
booktitle = {Modellierung 2006},
year = {2006},
editor = {Mayr, Heinrich C. AND Breu, Ruth} ,
pages = { 35-49 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings-82-4.pdf165.9Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 3-88579-175-7
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2006
Language: de (de)
Content Type: Text/Conference Paper
Collections
  • P082 - Modellierung 2006 [29]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.