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
Y1 - 2008
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
U2 - 10.1109/NCM.2008.152
DO - 10.1109/NCM.2008.152
M3 - Conference contribution
AN - SCOPUS:57849109951
SN - 9780769533223
T3 - Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008
SP - 8
EP - 13
BT - Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008
T2 - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008
Y2 - 2 September 2008 through 4 September 2008
ER -