Prototyping of hybrid systems - From HyCharts to hybrid data-flow graphs

Electronic Notes in Theoretical Computer Science

Volumn 28, Issue , 2000, Pages 81-100

  Stauner, Thomas ^a   Grimm, Christoph ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b GOETHE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALOG TO DIGITAL CONVERSION; CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; OPTIMIZATION; RAPID PROTOTYPING;

DIGITAL SYSTEMS; HYBRID DATA-FLOW GRAPHS (HDFG); HYBRID SYSTEMS; SYSTEM DEVELOPMENT;

EMBEDDED SYSTEMS;

EID: 19044380201     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80631-0     Document Type: Conference Paper

References (15)

1. Broy M. Requirements engineering for embedded systems. Proc. of FemSys′97. 1997
2. Donnay S., Swings K., Gielen G., Sansen W., Kruiskamp W., Leenaerts D. A Methodology for Analog Design Automation in Mixed-Signal ASICs. The European Design Automation Conference (EURO-DAC). February 1994;530-534. Paris, France
3. Grimm C. Hybride Datenflussgraphen und ihre Anwendung beim Entwurf analog/digitaler Systeme. PhD Thesis. 1999;J. W. Goethe-Universitat. (submitted)
4. Grimm C., Waldschmidt K. Repartitioning and technology-mapping of electronic hybrid systems. Design, Automation and Test in Europe ′98 (DATE), Paris, France. February 1998
5. R. Grosu and T. Stauner. Modular and visual specification of hybrid systems - an introduction to HyCharts. Technical Report TUM-I9801, Technische Universitat München, 1998.
6. Grosu R., Stauner T., Broy M. A modular visual model for hybrid systems. In Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT′98), LNCS 1486. 1998;Springer-Verlag
7. R. Grosu, G. Š;tefǎnescu, and M. Broy. Visual formalisms revisited. In Proc. International Conference on Application of Concurrency to System Design (CSD′98), 1998.
8. Integrated Systems Inc. Integrated Systems: Products - BetterState. http://www.isi.com/Products/BetterState/, 1999.
9. Kalavade A., Lee E.A. A Hardware-Software Codesign Methodology for DSP Applications. IEEE Design & Test of Computers. September 1993;16-28
10. Kanakis I., Grimm C., Oehler P., Waldschmidt K. Rapid Prototyping of Mixed-Signal Systems with KANDIS. Int. Workshop on Logic and Architecture Synthesis (IWLAS). September 1997
11. P. Oehler, C. Grimm, and K. Waldschmidt. KANDIS - A Tool for Construction of Mixed Analog/Digital Systems. In European Design Automation Conference, Brighton, UK, September 1995.
12. Rational Software Corporation. Unified modeling language, version 1.1. http://www.rational.com/uml/resources/documentation/, 1998.
13. Selic B., Gullekson G., Ward P.T. Real-Time Object-Oriented Modeling. 1997;John Wiley & Sons Ltd, Chichester
14. Štefǎnescu G. Reaction and control I. mixing additive and multiplicative network algebras. Logic Journal of the IGPL. 6:(2):1998;349-368
15. The MathWorks Inc. Stateflow. http://www.mathworks.com/products/ stateflow/, 1999.