• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Aspects of Formal and Graphical Design of a Bus System

Tiberiu Seceleanu, Tomi Westerlund, Aspects of Formal and Graphical Design of a Bus System. In: Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 396-403, IEEE Computer Society, 2004.

Abstract:

This study shows the derivation of a local segmented bus arbiter
from an original single segment bus arbiter. The operations are
performed in the formal framework of action systems and illustrated
in a graphical manner using the corresponding action systems –
UML profile notations. The derivation is useful both to demonstrate
the capability of preserving correctness when considering an
important hardware design decision and also to identify means
through which this kind of decisions can be performed in a graphical
environment.

BibTeX entry:

@INPROCEEDINGS{inpSeWe04a,
  title = {Aspects of Formal and Graphical Design of a Bus System},
  booktitle = {Design, Automation and Test in Europe Conference and Exposition (DATE 2004)},
  author = {Seceleanu, Tiberiu and Westerlund, Tomi},
  publisher = {IEEE Computer Society},
  pages = {396-403},
  year = {2004},
}

Belongs to TUCS Research Unit(s): Communication Systems (ComSys)

Edit publication