Title :
Testable Specifications of NoTA-based Modular Embedded Systems
Author :
Truscan, D. ; Lindqvist, Janne ; Lilius, Johan
Author_Institution :
Abo Akademi Univ., Turku
fDate :
March 31 2008-April 4 2008
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.
Keywords :
embedded systems; formal specification; program testing; component specification; embedded device specification; graphical notation; modular embedded system; terminal architecture network; testable specification; Computer interfaces; Computer networks; Conferences; Embedded computing; Embedded system; Energy consumption; Information technology; Service oriented architecture; System testing; Timing; NoTA architecture; SOA; SOC; testing specifications;
Conference_Titel :
Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the
Conference_Location :
Belfast
Print_ISBN :
0-7695-3141-5
DOI :
10.1109/ECBS.2008.38
