Benutzer: Gast  Login
Originaltitel:
A New Assertion Language Covering Multiple Levels of Abstraction 
Übersetzter Titel:
Eine Neue Abstraktionsebenen Übergreifende Assertionssprache 
Jahr:
2008 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Elektrotechnik und Informationstechnik 
Betreuer:
Ecker, Wolfgang (Prof. Dr.) 
Gutachter:
Rammig, Franz Josef (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
ELT Elektrotechnik 
Stichworte:
assertion, transaction level, temporal logic, petri nets, virtual prototype 
Übersetzte Stichworte:
Assertion, Transaktionsebene, Temporal Logik, Petrinetze, Virtuelle Prototypen 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Mündliche Prüfung:
19.06.2008 
Seiten:
232 
Letzte Änderung:
01.07.2008