A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

  • The University of Auckland
  • Institut national de recherche en informatique et en automatique

Kuvaus

Modern ubiquitous computing systems are created with large number of embedded sensing and actuation devices, which together form complex distributed collaborative systems. While the advancements in underlying embedded sensing, actuation and control technologies are tremendous, the system designers still lack proper software approach that can handle systems with complex and concurrent control flow on distributed networked infrastructure. In this paper, a system-level design language, SystemJ, which is based on a formal Model of Computation, is used to provide a new design paradigm for ambient intelligence systems. SystemJ has a set of kernel statements for modeling reactivity, preemptions and concurrency, which allow intuitive handling and composition of complex systems based on concurrent software behaviors. It also provides high level objects called signals and channels, to abstract away the underlying hardware devices and communication mechanisms. The run-time support of the language provides functionalities similar to middleware. An access and environment control system demonstrates the use of SystemJ in implementing typical reactive behaviors in ambient intelligence applications.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013
TilaJulkaistu - 2013
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaIEEE International Conference on Trust, Security and Privacy in Computing and Communications - Melbourne, Austraalia
Kesto: 16 heinäkuuta 201318 heinäkuuta 2013
Konferenssinumero: 12

Conference

ConferenceIEEE International Conference on Trust, Security and Privacy in Computing and Communications
LyhennettäTrustCom
MaaAustraalia
KaupunkiMelbourne
Ajanjakso16/07/201318/07/2013

ID: 17157491