{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T05:11:21Z","timestamp":1654146681039},"reference-count":18,"publisher":"IGI Global","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4,1]]},"abstract":"<p>The conception and design of Resource Constrained Embedded Systems (RCES) is an inherently complex endeavor. Non-functional requirements from security and dependability are exacerbate this complexity. Model-Driven Engineering (MDE) is a promising approach for the design of trusted systems, as it bridges the gap between design issues and implementation concerns. The purpose of process models is to document and communicate processes, as well as reuse them. Thus, processes can be better taught and executed. However, most useful metamodels are activity-oriented, and the required concepts of safety lifecycle, such as validation, cannot be easily modeled. In this paper, the authors propose a safety-oriented process metamodel that extends exiting framework to support all safety control requirements. A new safety lifecycle development processes technique has been built to ease its use in a building process of system\/ software applications with safety support. As a proof of concept, the feasibility of the approach has been evaluated with an example. The example is an engineering process for building industry control systems with safety requirements for software and hardware resources. A prototype implementation of the approach is provided and applied to the example of industry control systems in the railway domain.<\/p>","DOI":"10.4018\/jdtis.2011040102","type":"journal-article","created":{"date-parts":[[2012,4,5]],"date-time":"2012-04-05T13:05:15Z","timestamp":1333631115000},"page":"17-39","source":"Crossref","is-referenced-by-count":1,"title":["First Experiment on Modeling Safety LifeCycle Process in Railway Systems"],"prefix":"10.4018","volume":"2","author":[{"given":"Brahim","family":"Hamid","sequence":"first","affiliation":[{"name":"IRIT, University of Toulouse, France"}]},{"given":"Yulin (Huaxi)","family":"Zhang","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, France"}]},{"given":"Jacob","family":"Geisel","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, France"}]},{"given":"David","family":"Gonzalez","sequence":"additional","affiliation":[{"name":"IKERLAN-IK4, Spain"}]}],"member":"2432","reference":[{"key":"jdtis.2011040102-0","doi-asserted-by":"crossref","first-page":"48","DOI":"10.4018\/978-1-93177-741-4.ch004","article-title":"Managing process compliance","author":"L. Y. C.Cheung","year":"2003","journal-title":"Information management: Support systems & multimedia technology"},{"key":"jdtis.2011040102-1","unstructured":"Exida. (2006). IEC 61508 overview report (version 2.0) (Tech. Rep.). Sellersville, PA: Author."},{"key":"jdtis.2011040102-2","author":"C.Gonzalez-Perez","year":"2004","journal-title":"Standard metamodel for software development methodologies"},{"key":"jdtis.2011040102-3","doi-asserted-by":"crossref","unstructured":"Hamid, B., Desnos, N., Grepet, C., & Jouvray, C. (2010). Model-based security and dependability patterns in RCES the Teresa approach. In Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems, Vienna, Austria (pp. 1-4).","DOI":"10.1145\/1868433.1868444"},{"key":"jdtis.2011040102-4","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2004.06.001"},{"key":"jdtis.2011040102-5","doi-asserted-by":"crossref","unstructured":"Henzinger, T., & Sifakis, J. (2006). The embedded systems design challenge. In J. Misra, T. Nipkow, & E. Sekerinski (Eds.), Proceedings of the 14th International Symposium on Formal Methods, Hamilton, ON, Canada (LNCS 4085, pp. 1-15).","DOI":"10.1007\/11813040_1"},{"key":"jdtis.2011040102-6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.05.020"},{"key":"jdtis.2011040102-7","year":"2000","journal-title":"IEC 61508: Functional safety of electrical\/ electronic\/programmable electronic safety related systems"},{"key":"jdtis.2011040102-8","year":"2000","journal-title":"IEC 61511: Functional safety - safety instrumented systems for the process industry sector"},{"key":"jdtis.2011040102-9","year":"1996","journal-title":"ISA S84.01: Application of safety instrumented systems for the process industry"},{"key":"jdtis.2011040102-10","author":"P.Kruchten","year":"2003","journal-title":"The rational unified process: An introduction"},{"key":"jdtis.2011040102-11","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9236(96)00007-3"},{"key":"jdtis.2011040102-12","unstructured":"OMG. (2008). Software & systems process engineering meta-model specification (SPEM), version 2.0. Retrieved from http:\/\/www.omg.org\/spec\/SPEM\/2.0\/"},{"key":"jdtis.2011040102-13","doi-asserted-by":"crossref","unstructured":"Rolland, C. (1998). A comprehensive view of process engineering. In Proceedings of the 10th International Conference on Advanced Information Systems Engineering (pp. 1-24).","DOI":"10.1007\/BFb0054216"},{"key":"jdtis.2011040102-14","doi-asserted-by":"publisher","DOI":"10.1007\/s007660050018"},{"key":"jdtis.2011040102-15","doi-asserted-by":"crossref","DOI":"10.4324\/9780080477923","author":"D. J.Smith","year":"2004","journal-title":"Functional safety: A straightforward guide to applying IEC 61508 and related standards"},{"key":"jdtis.2011040102-16","unstructured":"Teresa. (2010). Trusted computing engineering for resource constrained embedded systems applications. Retrieved from http:\/\/www.teresa- project.org\/"},{"key":"jdtis.2011040102-17","doi-asserted-by":"crossref","DOI":"10.1201\/9781420037821","author":"R.Zurawski","year":"2005","journal-title":"The industrial information technology handbook"}],"container-title":["International Journal of Dependable and Trustworthy Information Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=65520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T23:19:04Z","timestamp":1654125544000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jdtis.2011040102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2011,4,1]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"URL":"https:\/\/doi.org\/10.4018\/jdtis.2011040102","relation":{},"ISSN":["1947-9050","1947-9069"],"issn-type":[{"value":"1947-9050","type":"print"},{"value":"1947-9069","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,1]]}}}