Testable Specifications of NoTA-based Modular Embedded Systems

Author

Truscan, D. ; Lindqvist, Janne ; Lilius, Johan

Author_Institution

Abo Akademi Univ., Turku

fYear

2008

fDate

March 31 2008-April 4 2008

Firstpage

375

Lastpage

383

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ECBS.2008.38

Filename

4492419