Testable Specifications of NoTA-based Modular Embedded Systems
Dragoş Truşcan, Johan Lindqvist, Johan Lilius, Iván Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho · 2008
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.