Advertisement

Object-Oriented Specification and Design of Embedded Hard Real-Time Systems

  • Wolfgang Nebel
  • Frank Oppenheimer
  • Guido Schumacher
  • Laïla Kabous
  • Martin Radetzki
  • Wolfram Putzke-Röming
Chapter

Abstract

The approach presented in this paper is a contribution to combine well established methodologies in software engineering, namely object-orientation, with novel co-simulation techniques for real-time HW/SW system simulation, and new synthesis techniques based on the HW-semantics of object-oriented HW-specifications. The result is a consistent object-oriented design process for safety critical hard real-time embedded systems. Its objective is to decrease the design time of such systems by improving the re-usability, enabling concurrent HW/SW co-design and avoiding unnecessary iteration loops to meet timing constraints. The paper presents a motivation for and a survey of the methodology as well as a brief introduction into the different phases of the process, in particular simulation and synthesis. The concepts are illustrated by a consistent example taken from an established system level benchmark.

Keywords

Embed System Design Methodology Design Flow Schedulability Analysis Synthesis Tool 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Awad, M.; Kuusela, J.; Ziegler, J.: Object-Oriented Technology for Real-Time Systems: A Practical Approach using OMT and Fusion. Prentice Hall, 1996.Google Scholar
  2. [2]
    Barnes, J.: Programming in Ada95. Addison-Wesley, 1995.Google Scholar
  3. [3]
    Burns, A.; Wellings, A.; Bailey, C.; Fyfe, E.: The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-time System Design and Implementation. University of York, Department of Computer Science, Internal Report, 1993. Available on the WWW from URL: ftpi/ftp.cs.york.ac.uk/reports/YCS-93–190.ps.ZGoogle Scholar
  4. [4]
    Burns, A.; Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, 1995.Google Scholar
  5. [5]
    Douglass, B. P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addision Wesley, 1997.Google Scholar
  6. [6]
    HOOD Technical Group, Rosen, J.-P. (Ed): HOOD An Industrial Approach for Software Design. HOOD Technical Group, 1997.Google Scholar
  7. [7]
    ISO/IEC 8652:1995(E) Ada Reference Manual, Language and Standard Libraries, Version 6. 0, 1994.Google Scholar
  8. [8]
    Kabous, L.; Nebel, W.: Modeling Hard Real Time Systems using UML: The OOHARTS Approach. UML’99 - The Unified Modeling Language beyond the Standard. Lecture Notes in Computer Science. Springer Verlag, 1999.Google Scholar
  9. [9]
    Moser, E.; Nebel, W.: Case study: System Model of Crane and Embedded Control. In: Proceedings of the Design Automation and Test in Europe, DATE ‘89. IEEE Computer Society, 1999, pages 721–723.Google Scholar
  10. [10]
    Radetzki, M.: Synthesis of Digital Circuits from Object-Oriented Specifications. Dissertation, Oldenburg University, 2000.Google Scholar
  11. [11]
    Rational Software: Unified Modeling Language UML. Available on the WWW from URL http://www.rational.com/uml/index.shtmlGoogle Scholar
  12. [12]
    Rumbaugh, J.; Selic, B.: Using UML for Modeling Complex Real Time Systems. Available on the WWW from URL http://www.objectime.comGoogle Scholar
  13. [13]
    Selic, B.; Gullekson, G.; Ward, P.: Real-Time Object Oriented Modeling. Wiley, 1994.Google Scholar
  14. [14]
    Shlaer, S.; Mellor, J. S.: Object-Oriented System Analysis Modeling the World in Data. Yourdon Press, 1988.Google Scholar

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Wolfgang Nebel
    • 1
  • Frank Oppenheimer
    • 1
  • Guido Schumacher
    • 1
  • Laïla Kabous
    • 1
  • Martin Radetzki
    • 1
  • Wolfram Putzke-Röming
    • 1
  1. 1.Carl von Ossietzky Universität Oldenburg and OFFISOldenburgGermany

Personalised recommendations