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/raporttiTutkimusraporttiAmmatillinen

    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äiskieliEnglanti
    KustantajaTurku Centre for Computer Science (TUCS)
    ISBN (painettu)978-952-12-1950-4
    TilaJulkaistu - 2007
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Sormenjälki Sukella tutkimusaiheisiin 'Testable specifications of NoTA-based modular embedded systems'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

    Viittausmuodot