elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | 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.

Item URL in elib:https://elib.dlr.de/12319/
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 AuthorsAuthors ORCID iD
Müller, M.UNSPECIFIEDUNSPECIFIED
Date:2002
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
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 assignment
DLR - Program:UNSPECIFIED
DLR - Research theme (Project):UNSPECIFIED
Location: Köln-Porz
Institutes and Institutions:Institut of Simulation and Software Technology
Deposited By: Köninger, Christine
Deposited On:16 Sep 2005
Last Modified:14 Jan 2010 18:48

Repository Staff Only: item control page

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