Joseph Buck
ABSTRACT
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled simulation, and software and hardware implementation. Specifications in the form of dataflow graphs, hierarchical finite state machines, or a mixture, are supported. These specifications can be arbitrarily nested, as in Ptolemy [1]. When dataflow graphs are placed in a control context, the graph execution is fully controllable; its execution can be restarted or suspended and parameters can be changed. We describe system modeling and simulation generation in El Greco and compare to other approaches.
- 1.J.T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int. Journal of Computer Simulation, vol. 4, pp. 155-182, April 1994.Google Scholar
- 2.G. Berry and G. Gonthier, "The Esterel synchronous programming language: Design, semantics, implementation," Science of Computer Programming, 1992, vol. 17, no 1, pp. 95-130. Google ScholarDigital Library
- 3.B. Lee and E. A. Lee, "Interaction of Finite State Machines with Concurrency Models," in Proc. of 32nd Asilomar Conference on Signals, Systems, and Computers, November 1998.Google Scholar
- 4.C. Andre, "Representation and Analysis of Reactive Behaviors: A Synchronous Approach," Proc. CESA '96, IEEE-SMC, Lille, France, July 9-12, 1996.Google Scholar
- 5.D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, Vol. 8, No. 3, 1987, pp. 231-274. Google ScholarDigital Library
- 6.F. Belina, D. Hogiefe, A. Sarma, SDL With Applications from Protocol Specification, Prentice Hall International (UK), Hemel Hempstead, 1991. Google ScholarDigital Library
- 7.F. Balarin et al., Hardware-Software Co-design of Embedded Systems - The POLIS Experience. Kluwer Academic Pub., 1997. Google ScholarDigital Library
- 8.P. Chou and G. Borriello, "Modal Processes: Towards Enhanced Retargetability through Control Composition of Distributed Embedded Systems," in Proc. DAC 1998, June 1998. Google ScholarDigital Library
- 9.T. Gr6tker, R. Sch6nen, and H. Meyr, "PCC: A Modeling Technique for Mixed Control/Data Flow Systems," in Proc. European Design and Test Conference, 1997. Google ScholarDigital Library
- 10.A. Seawright, U. Holtmann, W. Meyer, B. Pangrle, R. Verbrugghe, and J. T. Buck, "A System for Compiling and Debugging Structured Data Processing Controllers", Proc.EuroDAC 1996, September 1996. Google ScholarDigital Library
- 11.L. Lavagno and E. Sentovich, "ECL: A Specification Environment for System-Level Design", Proc. DAC 1999, June 1999. Google ScholarDigital Library
- 12.S. Liao, S. Tjiang, and R. Gupta, "An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment", Proc. of 34th Design Automation Conf., June 1997. Google ScholarDigital Library
- 13.M. vonder Beeck, "A Comparison of Statecharts Variants," Proc. 3rd Int. Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 863, pp 128-148, Springer Verlag, 1994. Google ScholarDigital Library
- 14.G. Bilsen, M. Engels, R. Lauwereins, J.A. Peperstraete, "Cyclo- Static Dataflow," IEEE Trans. on Signal Processing, Feb. 1996. Google ScholarDigital Library
- 15.J. Buck and E.A. Lee, Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model," Proc. oflEEE Int. Conf. on Acoustics, Speech, and Signal Processing, April 1993.Google Scholar
- 16.G. Berry, "The Constructive Semantics of Pure Esterel", draft paper (http://www-s~p'inria'fr/meije/esterel/esterel-eng'html)' Jul. 1999.Google Scholar
- 17.S. Edwards, "Compiling Esterel into Sequential Code", Proc. 7th Int. Workshop on Hardware/Software Codesign (CODES-99), May 1999. Google ScholarDigital Library
Index Terms
- Heterogeneous modeling and simulation of embedded systems in El Greco
Recommendations
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study
RTNS '17: Proceedings of the 25th International Conference on Real-Time Networks and SystemsThe development of embedded systems according to Model-Driven Development relies on two complementary activities: system modeling on the one hand and analysis of the non-functional properties, such as timing properties, on the other hand. Yet, the ...
Modeling and Designing Heterogeneous Systems
Concurrency and Hardware Design, Advances in Petri NetsWe present the modeling mechanism employed in Metropolis, a design environment for heterogeneous embedded systems, and a design methodology based on the mechanism experimented for wireless communication systems. It is developed to favor the reusability ...
Introduction to simulation languages
WSC '77: Proceedings of the 9th conference on Winter simulation - Volume 1Early effort in a simulation study is concerned with defining the system to be modeled and describing it in terms of logic flow diagrams and functional relationships. But eventually one is faced with the problem of describing the model in a language ...
Comments