elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Analyse des Entwicklungsstandes von Verfahren und entsprechender Tools der formalen Codeverifikation für Echtzeitsysteme

Müller, M. (2002) Analyse des Entwicklungsstandes von Verfahren und entsprechender Tools der formalen Codeverifikation für Echtzeitsysteme. Diplomarbeit, FH Wolfenbüttel.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

In dieser Diplomarbeit wird der derzeitige Entwicklungsstand von Verfahren und Tools der formalen Codeverfikation von Echtzeitsystemen analysiert. Echtzeitsysteme unterliegen der Forderung nach funktionaler und zeitlicher Korrektheit. Bei der formalen Verfikation stellen zur Zeit die Komplexität, die Menge der zu modellierenden Einflußgrößen und der verhältnismässig hohe Arbeitsaufwand die größten Hindernisse für einen praktischen Einsatz dar. Die betrachteten Verfahren und Tools- von denen keines für die fromale Codeverifikation von Echtzeitsystemen in relevanter Größenordnung geeignet ist - werden anhand eines Bewertungsschemas auf ihre Brauchbarkeit hin überprüft. Die maßgeblichen Bewertungskriterien sind die Skalierbarkeit, Integrierbarkeit, Plattforminformationen, Exaktheit, Akzeptanz sowie die Wirtschaftlichkeit der Verfahren und Tools.

Dokumentart:Hochschulschrift (Diplomarbeit)
Zusätzliche Informationen: LIDO-Berichtsjahr=2002,
Titel:Analyse des Entwicklungsstandes von Verfahren und entsprechender Tools der formalen Codeverifikation für Echtzeitsysteme
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Müller, M.NICHT SPEZIFIZIERT
Datum:2002
Seitenanzahl:98
Status:nicht veröffentlicht
Stichwörter:Echtzeitsystem, codeverifikation
Institution:FH Wolfenbüttel
HGF - Forschungsbereich:keine Zuordnung
HGF - Programm:NICHT SPEZIFIZIERT
HGF - Programmthema:NICHT SPEZIFIZIERT
DLR - Schwerpunkt:keine Zuordnung
DLR - Forschungsgebiet:NICHT SPEZIFIZIERT
DLR - Teilgebiet (Projekt, Vorhaben):NICHT SPEZIFIZIERT
Standort: Köln-Porz
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik
Hinterlegt von: Christine Köninger
Hinterlegt am:16 Sep 2005
Letzte Änderung:14 Jan 2010 18:48

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.