User: Guest  Login
Original title:
A New Assertion Language Covering Multiple Levels of Abstraction 
Translated title:
Eine Neue Abstraktionsebenen Übergreifende Assertionssprache 
Year:
2008 
Document type:
Dissertation 
Institution:
Fakultät für Elektrotechnik und Informationstechnik 
Advisor:
Ecker, Wolfgang (Prof. Dr.) 
Referee:
Rammig, Franz Josef (Prof. Dr.) 
Language:
en 
Subject group:
ELT Elektrotechnik 
Keywords:
assertion, transaction level, temporal logic, petri nets, virtual prototype 
Translated keywords:
Assertion, Transaktionsebene, Temporal Logik, Petrinetze, Virtuelle Prototypen 
Abstract:
In this work, a new assertion language and verification framework has been developed. It enables the specification and validation of temporal properties accross different abstraction levels. This new language is required because existing assertion languages do only offer limited support for the verification of abstract, nonsynthesizable models. The semantics of the language is defined by a mapping onto a high-level colored petri net. The advantageous applicability of this langua...    »
 
Translated abstract:
Im Rahmen dieser Arbeit wurde eine neue Assertionsprache und Verifikationsumgebung entwickelt, welche die Spezifizierung und Validierung von temporalen Modelleigenschaften über Abstraktionsebenen hinweg ermöglicht. Die Entwicklung der Sprache ist notwendig weil existierende Assertionsprachen die Anwendung auf nicht synthetisierbare abstrakte Modelle nur eingeschränkt ermöglichen. Die formale Semantik der Sprache wurde durch die Abbildung auf ein abstraktes gefärbtes Petrinetz...    »
 
Oral examination:
19.06.2008 
Pages:
232 
Last change:
01.07.2008