Name
Abstract | ||
|---|---|---|
Hybrid systems combine discrete controllers with adjoining physical processes. While many approaches exist for simulating hybrid systems, there are few approaches for their emulation, especially when the actual physical plant is not available. This paper develops the first formal framework for emulation along with a new compiler that enables large-scale (1000+ components) simulation. We propose a formal model called Synchronous Emulation Automaton (SEA) specifically for modular compilation and parallel execution. SEA combines Linear Time Invariant (LTI) systems with discrete mode switches and has the following semantic differences with Hybrid Automata: ➀ the Ordinary Differential Equations are solved analytically and the solutions are sampled at the Worst-Case Reaction Time of the model and ➁ we develop a new composition semantics, which allows individual SEAs to execute in parallel with each other. The proposed semantics eliminates: ⓐ the need for dynamic numerical solvers, and ⓑ the Zeno-phenomenon by construction. Experimental results show that process models designed using our tool (Piha) give a 3.6 times execution speedup over Simulink®, and upto 26 times speedup on manycore architectures.
|
Year | DOI | Venue |
|---|---|---|
2017 | 10.1145/3126536 | ACM Trans. Embedded Comput. Syst. |
Keywords | Field | DocType |
Hybrid Automata, code generation, emulation, multi-core | Computer science,Parallel computing,Compiler,Real-time computing,Code generation,Emulation,Modular design,Multi-core processor,Hybrid system,Speedup,Hardware emulation | Journal |
Volume | Issue | ISSN |
16 | 5 | 1539-9087 |
Citations | PageRank | References |
2 | 0.39 | 13 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Avinash Malik | 1 | 139 | 21.35 |
| Partha S. Roop | 2 | 356 | 48.28 |
| Sidharta Andalam | 3 | 101 | 11.68 |
| Mark L. Trew | 4 | 32 | 11.43 |
| Michael Mendler | 5 | 314 | 34.60 |