Consistency verification in modeling of real-time systems

To real-time system designers, end-to-end time delay between external inputs and outputs is among the most important constraints. To ensure these system-wide constraints are satisfied, each of the constituent components is subject to a set of derived intermediate constraints. Since the system-wide c...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on robotics and automation Vol. 20; no. 1; pp. 136 - 142
Main Authors: Yi Deng, Jiacun Wang, Zhou, MengChu
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.02.2004
Institute of Electrical and Electronics Engineers
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
Applied sciences
Automation
Computer science
Computer science; control theory; systems
Consistency
Control theory. Systems
Delay effects
Design engineering
Electronic mail
Exact sciences and technology
Flexible manufacturing systems
Petri nets
Real time
Real time systems
Retarding
Robotics
Robots
State-space methods
Time delay
Time factors
Time measurements
Timing
System architecture
Consistency
State space method
Software component
Real time
Modeling
Time response
Robotics
Flexible manufacturing system
Delay time
Timing
Delayed time
Petri net
ISSN:1042-296X, 2374-958X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:To real-time system designers, end-to-end time delay between external inputs and outputs is among the most important constraints. To ensure these system-wide constraints are satisfied, each of the constituent components is subject to a set of derived intermediate constraints. Since the system-wide constraints allow many possibilities for the intermediate constraints based on design tradeoffs, an important issue is how to guarantee the consistency between system-wide constraints and intermediate component constraints. In this paper, we present a systematic method for the verification of consistency between a system's global timing constraints and intermediate component constraints. The essence of this technique is to construct a timing model for each component, based on component constraints. This model treats a component as a black box. When replacing each component with its timing model, we obtain a complete time Petri net model for system architecture, which allows us to verify the consistency between global and component constraints. The key contribution is twofold. First, our technique of verification is efficient by supporting incremental analysis and suppressing internal state space of components. Second, much of the verification process presented in this paper can be automated. We illustrate the consistency verification process through a flexible manufacturing system example.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:1042-296X
2374-958X
DOI:10.1109/TRA.2003.819737