{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:44:06Z","timestamp":1754109846837,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319009476"},{"type":"electronic","value":"9783319009483"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-00948-3_14","type":"book-chapter","created":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T01:16:13Z","timestamp":1374196573000},"page":"215-230","source":"Crossref","is-referenced-by-count":8,"title":["S-TunExSPEM: Towards an Extension of SPEM\u00a02.0 to Model and Exchange Tunable Safety-Oriented Processes"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Gallina","sequence":"first","affiliation":[]},{"given":"Karthik Raja","family":"Pitchai","sequence":"additional","affiliation":[]},{"given":"Kristina","family":"Lundqvist","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Acu\u00f1a, S.T., Ferr\u00e9, X.: Software Process Modelling. In: Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, pp. 237\u2013242 (2001)","key":"14_CR1"},{"unstructured":"ARTEMIS-JU-269265: SafeCer-Safety Certification of Software-Intensive Systems with Reusable Components (2013), \n                    http:\/\/www.safecer.eu\/","key":"14_CR2"},{"doi-asserted-by":"crossref","unstructured":"Bendraou, R., Combemale, B., Cregut, X., Gervais, M.P.: Definition of an Executable SPEM 2.0. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference, APSEC, Nagoya, Japan, pp. 390\u2013397 (2007)","key":"14_CR3","DOI":"10.1109\/ASPEC.2007.60"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1109\/TSE.2009.85","volume":"36","author":"R. Bendraou","year":"2010","unstructured":"Bendraou, R., Jezequel, J., Gervais, M.P., Blanc, X.: A Comparison of Six UML-Based Languages for Software Process Modeling. IEEE Transactions Software Engineering\u00a036, 662\u2013675 (2010)","journal-title":"IEEE Transactions Software Engineering"},{"unstructured":"Berk, R.H.: An Analysis of Current Guidance in Certification of Airborne Software. Master\u2019s thesis, Massachusetts Institute of Technology, Cambridge, USA (2009)","key":"14_CR5"},{"doi-asserted-by":"crossref","unstructured":"Bertrand, C., Fuhrman, C.P.: Towards Defining Software Development Processes in DO-178B with Openup. In: Proceedings of 21st IEEE Canadian Conference on Electrical and Computer Engineering, CCECE, Niagara Falls, Ontario, Canada, pp. 851\u2013854 (2008)","key":"14_CR6","DOI":"10.1109\/CCECE.2008.4564656"},{"doi-asserted-by":"crossref","unstructured":"Chiam, Y.K., Staples, M., Zhu, L.: Representation of Quality Attribute Techniques Using SPEM and EPF Composer. In: European Software Process Improvement, EuroSPI, Spain. Springer (2009)","key":"14_CR7","DOI":"10.1007\/978-3-642-04133-4_15"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-13595-8_11","volume-title":"Modelling Foundations and Applications","author":"R. Ellner","year":"2010","unstructured":"Ellner, R., Al-Hilank, S., Drexler, J., Jung, M., Kips, D., Philippsen, M.: eSPEM \u2013 A SPEM extension for enactable behavior modeling. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 116\u2013131. Springer, Heidelberg (2010)"},{"unstructured":"Ellner, R., Al-Hilank, S., Jung, M., Kips, D., Philippsen, M.: Integrated Tool Chain for Meta-model-based Process Modelling and Execution. In: Proceedings of First Workshop on Academics Modeling with Eclipse, ACME, Lyngby, Denmark (2012)","key":"14_CR9"},{"unstructured":"Feng, Y., Mingshu, L., Zhigang, W.: SPEM2XPDL-Towards SPEM Model Enactment. In: Software Engineering. Front. Comput. Sci. China, pp. 1\u201311. Higher Education Press, Bejing (2008); Co-published with Springer-Verlag GmbH","key":"14_CR10"},{"doi-asserted-by":"crossref","unstructured":"Fuggetta, A.: Software Process: A Roadmap. In: Proceedings of the International Conference on Software Engineering, ICSE, New York, USA, pp. 25\u201334 (2000)","key":"14_CR11","DOI":"10.1145\/336512.336521"},{"doi-asserted-by":"crossref","unstructured":"Gallina, B., Sljivo, I., Jaradat, O.: Towards a Safety-oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. In: Post-proceedings of the 35th IEEE Software Engineering Workshop, SEW-35, Greece (2012)","key":"14_CR12","DOI":"10.1109\/SEW.2012.22"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-33176-3_5","volume-title":"Software Engineering for Resilient Systems","author":"B. Hamid","year":"2012","unstructured":"Hamid, B., Geisel, J., Ziani, A., Gonzalez, D.: Safety lifecycle development process modeling for embedded systems - example of railway domain. In: Avgeriou, P. (ed.) SERENE 2012. LNCS, vol.\u00a07527, pp. 63\u201375. Springer, Heidelberg (2012)"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4018\/jdtis.2011040102","volume":"2","author":"B. Hamid","year":"2011","unstructured":"Hamid, B., Zhang, Y., Geisel, J., Gonzalez, D.: First Experiment on Modeling Safety LifeCycle Process in Railway Systems. International Journal of Dependable and Trustworthy Information Systems\u00a02, 17\u201339 (2011)","journal-title":"International Journal of Dependable and Trustworthy Information Systems"},{"unstructured":"Health and Safety Executive (HSE): Out of Control. Why Control Systems Go Wrong and How to Prevent Failure (2003)","key":"14_CR15"},{"key":"14_CR16","volume-title":"Software for Dependable Systems: Sufficient Evidence?","author":"D. Jackson","year":"2007","unstructured":"Jackson, D., Thomas, M., Limmet, L.I.: Software for Dependable Systems: Sufficient Evidence? National Academy Press, Washington DC (2007)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1049\/iet-sen.2010.0020","volume":"5","author":"T. Mart\u00ednez-Ruiz","year":"2011","unstructured":"Mart\u00ednez-Ruiz, T., Garc\u00eda, F., Piattini, M., M\u00fcnch, J.: Modeling Software Process Variability: An Empirical Study. IET Software\u00a05, 172\u2013187 (2011)","journal-title":"IET Software"},{"unstructured":"Object Management Group: Software & Systems Process Engineering Meta-Model (SPEM), v2.0. Full Specification formal\/08-04-01 (2008)","key":"14_CR18"},{"doi-asserted-by":"crossref","unstructured":"Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. In: Proceedings of the 1st International Workshop on Software Certification, WoSoCER, Hiroshima, Japan, pp. 7\u201312 (2011)","key":"14_CR19","DOI":"10.1109\/WoSoCER.2011.8"},{"unstructured":"Pitchai, K.R.: An Executable Meta-model for Safety-oriented Software and Systems Development Processes within the Avionics Domain in Compliance with RTCA DO-178B. Master\u2019s thesis, M\u00e4lardalen University, School of Innovation, Design and Engineering, Sweden (2013)","key":"14_CR20"},{"doi-asserted-by":"crossref","unstructured":"Redmill, F.: Safety Integrity Levels - Theory and Problems. Lessons in System Safety. In: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton (2000)","key":"14_CR21","DOI":"10.1007\/978-1-4471-0883-2_1"},{"unstructured":"RTCA Inc.: Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178B (EUROCAE ED-12B), Washington DC (1992)","key":"14_CR22"},{"unstructured":"Ruiz-Rube, I., Dodero, J.M., Palomo-Duarte, M., Ruiz, M., Gawn, D.: Uses and Applications of SPEM Process Models. A Systematic Mapping Study. Journal of Software Maintenance and Evolution: Research and Practice, 1\u201332 (2012)","key":"14_CR23"},{"doi-asserted-by":"crossref","unstructured":"Rushby, J.: New Challenges in Certification for Aircraft Software. In: Proceedings of the Ninth ACM International Conference on Embedded Software, EMSOFT, New York, USA, pp. 211\u2013218 (2011)","key":"14_CR24","DOI":"10.1145\/2038642.2038675"},{"unstructured":"Shapiro, R.M.: XPDL 2.2: Incorporating BPMN2.0 Process Modeling Extensions. Extracted from BPM and Workflow Handbook, Future Strategies (2010)","key":"14_CR25"},{"unstructured":"SYNOPSIS-SSF-RIT10-0070: Safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research","key":"14_CR26"},{"unstructured":"Workflow Management Coalition: Workflow Management Coalition Workflow Standard- Process Definition Interface - XML Process Definition Language, WfMC-TC-1025, v2.2 (2012)","key":"14_CR27"},{"unstructured":"Zamli, K.Z., Lee, P.A.: Taxonomy of Process Modeling Languages. In: Proceedings of the ACS\/IEEE International Conference on Computer Systems and Applications, AICCSA, Beirut, Lebanon, pp. 435\u2013437 (2001)","key":"14_CR28"},{"key":"14_CR29","first-page":"550","volume-title":"Proceedings of the Sixth International Conference on Software Engineering Advances (ICSEA)","author":"Y. Zhang","year":"2011","unstructured":"Zhang, Y., Hamid, B., Gouteux, D.: A metamodel for representing safety lifecycle development process. In: Proceedings of the Sixth International Conference on Software Engineering Advances (ICSEA), pp. 550\u2013556. IEEE Computer Society Press, Barcelona (2011)"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00948-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T23:39:57Z","timestamp":1676331597000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00948-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319009476","9783319009483"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00948-3_14","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014]]}}}