A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems

Jungrhan Choi, Jin Young Choi, Jinho On, Moonkun Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In order to make the methods suitable to Complex Real-time Systems(CRS), it is necessary to reduce the complexity of CRS with a large number of heavily interacting mobile agents over spatial-temporal space. To demonstrate the necessity of the reduction, this paper presents a new formal method, namely, Calculus of Real-Time Distribution, Mobility, and Interaction(CARDMI). In CARDMI, the spatial requirements are described in the spatial map, called Reconfigurable Hyper Graph(RHG), for the geographical space where agents move and interact. The space is dynamically reconfigurable through mobility. The behaviors of the agents, that is, movements and interactions, can be hierarchically represented, analyzed and verified on RHG. Consequently, the separate representation reduces the complexity dramatically and makes the development of CRS more realistic and practical for industrial applications. This paper presents TAG(Timed Action Graph) for the graphical representation of the results of the execution. It shows the movements and interactions of agents are visually understandable over the hierarchically organized spatial domain along with the temporal dimension. For the implementation of the method, we have developed a new tool, called Specification, Analysis and Verification Environment (SAVE) to demonstrate the efficiency and effectiveness of the approach in the paper.

Original languageEnglish
Title of host publicationProceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008
Pages8-13
Number of pages6
Volume1
DOIs
Publication statusPublished - 2008 Dec 26
Event4th International Conference on Networked Computing and Advanced Information Management, NCM 2008 - Gyeongju, Korea, Republic of
Duration: 2008 Sep 22008 Sep 4

Other

Other4th International Conference on Networked Computing and Advanced Information Management, NCM 2008
CountryKorea, Republic of
CityGyeongju
Period08/9/208/9/4

Fingerprint

Real time systems
Specifications
Formal methods
Mobile agents
Industrial applications

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Cite this

Choi, J., Choi, J. Y., On, J., & Lee, M. (2008). A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems. In Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008 (Vol. 1, pp. 8-13). [4623969] https://doi.org/10.1109/NCM.2008.152

A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems. / Choi, Jungrhan; Choi, Jin Young; On, Jinho; Lee, Moonkun.

Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008. Vol. 1 2008. p. 8-13 4623969.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Choi, J, Choi, JY, On, J & Lee, M 2008, A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems. in Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008. vol. 1, 4623969, pp. 8-13, 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008, Gyeongju, Korea, Republic of, 08/9/2. https://doi.org/10.1109/NCM.2008.152
Choi J, Choi JY, On J, Lee M. A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems. In Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008. Vol. 1. 2008. p. 8-13. 4623969 https://doi.org/10.1109/NCM.2008.152
Choi, Jungrhan ; Choi, Jin Young ; On, Jinho ; Lee, Moonkun. / A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems. Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008. Vol. 1 2008. pp. 8-13
@inproceedings{fc5f42b330c6406dafa7a16646279218,
title = "A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems",
abstract = "In order to make the methods suitable to Complex Real-time Systems(CRS), it is necessary to reduce the complexity of CRS with a large number of heavily interacting mobile agents over spatial-temporal space. To demonstrate the necessity of the reduction, this paper presents a new formal method, namely, Calculus of Real-Time Distribution, Mobility, and Interaction(CARDMI). In CARDMI, the spatial requirements are described in the spatial map, called Reconfigurable Hyper Graph(RHG), for the geographical space where agents move and interact. The space is dynamically reconfigurable through mobility. The behaviors of the agents, that is, movements and interactions, can be hierarchically represented, analyzed and verified on RHG. Consequently, the separate representation reduces the complexity dramatically and makes the development of CRS more realistic and practical for industrial applications. This paper presents TAG(Timed Action Graph) for the graphical representation of the results of the execution. It shows the movements and interactions of agents are visually understandable over the hierarchically organized spatial domain along with the temporal dimension. For the implementation of the method, we have developed a new tool, called Specification, Analysis and Verification Environment (SAVE) to demonstrate the efficiency and effectiveness of the approach in the paper.",
author = "Jungrhan Choi and Choi, {Jin Young} and Jinho On and Moonkun Lee",
year = "2008",
month = "12",
day = "26",
doi = "10.1109/NCM.2008.152",
language = "English",
isbn = "9780769533223",
volume = "1",
pages = "8--13",
booktitle = "Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008",

}

TY - GEN

T1 - A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems

AU - Choi, Jungrhan

AU - Choi, Jin Young

AU - On, Jinho

AU - Lee, Moonkun

PY - 2008/12/26

Y1 - 2008/12/26

N2 - In order to make the methods suitable to Complex Real-time Systems(CRS), it is necessary to reduce the complexity of CRS with a large number of heavily interacting mobile agents over spatial-temporal space. To demonstrate the necessity of the reduction, this paper presents a new formal method, namely, Calculus of Real-Time Distribution, Mobility, and Interaction(CARDMI). In CARDMI, the spatial requirements are described in the spatial map, called Reconfigurable Hyper Graph(RHG), for the geographical space where agents move and interact. The space is dynamically reconfigurable through mobility. The behaviors of the agents, that is, movements and interactions, can be hierarchically represented, analyzed and verified on RHG. Consequently, the separate representation reduces the complexity dramatically and makes the development of CRS more realistic and practical for industrial applications. This paper presents TAG(Timed Action Graph) for the graphical representation of the results of the execution. It shows the movements and interactions of agents are visually understandable over the hierarchically organized spatial domain along with the temporal dimension. For the implementation of the method, we have developed a new tool, called Specification, Analysis and Verification Environment (SAVE) to demonstrate the efficiency and effectiveness of the approach in the paper.

AB - In order to make the methods suitable to Complex Real-time Systems(CRS), it is necessary to reduce the complexity of CRS with a large number of heavily interacting mobile agents over spatial-temporal space. To demonstrate the necessity of the reduction, this paper presents a new formal method, namely, Calculus of Real-Time Distribution, Mobility, and Interaction(CARDMI). In CARDMI, the spatial requirements are described in the spatial map, called Reconfigurable Hyper Graph(RHG), for the geographical space where agents move and interact. The space is dynamically reconfigurable through mobility. The behaviors of the agents, that is, movements and interactions, can be hierarchically represented, analyzed and verified on RHG. Consequently, the separate representation reduces the complexity dramatically and makes the development of CRS more realistic and practical for industrial applications. This paper presents TAG(Timed Action Graph) for the graphical representation of the results of the execution. It shows the movements and interactions of agents are visually understandable over the hierarchically organized spatial domain along with the temporal dimension. For the implementation of the method, we have developed a new tool, called Specification, Analysis and Verification Environment (SAVE) to demonstrate the efficiency and effectiveness of the approach in the paper.

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

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

U2 - 10.1109/NCM.2008.152

DO - 10.1109/NCM.2008.152

M3 - Conference contribution

AN - SCOPUS:57849109951

SN - 9780769533223

VL - 1

SP - 8

EP - 13

BT - Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008

ER -