The OR dataflow architecture for a machine embedded control system
Real-Time Systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Parameterized dataflow modeling of DSP systems
ICASSP '00 Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06
IEEE Transactions on Signal Processing
Hierarchical finite state machines with multiple concurrency models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.01 |
Abstract: Modeling the next generation of multi-media systems requires handling non-synchronised event inputs from users, managing task sets that change over a short period of time, significantly larger computational demands that can be met with the available resources and the flexibility of a single hardware platform that can perform multi-media processing and rendering today and adapt to new standards as and when they are implemented. Modeling interrupts, exceptions, data dependency and non-determinism is required in addition to data flow processing which is controlled by a control flow environment. DF* is a specification model that addresses the features required to model all known aspects of multimedia systems at a specification level including events, dynamic task management and non-determinism. This paper explores the dynamic task management and event handling of DF* in the context of a particular application.