Where academic tradition
meets the exciting future

Testable Specifications of NoTA-based Modular Embedded Systems

Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola, Testable Specifications of NoTA-based Modular Embedded Systems. TUCS Technical Reports 841, Turku Centre for Computer Science, 2007.

Abstract:

We propose an approach to specifying embedded devices based on the Network on Terminal Architecture (NoTA) and show how it allows the specification of NoTA components, including service interfaces, and timing and energy consumption constraints. The main purposes of such specifications are to enable vendors to provide already tested component implementations with respect to specifications, and system designers to test these components in integration. The proposed specifications feature both a graphical notation for facilitating the specification process using dedicated tools and a textual one for exchanging component specifications between system designers and vendors.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tLiLiPoTrErLaRa07a,
  title = {Testable Specifications of NoTA-based Modular Embedded Systems},
  author = {Lilius, Johan and Lindqvist, Johan and Porres, Ivan and Truscan, Dragos and Eriksson, Timo and Latva-Aho, Antti and Rakkola, Juha},
  number = {841},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2007},
  keywords = {NoTA architecture, testing specifications, SOA, SOC},
  ISBN = {978-952-12-1950-4},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB), Software Construction Laboratorium

Edit publication