Testable specifications of NoTA-based modular embedded systems

Johan Lilius; Johan Lindqvist; Ivan Porres Paltor; Dragos Truscan; Timo Eriksson; Antti Latva-Aho; Juha Rakkola

Testable specifications of NoTA-based modular embedded systems

Johan Lilius, Johan Lindqvist, Ivan Porres Paltor, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

17 Lataukset (Pure)

Abstrakti

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.

Alkuperäiskieli	Englanti
Kustantaja	Turku Centre for Computer Science (TUCS)
ISBN (painettu)	978-952-12-1950-4
Tila	Julkaistu - 2007
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Pääsy asiakirjaan

TR841Lopullinen julkaistu versio, 375 KB

https://urn.fi/URN:NBN:fi-fe2022120168445

PECOS: Power and Energy Consumption Testing for NoTA Devices
Lilius, J., Porres Paltor, I. & Truscan, D.
01/09/06 → 30/06/08
Projekti: Contract Research

Viittausmuodot

@book{f8fde7d47f8b47a9b2c831f54056c6f8,

title = "Testable specifications of NoTA-based modular embedded systems",

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.",

author = "Johan Lilius and Johan Lindqvist and {Porres Paltor}, Ivan and Dragos Truscan and Timo Eriksson and Antti Latva-Aho and Juha Rakkola",

note = "TUCS Technical Report No 841",

year = "2007",

language = "English",

isbn = "978-952-12-1950-4",

publisher = "Turku Centre for Computer Science (TUCS)",

}

TY - BOOK

T1 - Testable specifications of NoTA-based modular embedded systems

AU - Lilius, Johan

AU - Lindqvist, Johan

AU - Porres Paltor, Ivan

AU - Truscan, Dragos

AU - Eriksson, Timo

AU - Latva-Aho, Antti

AU - Rakkola, Juha

N1 - TUCS Technical Report No 841

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

M3 - Commissioned report

SN - 978-952-12-1950-4

BT - Testable specifications of NoTA-based modular embedded systems

PB - Turku Centre for Computer Science (TUCS)

ER -

Testable specifications of NoTA-based modular embedded systems

Abstrakti

Pääsy asiakirjaan

Sormenjälki

Projektit

PECOS: Power and Energy Consumption Testing for NoTA Devices

Viittausmuodot