Testen eingebetteter Systeme
Testen eingebetteter Systeme
Testen eingebetteter Systeme
- Keine Tags gefunden...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Literaturverzeichnis[Ka03][Kr99][Li02][LR04][SD02]Bernhard Kaiser: A Fault-Tree Semantics to model Software-ControlledSystems, in: Softwaretechnik-Trends, Band 23, Heft 3, August 2003,http://pi.informatik.unisiegen.de/stt/23_3/03_Technische_Beitraege/Kaiser_03_SWT.psThomas Kropf: Introduction to formal hardware verification, Springer,1999.Peter Liggesmeyer: Software-Qualität: <strong>Testen</strong>, Analysieren und Verifizierenvon Software, Spektrum, Akad. Verlag, 2002.Peter Liggesmeyer, Martin Rothfelder: Sicherheit und Zuverlässigkeit<strong>eingebetteter</strong> <strong>Systeme</strong>: Realisierung, Prüfung und Nachweis,Seminarunterlage, DIA Deutsche Informatik-Akademie, 2004.Axel Sikora, Rolf Drechsler: Software-Engineering und Hardware-Design:Eine systematische Einführung, Carl Hanser Verlag, 2002.[Si04] Christian Siegel: Facharbeit Mathematik: Markov-Ketten, April 2004,http://www.siegel-christian.de/seiten/facharbeit/markow.html[Sp01]Bernhard Spitzer: Modellbasierter Hardware-in-the-Loop Test voneingebetteten <strong>Systeme</strong>n, Dissertation, Universität Fridericiana Karlsruhe,Dezember 2001, http://www.ubka.uni-karlsruhe.de/cgibin/psgunzip/2001/elektrotechnik/12/12.ps24
Change language