direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

[1]

News

Übersicht Veranstaltungen im Sommersemester 2022 jetzt online

Ab sofort finden Sie hier [2]eine Übersicht über unsere Veranstaltungen im kommenden Sommersemester.

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

Aktuelle Veröffentlichungen

Towards a Formal Semantics of the SystemC-TLM Core Interfaces
Zitatschlüssel Pockrandt2011
Autor Marcel Pockrandt and Paula Herber and Sabine Glesner
Buchtitel GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
Jahr 2011
Zusammenfassung The SystemC Transaction Level Modeling (TLM) standard is widely used for modeling and simulation in hardware/software co-design. However, the semantics of the TLM core interfaces is only informally defined. This makes it impossible to apply formal verification techniques to transaction level models that conform to the TLM standard. To solve this problem, we propose a formal semantics of the TLM transport mechanisms using timed automata. We achieve this by a transformation from a given TLM model into a set of timed automata that precisely capture the semantics of the TLM core interfaces. This transformation is an extension of our previously proposed transformation from SystemC model into UPPAAL timed automata and can be used to verify temporal properties of TLM models using the UPPAAL model checker.
Download Bibtex Eintrag [3]

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866
E-Mail-Anfrage [5]
Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008