Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)
スポンサーリンク
概要
- 論文の詳細を見る
As communication systems rapidly progress, real-time performance is needed for communication protocols. In order to meet this requirement, communication protocols must incorporate real-time performance. This paper newly proposes a timed reachability analysis method in order to verify timeliness property of communication protocols under the assumption that times needed to execute events may be different from each other, but they are constant. The proposed method is efficiently performed by both enumerating only event sequences that are obtained through parallel execution of all possible events, and then by computing a processing time of each event sequence. This paper also gives proofs for correctness of the proposed method.
- 一般社団法人情報処理学会の論文
- 1996-05-15
著者
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
KAKUDA Yoshiaki
Graduate School of Information Sciences, Hiroshima City University
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Kikuno Tohru
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
Kakuda Y
Hiroshima City Univ. Hiroshima‐shi Jpn
-
KIKUNO Tohru
Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka Un
-
Kikuno T
Graduate School Of Information Science And Technology Osaka University
-
Kakuda Yoshiaki
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Nagano Shin'ichi
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
関連論文
- Probabilistic Model Checking of the One-Dimensional Ising Model
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- A Dynamic Index Allocation Scheme for Data Retrieval and Provision in Peer-to-Peer Networks
- A Hierarchical Geographical Routing with Alternative Paths Using Autonomous Clustering for Mobile Ad Hoc Networks
- New Safety Support System for Children on School Routes Using Mobile Ad Hoc Networks
- Development of a Topology Controllable Testing Environment for Mobile Ad Hoc Network Software
- An Adaptive Multihop Clustering Scheme for Ad Hoc Networks with High Mobility
- On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm
- Feature Interaction Verification Using Unbounded Model Checking with Interpolation
- Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
- Probabilistic Model Checking of the One-Dimensional Ising Model
- An Effective Testing Method for Hardware Related Fault in Embedded Software(Software Engineering for Embedded Systems)
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Exploiting Symmetric Relation for Efficient Feature Interaction Detection
- Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
- Three-Mode Failure Model for Reliability Analysis of Distributed Programs (Special Issue on Fault-Tolerant Computing)
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- Computing the Stabilization Times of SElf-Stabilizing Systems (Special Section on Concurrent Systems Technology)
- New Constructions for Nondominated k-Coteries
- New System Model Based on Autonomous Decentralized System for Highly Productive Processing Equipment (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
- Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development(Software Engineering for Embedded Systems)
- Test Item Prioritizing Metrics for Selective Software Testing(Software Engineering)
- Enhancing Software Project Simulator toward Risk Prediction with Cost Estimation Capability(Special Section on Concurrent Systems Technology)
- Experimental Evaluation of Two-Phase Project Control for Software Development Process(Special Section on Concurrent Systems Technology)
- A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol(Special Section on Concurrent Systems Technology)
- Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)
- Experimental Evaluation of Processor Scheduling Algorithm for Parallel Logic Simulation Using Benchmark Circuits
- A Hierarchical Routing Protocol Based on Autonomous Clustering in Ad Hoc Networks
- New 2-Factor Covering Designs for Software Testing(Regular Section)
- Model Checking Active Database Rules under Various Rule Processing Strategies
- A New Verification Framework of Object-Oriented Design Specification for Small Scale Software (Special Issue on Fault-Tolerant Computing)
- A BDD-based approach to reliability-optimal module allocation in networks (信頼性)
- SAT and SMT based model checking of concurrent systems (コンカレント工学)
- Parallelizing SDP(Sum of Disjoint Products)Algorithms for Fast Reliability Analysis
- A Class of Hierarchical Routing Protocols Based on Autonomous Clustering for Large Mobile Ad Hoc Networks
- An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power(Networks)
- Effective Scheduling of Duplicated Tasks for Fault Tolerance in Multiprocessor Systems
- Error Models and Fault-Secure Scheduling in Multiprocessor Systems
- Experimental Evaluation of Team Performance in Program Development Based on a Model : Extension of a Programmer Performance Model
- The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm
- New Safety Support System for Children on School Routes Using Mobile Ad Hoc Networks
- A Hierarchical Geographical Routing with Alternative Paths Using Autonomous Clustering for Mobile Ad Hoc Networks
- A Hierarchical Multicast Routing Using Inter-Cluster Group Mesh Structure for Mobile Ad Hoc Networks
- Analysis of Rollbacks in Parallel Logic Simulation Based on Virtual Time*
- On Desirable Fault-Tolerant Topology for Cluster-Based Network (Special Section on Net Theory and Its Applications)
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
- A Self-Organized Routing ID Group-Based Multipath Routing for Ad Hoc Networks
- BS-7-11 How to Visualize Mobile Ad hoc NETworks - Experiment in Hiroshima Confectionery Exhibition
- Model Checking Active Database Rules under Various Rule Processing Strategies
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints