Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Testable Specifications of NoT...

Testable Specifications of NoTA-Based Modular Embedded Systems

Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho, Testable Specifications of NoTA-Based Modular Embedded Systems. In: Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), International Conference and Workshops on Engineering of Computer-Based Systems, 375–383, IEEE Computer Society, 2008.

http://dx.doi.org/10.1109/ECBS.2010.13

Abstract:

We propose an approach to specifying embedded devices based on the Network on Terminal Architecture (NoTA) and show how the approach allows the specification of NoTA components, including service interfaces, and timing and energy consumption constraints. The purpose of such specifications is two fold: to enable vendors to provide already tested component implementations with respect to specifications, and to allow 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.

BibTeX entry:

@INPROCEEDINGS{inpTrLiLiPoErRaLa08a,
  title = {Testable Specifications of NoTA-Based Modular Embedded Systems},
  booktitle = {Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)},
  author = {Truscan, Dragos and Lindqvist, Johan and Lilius, Johan and Porres, Ivan and Eriksson, Timo and Rakkola, Juha and Latva-Aho, Antti},
  series = {International Conference and Workshops on Engineering of Computer-Based Systems},
  publisher = {IEEE Computer Society},
  pages = {375–383},
  year = {2008},
}

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

Publication Forum rating of this publication: level 1

Edit publication