Testable Specifications of NoTA-based Modular Embedded Systems (2007)
J. Lilius, J. Lindqvist, I. Porres, D. Truscan, T. Eriksson, A. Latva-aho, ...
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,...
Abstract The main aim of this article is to discuss how the functional and the object-oriented views can be inter-played to represent the various modeling perspectives of embedded systems. We discuss...