elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] 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. Diploma, FH Wolfenbüttel.

Full text not available from this repository.

Abstract

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.

Document Type:Thesis (Diploma)
Additional Information: LIDO-Berichtsjahr=2002,
Title:Analyse des Entwicklungsstandes von Verfahren und entsprechender Tools der formalen Codeverifikation für Echtzeitsysteme
Authors:
AuthorsInstitution or Email of Authors
Müller, M.UNSPECIFIED
Date:2002
Number of Pages:98
Status:Unpublished
Keywords:Echtzeitsystem, codeverifikation
Institution:FH Wolfenbüttel
HGF - Research field:other
HGF - Program:UNSPECIFIED
HGF - Program Themes:UNSPECIFIED
DLR - Research area:no assignement
DLR - Program:UNSPECIFIED
DLR - Research theme (Project):UNSPECIFIED
Location: Köln-Porz
Institutes and Institutions:Institut of Simulation and Software Technology
Deposited By: Christine Köninger
Deposited On:16 Sep 2005
Last Modified:14 Jan 2010 18:48

Repository Staff Only: item control page

Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.