Abstract
Nowadays, many practitioners express their worries about current software engineering practices. New recommendations should be considered to ground software engineering on solid theory and on proven principles. We took such an approach towards software engineering process modeling for embedded system applications with security and dependability requirements, focusing on the problem of integrating safety during the process design to clarify assessment of this kind of applications.
In this paper, we propose a safety-oriented process metamodel to support all the requirements of safety processes. The resulting modeling framework serves primarily to capture the basic concepts of concerns related to safety development of embedded systems based on the clear separation between the development process, the system and their properties. Subsequently, the safety property model of the process is defined. The feasibility of the approach is evaluated with a case study from the railway domain.
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
Cheung, L.Y.C., Chung, P.W.H., Dawson, R.J.: Managing process compliance, pp. 48–62. IGI Publishing, Hershey (2003), http://portal.acm.org/citation.cfm?id=954321.954326
Exida: Iec 61508 overview report (version 2.0 ). Tech. rep. (January 2006)
Gray, J., Tolvanen, J.P., Kelly, S., Gokhale, A., Neema, S., Sprinkle, J.: Domain-Specific Modeling. Chapman & Hall/CRC (2007)
Hamid, B., Desnos, N., Grepet, C., Jouvray, C.: Model-based security and dependability patterns in RCES: the TERESA approach. In: 1st International Workshop on Security and Dependability for Resource Constrained Embedded Systems, SD4RCES (2010)
Hamid, B., Gürgens, S., Jouvray, C., Desnos, N.: Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 319–333. Springer, Heidelberg (2011)
Henderson-Sellers, B., Gonzalez-Perez, C.: A comparison of four process metamodels and the creation of a new generic standard. Information & Software Technology 47(1), 49–65 (2005)
Henzinger, T.: Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A 366, 3727–3736 (2008)
Hug, C., Front, A., Rieu, D., Henderson-Sellers, B.: A method to build information systems engineering process metamodels. J. Syst. Softw. 82, 1730–1742 (2009)
IEC 61508, I.S.: Functional safety of electrical/ electronic/programmable electronic safetyrelated systems (2000)
IEC 61511, I.S.: Functional safety - safety instrumented systems for the process industry sector (2003)
Kopetz, H.: The complexity challenge in embedded system design. In: ISORC, pp. 3–12 (2008)
OMG: Software & Systems Process Engineering Meta-Model Specification (2008)
(OPF), O.P.F. http://www.opfro.org/
Rolland, C.: A Comprehensive View of Process Engineering. In: Pernici, B., Thanos, C. (eds.) CAiSE 1998. LNCS, vol. 1413, pp. 1–24. Springer, Heidelberg (1998)
S84.01, A.S.: Application of safety instrumented systems for the process industry (1996)
Smith, D.J., Simpson, K.G.L.: Functional Safety: A straightforward guide to applying IEC 61508 and related standards, 2nd edn. Elsevier, Butterworth Heinemann (2004)
Standards Australia: Standard Metamodel for Software Development Methodologies (2004)
Ziani, A., Hamid, B., Trujillo, S.: Towards a unified meta-model for resources-constrained embedded systems. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 485–492. IEEE (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hamid, B., Geisel, J., Ziani, A., Gonzalez, D. (2012). Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain. In: Avgeriou, P. (eds) Software Engineering for Resilient Systems. SERENE 2012. Lecture Notes in Computer Science, vol 7527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33176-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-33176-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33175-6
Online ISBN: 978-3-642-33176-3
eBook Packages: Computer ScienceComputer Science (R0)