Abstract
This paper presents an overview of the ICOS system, a design environment for control-dominated reactive systems, which is based on a graphical specification language called real-time symbolic timing diagrams. ICOS offers a broad set of tools to create, verify, and to synthesize hardware or software code from timing diagram specifications.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
W. Damm, B. Josko, and R. Schlör. Specification and verification of VHDL-based system-level hardware designs. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1995.
Konrad Feyerabend and Bernhard Josko. A visual formalism for real time requirement specification. In Transformation-Based Reactive System Development, number 1231 in LNCS, pages 156–168. Springer Verlag, 1997.
Konrad Feyerabend and Rainer Schlör. Hardware synthesis from requirement specifications. In Proceedings EURO-DAC with EURO-VHDL 96. IEEE Computer Society Press, 1996.
Martin FrÄnzle and Karsten Lüth. Compiling Graphical Real-Time Specification into Silicon. In Formal Techniques in Real-Time and Fault-Tolerant Systems, September 1998.
S. Golsen. State Machine Design Techniques for Verilog and Vhdl. Synopsys Journal of High Level Design, September 1994.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development od complex reactive systems. IEEE Transactions on Software Engineering, 16:403–414, 1990.
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
F. Korf and R. Schlör. Interface controller synthesis from requirement specifications. In Proceedings, The European Conference on Design Automation, pages 385–394, Paris, France, February 1994. IEEE Computer Society Press.
Karsten Lüth, Thomas Peikenkamp, and Jürgen Risau. HW/SW Cosynthesis using Statecharts and Symbolic Timing Diagrams. In Proceedings of the 9th IEEE International Workshop on Rapid System Prototyping, 1998.
L.E. Moser, Y.S. Ramakrishna, G. Kutty, P.M. Melliar-Smith, and Dillon L. K. A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Transactions on Software Engineering and Methodology, 6(1):31–79, 1997.
Wolfgang Thomas. On the synthesis of strategies in infinite games. In E. W. Meyer and C. Puech, editors, Symposium on Theoretical Aspects of Computer Science (STAGS 95), volume 900 of Lecture Notes in Computer Science, pages 1–13. Springer-Verlag, March 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lüth, K. (1998). The ICOS synthesis environment. In: Ravn, A.P., Rischel, H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science, vol 1486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055356
Download citation
DOI: https://doi.org/10.1007/BFb0055356
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65003-4
Online ISBN: 978-3-540-49792-9
eBook Packages: Springer Book Archive