Real-Time Complex Systems
Abstract
We developed modified linear hybrid automata models for complex real-time tasks, e.g. tasks that have complex internal behaviors, may interact or synchronize in complex ways, and may have variable or not-fully-known timing characteristics. We report on investigations of partial order methods, approximation methods, abstraction methods, and use of rules to distinguish anomaly-free behaviors, that can be used to improve the tractability of model-checking for such models. We also report on use of insights gained in this work to produce new results for simpler models: anomaly-free preemptive scheduling of repetitive job shops, and a new model and scheduling algorithms for globally asynchronous distributed sample data systems.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 30, 2004
- Accession Number
- ADA426487
Entities
People
- Steve Vestal
Organizations
- Honeywell International, Inc.