Name
Abstract | ||
|---|---|---|
Today’s system-on-chip and distributed systems are commonly equipped with multiple clocks. The key challenge in designing such systems is that heterogenous control-oriented and data-oriented behaviors within one clock domain, and asynchronous communications between two clock domains have to be captured and evaluated in a single framework. In this paper, we propose to use timed automata and synchronous dataflow to capture the dynamic behaviors of multi-clock embedded systems. A timed automata and synchronous dataflow based modeling and analyzing framework is constructed to evaluate and optimize the performance of multiclock embedded systems. Data-oriented behaviors are captured by synchronous dataflow, while synchronous control-oriented behaviors are captured by timed automata, and inter clock-domain asynchronous communication can be modeled in an interface timed automaton or a synchronous dataflow module with the CSP mechanism. The behaviors of synchronous dataflow are interpreted by some equivalent timed automata to maintain the semantic consistency of the mixed model. Then, various functional properties can be simulated and verified within the framework. We apply this framework in the design process of a sub-system that is used in real world subway communication control system |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1145/2491411.2494575 | ESEC / SIGSOFT FSE |
Keywords | Field | DocType |
multi-clocked embedded system,synchronous control-oriented behavior,multiclock embedded system,formal technique,inter clock-domain asynchronous communication,multi-clock embedded system,data-oriented behavior,clock domain,single framework,synchronous dataflow,synchronous dataflow module,asynchronous communication,embedded system | Asynchronous communication,Computer science,Semantic consistency,Automaton,Real-time computing,Timed automaton,Dataflow,Engineering design process,Control system,Synchronous Data Flow,Embedded system,Distributed computing | Conference |
Citations | PageRank | References |
4 | 0.57 | 8 |
Authors | ||
7 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yu Jiang | 1 | 346 | 56.49 |
| Zonghui Li | 2 | 48 | 6.47 |
| Hehua Zhang | 3 | 109 | 12.65 |
| Yangdong Deng | 4 | 429 | 44.78 |
| Xiaoyu Song | 5 | 471 | 51.61 |
| Ming Gu | 6 | 7 | 1.31 |
| Jia-guang Sun | 7 | 1807 | 134.30 |