{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:28:01Z","timestamp":1748816881843},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752080"},{"type":"electronic","value":"9783540752097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_39","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T07:42:37Z","timestamp":1189496557000},"page":"574-588","source":"Crossref","is-referenced-by-count":16,"title":["A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software"],"prefix":"10.1007","author":[{"given":"Gregory","family":"Zoughbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"CENELEC\u00a0EN\u00a050128: Railway Applications: Software for Railway Control and Protection Systems, Version (1997)"},{"key":"39_CR2","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology","author":"H. Gomaa","year":"2000","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology. Addison Wesley, Reading (2000)"},{"key":"39_CR3","unstructured":"Hansen, K.T., Gullesen, I.: Utilizing UML and Patterns for Safety Critical Systems. In: Proc. Workshop on Critical Systems Development with UML, in conjunction with the International Conference on the UML (2002)"},{"key":"39_CR4","unstructured":"Hayhurst, K.J., Holloway, C.M.: Challenges in Software Aspects of Aerospace Systems. In: Proc. Annual NASA Goddard Software Engineering Workshop (2001)"},{"key":"39_CR5","volume-title":"Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors","author":"D.S. Herrmann","year":"2000","unstructured":"Herrmann, D.S.: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors. Wiley, Chichester (2000)"},{"key":"39_CR6","unstructured":"International Electrotechnical Commission (IEC), Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, IEC 61508 (1998)"},{"key":"39_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/978-3-540-45221-8_31","volume-title":"UML 2003","author":"J. J\u00fcrjens","year":"2003","unstructured":"J\u00fcrjens, J.: Developing Safety-Critical Systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 360\u2013372. Springer, Heidelberg (2003)"},{"key":"39_CR8","volume-title":"Safeware - System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware - System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"39_CR9","unstructured":"Meunier, J.-N., Lippert, F., Jadhav, R.: RT Modeling with UML for Safety Critical Applications - the HIDOORS Project Example. In: Proc. Workshop on Specification and Validation of UML Models for Real-Time and Embedded Systems, in conjunction with the International Conference on the UML (2003)"},{"key":"39_CR10","unstructured":"Nilsen, K.: Certification Requirements for Safety-Critical Software. RTC Magazine (2004)"},{"key":"39_CR11","unstructured":"OMG: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (2005), Final Adopted Submission, \n                    \n                      http:\/\/www.omg.org\/docs\/ptc\/05-05-02.pdf"},{"key":"39_CR12","unstructured":"OMG: UML Profile for Schedulability, Performance, and Time Specification, Adopted Specification (2005), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/05-01-02.pdf"},{"key":"39_CR13","volume-title":"UML Bible","author":"T. Pender","year":"2003","unstructured":"Pender, T.: UML Bible. Wiley, Chichester (2003)"},{"key":"39_CR14","unstructured":"RTCA: Software Considerations in Airbone Systems and Equipment Certification, Radio Technical Commission for Aeronautics (RTCA), European Organization for Civil Aviation Electronics (EUROCAE), Standard Document no. DO-178B\/ED-12B, (December 1992)"},{"key":"39_CR15","unstructured":"Zoughbi, G., Briand, L.C., Labiche, Y.: A UML Profile For Developing Airworthiness-Compliant (RTCA DO-178B) Safety-Critical Software. Carleton University, Technical Report SCE-05-19 (December 2006)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75209-7_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:05Z","timestamp":1619520965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}