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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

  • Heejong Park
  • Zoran Salcic
  • Kevin I.Kai Wang
  • Udayanto Atmojo

  • Wei Tsun Sun
  • Avinash Malik

Research units

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

Abstract

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.

Details

Original languageEnglish
Title of host publicationProceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Trust, Security and Privacy in Computing and Communications - Melbourne, Australia
Duration: 16 Jul 201318 Jul 2013
Conference number: 12

Conference

ConferenceIEEE International Conference on Trust, Security and Privacy in Computing and Communications
Abbreviated titleTrustCom
CountryAustralia
CityMelbourne
Period16/07/201318/07/2013

    Research areas

  • ambient intelligence, formal model of computation, pervasive ystems, reactive concurrent systems

ID: 17157491