Software composition and verification for sensor networks
  • Metaadatok
Tartalom: http://dx.doi.org/10.1016/j.scico.2004.11.012
Archívum: MTA Könyvtár
Gyűjtemény: Status = Published


Type = Article
Cím:
Software composition and verification for sensor networks
Létrehozó:
Völgyesi, Péter
Maróti, Miklós
Dóra, S.
Osses, E.
Lédeczi, Ákos
Kiadó:
Elsevier
Dátum:
2005
Téma:
QA Mathematics / matematika
QA72 Algebra / algebra
Tartalmi leírás:
Component-based design has become a necessity for networked embedded systems where hardware platforms come in a great variety and evolve extremely rapidly. Operating system components and higher level middleware services call for modular software construction along clear interfaces. The way we describe these interfaces and process the captured information is of crucial importance for exploiting the benefits of component-based design. In this paper we present a model based approach to the development of embedded applications with a special emphasis on interface specification. The proposed formalism captures the temporal and type aspects of interfaces and supports the composition and verification of components. Along with the formal definition of the proposed interface language and component compatibility rules, we present a modeling environment targeting TinyOS, a representative embedded operating system. Two prototype tools are also described that check the composability of components based on their interface models and verify that the implementation of a component matches its formal model, respectively.
Típus:
Article
PeerReviewed
Formátum:
text
Azonosító:
Völgyesi, Péter and Maróti, Miklós and Dóra, S. and Osses, E. and Lédeczi, Ákos (2005) Software composition and verification for sensor networks. Science of Computer Programming, 56 (1-2). pp. 191-210. ISSN 0167-6423
Kapcsolat: