An approach for integrated specification and design of real-time systems
Pages 258 - 263
References
[1]
K.D. Mt~ller-Glaser, J. Bortolazzi, "An Approach to Computer Aided Specification" in IEEE Journal of Solid-State Circuits, Vol. 25, No.2 April 1990, pp. 335-345
[2]
D.J. Hatley, and I.A. Pirbhai, "Strategies for Real-Time Specification", Dorset House Publishing, New York 1988
[3]
T. DeMarco, "Structured Analysis and System Specification", Prentice-Hall, Englewood Cliffs, NJ, 1979
[4]
D. Harel, A. Pnueli, J.R Schmidt, and R. Sherman, "On the formal Semantics of Statecharts", in Proc. 2nd Symp. on Logic in Computer Science 1987, pp.54-59
[5]
S. Narayan, F. Vahid, and D.D. Gajski, "System Specification and Synthesis with the SpecCharts Language", in Proc. oflCCAD 1991, pp. 266-269
[6]
R. Saracco, J.R.W. Smith, and R. Reed, "Telecommunications Systems Engineering using SDL", North-Holland, Amsterdam 1989
[7]
R.Gerlich, T. Stingl et al., "Experiences with an Extended SDL Environment", ESTEC Workshop on Systems Engineering, Nordwijk, 1995
[8]
CCITT Recommendation Z.100, "Specification and Description Language SDL"
[9]
VHDL System Design, The VHDL Consulting Group, Version 2.1, 1991
[10]
J. Rumbaugh, R Blaha, W. Premerlani, F. Eddy, and W. Lorensen, "Object-Oriented Modelling and Design", Prentice-Hall, Englewood Cliffs, NJ, 1991
[11]
J. Ernst, and K.D. Maller-Glaser, "Using The 1994 CDIF Standard As Data Exchange Format for Early Design Phases in Automotive Electronics", Technical Report FZI/ESM-Computer Science Research Center, 1995
[12]
S. Schmerler, Y. Tanurhan, K.D. Maller-Glaser, "A Backplane Approach for Cosimulation in High-Level System Specification Environments", Proc. of the 1995 European Design Automation Conference, 1995
[13]
Sang H. Son, Ed., "Advances In Real-Time Systems", Prentice Hall, Englewood Cliffs, 1995
[14]
K.D. Maller-Glaser, J. Bortolazzi, Y. Tanurhan, "Towards a Requirements Definition, Specification and System Design Environment", Proc. of the 1992 European Design Automation Conference, 1992
[15]
E. Sax, Y. Tanurhan, K.D. Maller-Glaser, "Integrated Design Process Support with VHDL-A", Proc. of the 1995 EUROSIM Congress, 1995
[16]
OSEK consort, "The OSEK Operating System - Application Program Interface", 1995
[17]
A. Smailagic,D.P. Siewiorek, D. Anderson, et al., "Benchmarking an Interdisciplinary Concurrent Desin Methodology for Electronic/Mechanical Systems", Proc. of the 32nd Design Automation Conference, 1995
[18]
J.-R Soininen, T. Huttunen, K. Tiensyrj~i, and H. Heusala., "Cosimulation of Real-Time Control Systems", Proc. of the 1995 European Design Automation Conference, 1995
[19]
Th. Benner, R. Ernst, and A. Osterling, "Scalable Performance Scheduling for Hardware-Software Cosynthesis", Proc. of the 1995 Emvpean Design Automation Conference, 1995
[20]
G. Koch, U. Kebschull, W. Rosenstiel, "A Prototyping Environment for Hardware/Software Codesign in the COBRA Project", 3rd International Workshop on Hardware~Software Codesign, 1994
Index Terms
- An approach for integrated specification and design of real-time systems
Recommendations
Software architecture supporting integrated real-time systems
To achieve reliability, reusability, and cost reduction, a significant trend in building large complex real-time systems is to integrate separate application modules of different criticalities in a common hardware platform. An essential requirement of ...
Towards Standard-Based Specification and Design of Embedded Real-Time Systems
EUROMICRO '98: Proceedings of the 24th Conference on EUROMICRO - Volume 1Real-Time Systems and in particular Embedded Systems have been known to be built as works of art until recently. Nowadays standard hardware components are being used and scalable standardized operating systems are being built. There have been many ...
Comments
Information & Contributors
Information
Published In
Sponsors
- SI-G: SI-G
- ECSI
- EDAC: Electronic Design Automation Consortium
- SIGDA: ACM Special Interest Group on Design Automation
- IEEE-CS: Computer Society
- IFIP: International Federation for Information Processing
Publisher
IEEE Computer Society Press
Washington, DC, United States
Publication History
Published: 20 September 1996
Check for updates
Qualifiers
- Article
Conference
EuroDAC95
Sponsor:
- SI-G
- EDAC
- SIGDA
- IEEE-CS
- IFIP
Upcoming Conference
DAC '25
- Sponsor:
- sigda
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 485Total Downloads
- Downloads (Last 12 months)23
- Downloads (Last 6 weeks)9
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in