A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems

  • Shourong Lu
  • Wolfgang A. Halang
Part of the Studies in Computational Intelligence book series (SCI, volume 42)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Booch G, Rumbaugh J, Jacobson I (1999) The Unified Modeling Language User Guide. Addison-WesleyGoogle Scholar
  2. 2.
    Cheesman J, Daniels J (2001) UML Components — A Simple Process for Speci-fying Component-based Software. Addison-WesleyGoogle Scholar
  3. 3.
    DIN (1989) Norm 66253 Teil 3: Mehrrechner-PEARL. Beuth, Berlin K ölnGoogle Scholar
  4. 4.
    DIN (1998) Norm 66253-2: Programmiersprache PEARL90. Beuth, Berlin K ölnGoogle Scholar
  5. 5.
    Douglass BP (1999) Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Addison-WesleyGoogle Scholar
  6. 6.
    Douglass BP (1999) Real-time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. Addison-WesleyGoogle Scholar
  7. 7.
    Gumzej R (1999) Embedded System Architecture Co-Design and its Validation. Doctoral thesis, University of MariborGoogle Scholar
  8. 8.
    Gumzej R, Halang WA (2003) A Configuration Manager for Embedded Real-Time Applications. In: Proc Co-design for Embedded Real-time Systems, pp 24-29Google Scholar
  9. 9.
    Halang WA, Frigeri AH (1998) Methods and Languages for Safety Related Real Time Programming. In: Ehrenberger WD (ed) Computer Safety, Reliablity and Secuity, LNCS 1516, Springer, Berlin Heidelberg New York, pp 196-208CrossRefGoogle Scholar
  10. 10.
    Halang WA, Pereira CE, Frigeri AH (2001) Safe Object Oriented Programming of Distributed Real Time Systems in PEARL. In: Proc 4th IEEE Int Symp on Object-Oriented Real-Time Distributed Computing, IEEE Computer Society Press, Los Alamitos, pp 87-94Google Scholar
  11. 11.
    Halang WA (2003) Software Dependability Considered as the Main Problem of Embedded Systems. In: Proc IEEE Int Conf on Industrial Technology, IEEE, Pis-cataway, pp 14-21CrossRefGoogle Scholar
  12. 12.
    IABG (1997) Entwicklungsstandard fu¨ r IT-Systeme des Bundes. http://www.v-modell.iabg.de/
  13. 13.
    International Electrotechnical Commission (1992) Standard IEC 61131-3: Pro-grammable Controllers, Part 3: Programming Languages. GenevaGoogle Scholar
  14. 14.
    International Electrotechnical Commission (1998) Standard IEC 61508: Func-tional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. GenevaGoogle Scholar
  15. 15.
    John KH, Tiegelkamp M (2001) IEC 61131-3: Programming Industrial Automa-tion Systems. Springer, Berlin-Heidelberg-New YorkGoogle Scholar
  16. 16.
    Krebs H, Haspel U (1984) Regelungstechnische Praxis 26: 28-33Google Scholar
  17. 17.
    Leveson NG (1995) Safeware: System safety and computers. Addison-WesleyGoogle Scholar
  18. 18.
    Lewis R (2001) Modelling control systems using IEC 61499, Applying function blocks to distributed systems. IEE Control Engineering Series, No 59Google Scholar
  19. 19.
    Lu S (2003) An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen. In: Holleczek P, Vogel-Heuser B (eds) Verteilte Echtzeit-systeme. Reihe Informatik aktuell, Springer, Berlin Heidelberg, pp 13-22Google Scholar
  20. 20.
    Ministry of Defence (1997) Defence Standard 00-55 Issue 2: Requirements for Safety-Related Software in Defence EquipmentGoogle Scholar
  21. 21.
    Object Management Group (2001) Unified Modeling Language specification V1.4Google Scholar
  22. 22.
    Object Management Group (2003) Unified Modeling Language: Superstructure. OMG document ptc/2003-08-02Google Scholar
  23. 23.
    RTCA (1992) Standard DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Washington, DCGoogle Scholar
  24. 24.
    Szyperski C, Gruntz D, Murer S (2002) Component Software — Beyond Object-Oriented Programming. 2nd edn. Addison-WesleyGoogle Scholar
  25. 25.
    Seli ć B, Gullekson G, Ward P (1994) Real-Time Object Oriented Modeling. WileyGoogle Scholar
  26. 26.
    Seli ć B, Rumbaugh J (1998) Using UML for Modeling Complex Real-time Sys- tems. http://www.objectime.com/uml
  27. 27.
    Torres-Pomales W (2000) Software Fault Tolerance: A Tutorial. In: NASA/TM-2000-210616Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Shourong Lu
    • 1
  • Wolfgang A. Halang
    • 2
  1. 1.Faculty of Electrical and Computer EngineeringFernUniversität in HagenHagenGermany
  2. 2.Faculty of Electrical and Computer EngineeringFernUniversität in HagenHagenGermany

Personalised recommendations