By Topic

A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Jungrhan Choi ; Coll. of Inf. & Commun., Korea Univ., Seoul ; Jinho On ; Moonkun Lee ; Jin-Young Choi

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.

Published in:

Networked Computing and Advanced Information Management, 2008. NCM '08. Fourth International Conference on  (Volume:1 )

Date of Conference:

2-4 Sept. 2008