Eine ganzheitliche Methodik für den automatisierten Echtzeit-Nachweis zur Absicherung hoch integrierter, sicherheits-kritischer Software-Systeme (German)
- New search for: Richter, Kai
- New search for: Jersak, Marek
- New search for: Ferdinand, Christian
- New search for: Gliwa, Peter
- New search for: Richter, Kai
- New search for: Jersak, Marek
- New search for: Ferdinand, Christian
- New search for: Gliwa, Peter
In:
Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Automotive - Safety & Security, 2010
;
27-41
;
2010
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Eine ganzheitliche Methodik für den automatisierten Echtzeit-Nachweis zur Absicherung hoch integrierter, sicherheits-kritischer Software-Systeme
-
Additional title:An integral method for the automated real time verification to assure deeply integrated, safety critcal software systems
-
Contributors:Richter, Kai ( author ) / Jersak, Marek ( author ) / Ferdinand, Christian ( author ) / Gliwa, Peter ( author )
-
Published in:Berichte aus der Softwaretechnik ; 27-41
-
Publisher:
- New search for: Shaker
-
Place of publication:Aachen
-
Publication date:2010
-
Size:15 Seiten, 11 Bilder, 13 Quellen
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:German
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 11
-
Safety- and security-related features in AUTOSARBunzel, Stefan / Fürst, Simon / Stappert, Friedhelm / Wagenhuber, Josef et al. | 2010
- 27
-
Eine ganzheitliche Methodik für den automatisierten Echtzeit-Nachweis zur Absicherung hoch integrierter, sicherheits-kritischer Software-SystemeRichter, Kai / Jersak, Marek / Ferdinand, Christian / Gliwa, Peter et al. | 2010
- 43
-
Sicherheitskritische Echtzeitsysteme mit JavaWalter, Andy et al. | 2010
- 53
-
Efficient scheduling of reliable automotive multi-core systems with PD2 by weakening ERfair task system requirementsDeubzer, Michael / Margull, Ulrich / Mottok, Jürgen / Niemetz, Michael / Wirrer, Gerhard et al. | 2010
- 83
-
Increasing reliability and availability for automotive embedded devices by enhanced wiring diagnosisFörster, Ralf / Kempf, Annette / Niemetz, Michael / Thiveos, Konstantin / Wirrer, Gerhard / Wolfarth, Gunther et al. | 2010
- 93
-
A secure and privacy-preserving electronic license plateWolf, Marko et al. | 2010
- 103
-
Decision model for automotive intrusion detection systemsMüter, Michael / Hoppe, Tobias / Dittmann, Jana et al. | 2010