This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Booch G, Rumbaugh J, Jacobson I (1999) The Unified Modeling Language User Guide. Addison-Wesley
Cheesman J, Daniels J (2001) UML Components — A Simple Process for Speci-fying Component-based Software. Addison-Wesley
DIN (1989) Norm 66253 Teil 3: Mehrrechner-PEARL. Beuth, Berlin K öln
DIN (1998) Norm 66253-2: Programmiersprache PEARL90. Beuth, Berlin K öln
Douglass BP (1999) Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Addison-Wesley
Douglass BP (1999) Real-time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. Addison-Wesley
Gumzej R (1999) Embedded System Architecture Co-Design and its Validation. Doctoral thesis, University of Maribor
Gumzej R, Halang WA (2003) A Configuration Manager for Embedded Real-Time Applications. In: Proc Co-design for Embedded Real-time Systems, pp 24-29
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-208
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-94
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-21
IABG (1997) Entwicklungsstandard fu¨ r IT-Systeme des Bundes. http://www.v-modell.iabg.de/
International Electrotechnical Commission (1992) Standard IEC 61131-3: Pro-grammable Controllers, Part 3: Programming Languages. Geneva
International Electrotechnical Commission (1998) Standard IEC 61508: Func-tional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. Geneva
John KH, Tiegelkamp M (2001) IEC 61131-3: Programming Industrial Automa-tion Systems. Springer, Berlin-Heidelberg-New York
Krebs H, Haspel U (1984) Regelungstechnische Praxis 26: 28-33
Leveson NG (1995) Safeware: System safety and computers. Addison-Wesley
Lewis R (2001) Modelling control systems using IEC 61499, Applying function blocks to distributed systems. IEE Control Engineering Series, No 59
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-22
Ministry of Defence (1997) Defence Standard 00-55 Issue 2: Requirements for Safety-Related Software in Defence Equipment
Object Management Group (2001) Unified Modeling Language specification V1.4
Object Management Group (2003) Unified Modeling Language: Superstructure. OMG document ptc/2003-08-02
RTCA (1992) Standard DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Washington, DC
Szyperski C, Gruntz D, Murer S (2002) Component Software — Beyond Object-Oriented Programming. 2nd edn. Addison-Wesley
Seli ć B, Gullekson G, Ward P (1994) Real-Time Object Oriented Modeling. Wiley
Seli ć B, Rumbaugh J (1998) Using UML for Modeling Complex Real-time Sys- tems. http://www.objectime.com/uml
Torres-Pomales W (2000) Software Fault Tolerance: A Tutorial. In: NASA/TM-2000-210616
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lu, S., Halang, W.A. (2007). A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems. In: Krämer, B.J., Halang, W.A. (eds) Contributions to Ubiquitous Computing. Studies in Computational Intelligence, vol 42. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44910-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-44910-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44909-6
Online ISBN: 978-3-540-44910-2
eBook Packages: EngineeringEngineering (R0)