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
DOIs
Publication statusPublished - 2008
Event4th International Conference on Networked Computing and Advanced Information Management, NCM 2008 - Gyeongju, Korea, Republic of
Duration: 2008 Sept 22008 Sept 4

Publication series

NameProceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008
Volume1

Other

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

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Fingerprint

Dive into the research topics of 'A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems'. Together they form a unique fingerprint.

Cite this