Skip to main content
SpringerLink
Log in

QoS-oriented design of embedded systems with specification PEARL

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

Only recently have methodical tools adequate to design real-time systems been formally introduced in design methodologies. Naturally, they were present from the beginning, but due to the large diversity of embedded systems’ areas of deployment, specially dedicated formalisms have been developed and used. High-level language programming and integration of modeling formalisms into design methods eased the development of more complex real-time applications. With the emerging object-oriented programming languages and design methods, their integration into larger information systems has become more transparent. It was the UML methodology, however, which eventually merged also the design methods and concepts of real-time systems into a consistent whole. It took a large consortium and a long process to persuade industry of the benefits the new integral methodology can offer. On the other hand, there are some trade-offs, and there are some features not completely covered, yet. Here, a different, more straightforward approach to program and design (embedded) real-time systems is presented. Since it emerged from the real-time community, it includes most features relevant there. Independent of the UML profile for schedulability, performance and time specification, a profile was devised for use in PEARL-oriented UML design. The strengths of the mentioned language and design methods for QoS-oriented design of (embedded) real-time systems are emphasised throughout this article.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. DIN 66253-2 (1998) Programmiersprache PEARL90. Beuth Verlag, Berlin-Köln

  2. DIN 66253 Teil 3 (1989) Mehrrechner-PEARL. Beuth Verlag, Berlin-Köln

  3. Douglass BP (2002). Real-Time UML, 2nd edn. Addison-Wesley, Reading

    Google Scholar 

  4. Gumzej R (1999) Embedded system architecture co-design and its validation. Doctoral thesis, University of Maribor

  5. Gumzej R, Lu S (2007) Modeling distributed real-time applications with specification PEARL. Real-Time Systems, vol 35, No. 3, April 2007. Springer, Heidelberg, pp 181–208

  6. Gumzej R, Colnarič M, Halang WA (2006) Safe and timely scenario switching in UML real-time projects. In: Lee S, Brinkschulte U, Thuraisingham BM (eds) Proceedings of the 9th IEEE international symposium on object and component-oriented real-time distributed computing. IEEE Computer Society Press, Los Alamitos, pp 335–342

  7. Halang WA, Gumzej R, Colnarič M, Družovec M (2000) Measuring performance of real-time systems. Real-time systems, vol 18, No. 1, January 2000. Springer, Heidelberg, pp 59–68

  8. Halang WA, Pereira CE and Frigeri AH (2002). Safe object-oriented programming of distributed real-time systems in PEARL. Comput Syst Sci Eng 17(2): 85–94

    Google Scholar 

  9. Holistic Embedded Control Systems (2004) Design—specification PEARL. Overview of the Project Z2-3493, 2004. http://www.rts.uni-mb.si/misc/projekti/SPEARL

  10. IEC 61508 (2001) Life-cycle Management of Instrumented Protection Systems

  11. Jansen P and Laan R (1999). The stack resource protocol based on real-time transactions. IEE Proce Softw 146(2): 112–119

    Article  Google Scholar 

  12. Kappatsch A, Mittendorf H, Rieder P (1979) PEARL: Systematische Darstellung für den Anwender. R. Oldenbourg, München

  13. National Institute of Standards and Technology (2001) Engineering principles for information technology security. http://csrc.nist.gov/publications/nistpubs/800-27/sp800-27.pdf

  14. OMG (2005) Unified modeling language: superstructure. Version 2.0. OMG document formal/2005-07-04, August 2005

  15. OMG (2004) UML profile for modelling QoS and fault-tolerance characteristics and mechanisms, June 2004. http://www.omg.org/docs/ptc/04-06-01.pdf

  16. OMG (2005) UML profile for schedulability, performance and time specification 1.1. OMG document formal/05-01-02, January 2005

  17. Selić B, Gullekson G and Ward PT (1994). Real-time object-oriented modeling, 1st edn. Wiley, New York

    Google Scholar 

  18. Selić B, Rumbaugh J (1998) Using UML for modeling complex real-time systems. White Paper, Rational Software Corporation. http://www.rational.com/media/whitepapers/umlrt.pdf

  19. Sha L, Rajkumar R and Lehoczky JP (1990). Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9): 1175–1185

    Article  MathSciNet  Google Scholar 

  20. Verber D (1999) Object orientation in hard real-time systems development. Doctoral thesis, University of Maribor

Download references

Author information

Authors and Affiliations

  1. Faculty of Electrical Engineering and Computer Science, University of Maribor, 2000, Maribor, Slovenia

    Roman Gumzej

  2. Department of Computer Engineering, Fernuniversität, 58084, Hagen, Germany

    Wolfgang A. Halang

Authors
  1. Roman Gumzej
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolfgang A. Halang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roman Gumzej.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gumzej, R., Halang, W.A. QoS-oriented design of embedded systems with specification PEARL. Innovations Syst Softw Eng 3, 269–279 (2007). https://doi.org/10.1007/s11334-007-0033-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-007-0033-0

Keywords

Search

Navigation