Abstract
With the proliferation of UML in the development of embedded real-time systems, the interest in methods and techniques integrating safety aspects into a UML-based software and system development process has increased. This chapter provides a survey on relevant UML profiles and dialects as well as on design and verification methods and process issues supporting a safety assessment. These subjects are discussed in the light of norms and standards on software development for safety-critical systems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Leveson, N.: Safeware - System Safety and Computers. Addison-Wesley, Reading (1995)
Lutz, R.: Software engineering for safety: A roadmap. In: FOSE 2000: Future of Software Engineering, Washington, DC, USA, pp. 137–152. IEEE Computer Society, Los Alamitos (2000)
McDermid, J.A., Pumfrey, D.J.: Software safety: Why is there no consensus? In: 19th International System Safety Conference, System Safety Society (2001)
European Committee for Electrotechnical Standardization: EN 50128: Railway applications - communications, signaling and processing systems - software for railway control and protection systems (2001)
Radio Technical Commission for Aeronautics (RTCA): Software Considerations in Airborne Systems and Equipment Certification (December 1992)
Intern. Electrotechnical Commission: IEC 61508: Functional safety of electrical / electronic / programmableelectronic safety-related systems (1998)
Federal Aviation Administration: System Safety Handbook (2008)
Bernardi, S., Merseguer, J., Petriu, D.C.: Adding dependability analysis capabilities to the MARTE profile. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 736–750. Springer, Heidelberg (2008)
Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: Proceedings of the 6th International Workshop on Software and Performance (WOSP), pp. 115–124 (2007)
Heimdahl, M.P.E.: Safety and software intensive systems: Challenges old and new. In: FOSE 2007: Future of Software Engineering, Washington, DC, USA, pp. 137–152. IEEE Computer Society, Los Alamitos (2007)
Intern. Electrotechnical Commission: 65A/524/CDV: IEC 61508-3: Functional safety of electrical/electronic/programmable electronic safety-related systems part 3: Software requirements, Committee Draft for Voting (2008)
Esterel Technologies: Scade 6.0 (2008)
McDermid, J.A., Nicholson, M., Pumfrey, D.J., Fenelon, P.: Experience with the application of HAZOP to computer-based systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 37–48. Springer, Heidelberg (1996)
Gordon, M.J.C., Melham, T.F. (eds.): Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, Cambridge (1993)
Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)
Zoughbi, G., Briand, L., Labiche, Y.: A UML profile for developing airworthiness-compliant (RTCA-DO-178B) safety-critical systems. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 574–588. Springer, Heidelberg (2007)
Hooman, J., Kugler, H., Ober, I., Votintseva, A., Yushtein, Y.: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2), 131–155 (2008)
Hungar, H., Robbe, O., Wirtz, B.: Safe-UML - Restricting UML for the development of safety-critical systems. In: Schnieder, E., Tarnai, G. (eds.) Proc. FORMS/FORMAT 2007, pp. 467–475 (2007)
Object Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), Beta 2 (2008)
Berkenkötter, K., Hannemann, U.: Modeling the railway control domain rigorously with a UML 2.0 profile. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 398–411. Springer, Heidelberg (2006)
Object Management Group: SysML Specification Version 1.1 (2008-11-02) (November 2008), http://www.omg.org/spec/SysML/1.1/
ATESST2: EAST-ADL2 Profile Specification (January 2008)
Kelly, T.: Arguing Safety – A Systemic Approach to Managing Safety Cases. PhD thesis, University of York (September 1998)
ISO TC22/SC3/WG16: Road Vehicles – Functional Safety. Committee Draft (September 2008)
Telelogic: Rhapsody (2008)
Eclipse Modeling Framework Project, EMF (2008), http://www.eclipse.org/modeling/emf/
Graydon, P.J., Knight, J.C., Strunk, E.A.: Assurance based development of critical systems. In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 347–357. IEEE Computer Society, Los Alamitos (2007)
Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A discrete-time uml semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3), 81–115 (2005)
Harel, D., Marelly, R.: Come, Let’s Play - Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
Bozga, M., Graf, S., Mounier, L.: If-2.0: A validation environment for component-based real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 343–348. Springer, Heidelberg (2002)
Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol. 607, pp. 748–752. Springer, Heidelberg (1992)
Object Management Group: UML2.0 superstructure specification (2005)
Eisenbahn-Bundesamt: Technische Grundätze für die Zulassung von Sicherungsanlagen (1999)
Guidelines for the use of the language C in critical systems (2004)
Sanders, R.: Rhapsody 6.0 properties, Technical report, OSC-ES, Oldenburg, Germany (2006)
Robbe, O.: Analysis of the Rhapsody C++-code and framework according to compliance with the EBA-guidelines 42720 and 42730. Technical report, OFFIS, Oldenburg, Germany (2005)
Object Management Group: UML Profile for Schedulability, Performance, and Time (SPT), Version 1.1 (2005)
Papyrus for UML (2009), http://www.papyrusuml.org
Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the SymTA/S approach. IEEE Proceedings Computers and Digital Techniques 152(2), 148–166 (2005)
Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: International Symposium on Circuits and Systems (ISCAS), vol. 4, pp. 101–104 (2000)
Hagner, M., Huhn, M., Zechner, A.: Timing analysis using the MARTE profile in the design of rail automation systems. In: 4th European Congress on Embedded Realtime Software, ERTS 2008 (2008)
Object Management Group: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms Specification, Version 1.1 (2008)
Espinoza, H., Dubois, H., Gérard, S., Pasaje, J.L.M., Petriu, D.C., Woodside, C.M.: Annotating UML models with non-functional properties for quantitative analysis. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 79–90. Springer, Heidelberg (2006)
Avizienis, A., Laprie, J.C., Randell, B.: Fundamental concepts of dependability. Technical Report LAAS Report no. 01-145, UCLA, LAAS-CNRS, Univ. of Newcastle upon Tyne (2001)
Pataricza, A.: From the general ressource model to a general fault modeling paradigm? In: Jürjens, J., Cengarle, M.V., Fernandez, E.B., Rumpe, B., Sandner, R. (eds.) Critical Systems Development with UML – Proceedings of the UML 2002 workshop, TU München, Institut für Informatik, pp. 163–170 (2002)
Thomas, F., Delatour, J., Terrier, F., Gérard, S.: Towards a framework for explicit platform-based transformations. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), pp. 211–218. IEEE Computer Society, Los Alamitos (2008)
Graf, S., Ober, I., Ober, I.: A real-time profile for UML. International Journal on Software Tools for Technology Transfer (STTT) 8(2), 113–127 (2006)
Berkenkötter, K.: OCL-based validation of a railway domain profile. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 159–168. Springer, Heidelberg (2007)
Haxthausen, A., Peleska, J., Große, D., Drechsler, R.: Automated verification of train control systems. In: Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT), pp. 252–265 (2004)
Hungar, H., Bruhns, G., Plan, O., Lemke, O.: OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML. Signal + Draht 7 (2007)
Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2000)
Dwyer, M.B., Hatcliff, J., Robby, P.C.S., Visser, W.: Formal software analysis emerging trends in software model checking. In: Briand, L.C., Wolf, A.L. (eds.) Workshop on the Future of Software Engineering (FOSE), pp. 120–136 (2007)
Lewis, J., Rierson, L.: Certification concerns with integrated modular avionics (IMA) projects. In: Digital Avionics Systems Conference (DASC). IEEE, Los Alamitos (2003)
Kopetz, H., Grünsteidl, G.: TTP - a protocol for fault-tolerant real-time systems. IEEE Computer 27(1), 14–23 (1994)
Mücke, T., Huhn, M.: Minimizing test execution time during test generation. In: IFIP Working Conference on Software Engineering Techniques (SET 2006). Springer, Heidelberg (2006)
Pretschner, A., Philipps, J.: Methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 281–291. Springer, Heidelberg (2005)
Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Working Paper 04/2006, Department of Computer Science, The University of Waikato (2006)
Peleska, J.: A unified approach to abstract interpretation, formal verification and testing of C/C++ modules. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigün, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 3–22. Springer, Heidelberg (2008)
Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: DATE, pp. 10880–10885. IEEE, Los Alamitos (2003)
Namjoshi, K.S.: Certifying model checkers. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 2–13. Springer, Heidelberg (2001)
Alkassar, E., Hillebrand, M.A., Leinenbach, D., Schirmer, N.W., Starostin, A.: The Verisoft approach to systems verification. In: Shankar, N., Woodcock, J. (eds.) VSTTE 2008. LNCS, vol. 5295, pp. 209–224. Springer, Heidelberg (2008)
Beyer, S., Jacobi, C., Kroening, D., Leinenbach, D., Paul, W.: Putting it all together: Formal verification of the VAMP. International Journal on Software Tools for Technology Transfer 8(4-5), 411–430 (2006)
Lettrari, M.: Using abstractions for heuristic state space exploration of reactive object-oriented systems. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 462–481. Springer, Heidelberg (2003)
Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The Rhapsody UML Verification Environment. In: Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Bejing, China, pp. 174–183. IEEE, Los Alamitos (September 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Huhn, M., Hungar, H. (2010). 8 UML for Software Safety and Certification. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds) Model-Based Engineering of Embedded Real-Time Systems. MBEERTS 2007. Lecture Notes in Computer Science, vol 6100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16277-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-16277-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16276-3
Online ISBN: 978-3-642-16277-0
eBook Packages: Computer ScienceComputer Science (R0)