Specification and Validation of a Dynamically Reconfigurable System(Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
In a distributed concurrent system such as a computer communication network, the system components communicate with each other via communication links in order to accomplish a desired distributed application. If the links are dynamically established among the components, the system configuration as well as its behavior becomes complex. In this paper, we give formal specification of such a dynamically reconfigurable system in which the components are modeled by communicating finite state machines executed concurrently with the communication links which are dynamically established and disconnected. We also present an algorithm to validate the safety and linkrelated properties in the specified behavior. Finally, we design and implement a simulator and a validator that enables execution and validation of the given specification, respectively.
- 社団法人電子情報通信学会の論文
- 1998-04-25
著者
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
KATO Yasushi
Sendai National College of Technology
-
Takahashi K
The Sendai National College Of Technology
-
Ando Toshihiko
Sendai National College Of Technology
-
ITABASHI Goichi
the Graduate School of Information Sciences, Tohoku University
-
TAKAHASHI Kaoru
The author is with the Sendai National College of Technology
-
ANDO Toshihiko
The authors are with Sendai National College of Technology
-
KANO Toshihisa
The authors are with Sendai National College of Technology
-
ITABASHI Goichi
The authors are with Sendai National College of Technology
-
KATO Yasushi
The authors are with Sendai National College of Technology
-
Itabashi Goichi
The Graduate School Of Information Sciences Tohoku University
関連論文
- Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
- Progressive pulmonary calcification after successful renal transplantation
- State Machine Specification with Reusability(Concurrent Systems)(Concurrent Systems and Hybrid Systems)
- Specification and Analysis of the Contract Net Protocol Based on State Machine Model(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
- Composition of Protocol Functions(Special Section on Concurrent Systems Technology)
- Specification and Validation of a Dynamically Reconfigurable System(Special Section on Concurrent Systems Technology)
- A Concurrent Calculus with Geographical Constraints(Special Section on Concurrent Systems Technology)
- Making Changes in Formal Protocol Specifications
- A Topological Framework of Stepwise Specification for Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
- On Specifying Protocols Based on LOTOS and Temporal Logic
- A Consideration Of Integrated System Management In OSI Environment
- An Improvement of The Protocol Synthesis Algorithm
- Performance Analysis on the Controllable Slotted DS-CDMA with an Allocating Buffer for Collided Traffic(Satellite Communications)
- A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- A Flexible Verifier of Temporal Properties for LOTOS
- Modeling, Verification and Testing of Web Applications Using Model Checker