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

Standard

A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example. / Park, Heejong; Salcic, Zoran; Wang, Kevin I.Kai; Atmojo, Udayanto Dwi; Sun, Wei Tsun; Malik, Avinash.

Proceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013. 2013. p. 1188-1197 6680964.

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

Harvard

Park, H, Salcic, Z, Wang, KIK, Atmojo, UD, Sun, WT & Malik, A 2013, A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example. in Proceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013., 6680964, pp. 1188-1197, IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Melbourne, Australia, 16/07/2013. https://doi.org/10.1109/TrustCom.2013.143

APA

Park, H., Salcic, Z., Wang, K. I. K., Atmojo, U. D., Sun, W. T., & Malik, A. (2013). A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example. In Proceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013 (pp. 1188-1197). [6680964] https://doi.org/10.1109/TrustCom.2013.143

Vancouver

Park H, Salcic Z, Wang KIK, Atmojo UD, Sun WT, Malik A. A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example. In Proceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013. 2013. p. 1188-1197. 6680964 https://doi.org/10.1109/TrustCom.2013.143

Author

Park, Heejong ; Salcic, Zoran ; Wang, Kevin I.Kai ; Atmojo, Udayanto Dwi ; Sun, Wei Tsun ; Malik, Avinash. / A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example. Proceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013. 2013. pp. 1188-1197

Bibtex - Download

@inproceedings{3d6b011333794159ae6b3ccd6595ad76,
title = "A new design paradigm for designing reactive pervasive concurrent systems with an ambient intelligence example",
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.",
keywords = "ambient intelligence, formal model of computation, pervasive ystems, reactive concurrent systems",
author = "Heejong Park and Zoran Salcic and Wang, {Kevin I.Kai} and Atmojo, {Udayanto Dwi} and Sun, {Wei Tsun} and Avinash Malik",
year = "2013",
doi = "10.1109/TrustCom.2013.143",
language = "English",
isbn = "9780769550220",
pages = "1188--1197",
booktitle = "Proceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013",

}

RIS - Download

TY - GEN

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

AU - Park, Heejong

AU - Salcic, Zoran

AU - Wang, Kevin I.Kai

AU - Atmojo, Udayanto Dwi

AU - Sun, Wei Tsun

AU - Malik, Avinash

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - ambient intelligence

KW - formal model of computation

KW - pervasive ystems

KW - reactive concurrent systems

UR - http://www.scopus.com/inward/record.url?scp=84893509732&partnerID=8YFLogxK

U2 - 10.1109/TrustCom.2013.143

DO - 10.1109/TrustCom.2013.143

M3 - Conference contribution

SN - 9780769550220

SP - 1188

EP - 1197

BT - Proceedings - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013

ER -

ID: 17157491