Abstract
Up to now no tool is available on the market that allows functional design and performance analysis within the same environment. Mostly new models have to be built to do performance analysis. This approach is time consuming and erroneous. To overcome this awkward situation two tools, namely GEODE/SDL a typical design tool and SES/workbench a typical simulation tool were coupled. The resulting design and simulation environment will allow the designer to make multiple iterations between functional and performance validation, and therefore the quality of the system design will be improved. Additionally the risk not to meet e.g. some of the performance requirements will be reduced dramatically.
Finally we would like to thank all the other project partners which are Mr. Rainer Gerlich (Dornier GmbH/Germany), Yankin Tanurhan and Thomas Stingl (FZI/Germany).
Preview
Unable to display preview. Download preview PDF.
References
W. Glunz B. Lutter and F.J. Rammig. Using vhdl for simlation of sdl specifications. Proceedings EURO-DAC/EURO-VHDL, pages 630–635, September 1992.
Ferenc Belina, Dieter Hogrefe, and Amardeo Sarma. SDL with Applications from Protocol Specifications. Prentice Hall, 1991.
Klaus Buchenrieder and Jerzy W. Rozenblit. Codesign: An Overview, pages 1–15. IEEE PRESS Marketing, 1993.
CCITT. Functional Specification and Description Language (SDL), Z.100. International Consultative Committee on Telegraphy and Telephony, Geneva, 1988.
R. Gerlich, Chr. Schaffer, V. Debus, and Y. Tanurhan. Easyvade: Validation of system design by behavioural simulation. ESTEC 3rd Workshop on Simulators for European Space Programmes. European Space Agency, November 1994.
Derek J. Hatley and Imtiaz A. Pirbhai. Strategies for Real-Time System Specification. Dorset House Publishing Co., Inc, New York, 1988.
Otto Pulkkinen and Klaus Kronfloef. SDL-VHDL Integration, chapter 10, pages 271–308. Wiley Series in Software Based Systems. John Wiley & Sons, 1993.
Chr. Schaffer. Software User Manual for EaSy-Add, August 1995. ESTEC Contract No. 10430/93/NL/FM(SC), Issue 4.
Chr. Schaffer. Software User Manual for Test Execution Environment, July 1995. ESTEC Contract No. 10430/93/NL/FM(SC), Issue 1.
Christoph Schaffer and Herbert Praehofer. On requirements for a cast-tool for complex, reactive system analysis, design and evaluation. In F.Pichler and R.Moreno Diaz, editors, Computer Aided Systems Theory-EUROCAST 93, number 763 in Lecture Notes in Computer Science. Springer Verlag, 1994.
Christoph Schaffer and Jerzy W. Rozenblit. Modular, hierarchical modeling concepts for support of heterogeneous systems design. In 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems pages 200–208. IEEE, March 1995.
D. Schefstrom and G. van den Broek, editors. Tool Integration: Environments and Frameworks. Wiley Series in Software Based Systems. John Wiley & Sons, 1993.
SES. SES/workbench-Reference Manual, February 1992. Release 2.1.
SES. SES/workbench-User's Manual, February 1992. Release 2.1.
K. Tarnay. Protocol Specification and Testing. Plenum Press, 1991.
Kenneth J. Turner, editor. Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL. Wiley Series in Communication and Distributed Systems. John Wiley & Sons, 1993.
Verilog. GEODE An Introduction to SDL and MSC, October 1993. Document Reference: D/GEXX/LA/100/340.
Verilog. GEODE C Application Generators — Reference Manual, November 1993. Document Reference: D/GCXX/RA/211/344.
A. Wayne Wymore. Model-Based Systems Engineering. Systems Engineering Series. CRC Press, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schaffer, C., Raschhofer, R.J., Simma, A. (1996). EaSy-Sim: A tool environment for the design of complex, real-time systems. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034773
Download citation
DOI: https://doi.org/10.1007/BFb0034773
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive