{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:36:50Z","timestamp":1760708210245},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,6,19]],"date-time":"2010-06-19T00:00:00Z","timestamp":1276905600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1007\/s10270-010-0164-x","type":"journal-article","created":{"date-parts":[[2010,6,18]],"date-time":"2010-06-18T08:43:39Z","timestamp":1276850619000},"page":"337-367","source":"Crossref","is-referenced-by-count":41,"title":["Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile"],"prefix":"10.1007","volume":"10","author":[{"given":"Gregory","family":"Zoughbi","sequence":"first","affiliation":[]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,19]]},"reference":[{"issue":"3\/4","key":"164_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1504\/IJES.2006.014851","volume":"2","author":"K. Balasubramanian","year":"2006","unstructured":"Balasubramanian K., Krishna A.S., Turkay E., Balasubramanian J., Parsons J., Gokhale A., Schmidt D.: Applying model-driven development to distributed real-time and embedded avionics systems. Int. J. Embed. Syst. 2(3\/4), 142\u2013155 (2006)","journal-title":"Int. J. Embed. Syst."},{"key":"164_CR2","unstructured":"CENELEC EN: 50128.: Railway Applications: Software for Railway Control and Protection Systems. European Committe for Electrotechnical Standardization. January 1997"},{"key":"164_CR3","unstructured":"Eclipse Foundation.: Eclipse Modeling Framework. http:\/\/www.eclipse.org\/emf\/ . Accessed May 2005"},{"key":"164_CR4","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":"164_CR5","doi-asserted-by":"crossref","unstructured":"Hamid, B., Radermacher, A., Lanusse, A., Jouvray, C., Gerard, S., Terrier, F.: Designing fault-tolerant component based applications with a model driven approach. In: Proceedings of IFIP Workshop on Software Technologies for Embedded and Ubiquitous Systems, pp. 9\u201320 (2008)","DOI":"10.1007\/978-3-540-87785-1_2"},{"key":"164_CR6","unstructured":"Hansen, K.T., Gullesen, I.: Utilizing UML and patterns for safety critical systems. In: Proceedings of Workshop on Critical Systems Development with UML, in Conjunction with the International Conference on the UML (2002)"},{"key":"164_CR7","unstructured":"Hayhurst, K.J., Holloway, C.M.: Challenges in software aspects of aerospace systems. In: Proceedings of Annual NASA Goddard Software Engineering Workshop (2001)"},{"key":"164_CR8","doi-asserted-by":"crossref","unstructured":"Heinrich, M., Winkler, M., Steidelmueller, H., Zabelt, M., Behring, A., Neumerkel, R., Strunk, A.: MDA applied: a task-model driven tool chain for multimodal applications. In: Proceedings of Task Models and Diagrams for User Interface Design, LNCS, vol. 4849, pp. 15\u201327 (2007)","DOI":"10.1007\/978-3-540-77222-4_3"},{"key":"164_CR9","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, New York (2000)"},{"key":"164_CR10","unstructured":"IBM.: Rhapsody. http:\/\/www.01.ibm.com\/software\/awdtools\/rhapsody\/"},{"key":"164_CR11","unstructured":"IBM-Rational.: Rational Software Architect. http:\/\/www.306-ibm.com\/software\/awdtools\/architect\/swarchitect\/"},{"key":"164_CR12","unstructured":"Inc A.S.: ARTiSAN Studio. http:\/\/www.artisansw.com\/pdf\/product_sheets\/studio.pdf"},{"key":"164_CR13","unstructured":"International Electrotechnical Commission (IEC).: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. IEC 61508 (1998)"},{"key":"164_CR14","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Developing safety-critical systems with UML. In: Proceedings of International Conference on the UML, LNCS, vol. 2863, pp. 360\u2013372 (2003)","DOI":"10.1007\/978-3-540-45221-8_31"},{"key":"164_CR15","doi-asserted-by":"crossref","unstructured":"Lagarde, F., Espinoza, H., Terrier, F., Andre, C., Gerard, S.: Leveraging patterns on domain models to improve UML profile definition. In: Proceedings of Fundamental Approaches to Software Engineering, LNCS, vol. 4961, pp. 116\u2013130 (2008)","DOI":"10.1007\/978-3-540-78743-3_10"},{"key":"164_CR16","volume-title":"Safeware\u2014System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson N.G.: Safeware\u2014System Safety and Computers. Addison-Wesley, New York (1995)"},{"key":"164_CR17","doi-asserted-by":"crossref","unstructured":"Lewis, R., Dale, C., Anderson, T.: Safety case development as an information modelling problem. In: Proceedings of Safety-Critical Systems Symposium, Part 6, pp. 183\u2013193 (2009)","DOI":"10.1007\/978-1-84882-349-5_12"},{"key":"164_CR18","unstructured":"Meunier, J.-N., Lippert, F., Jadhav, R.: RT modeling with UML for safety critical applications\u2014the HIDOORS project example. In: Proceedings of Workshop on Specification and Validation of UML Models for Real-Time and Embedded Systems, in Conjunction with the International Conference on the UML (2003)"},{"issue":"4","key":"164_CR19","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s10111-008-0114-3","volume":"11","author":"A. Monin","year":"2009","unstructured":"Monin A., Dowell J.: User interface specification with sequence diagrams: an application to the AIRBUS A380 Datalink system. Cogn. Technol. Work 11(4), 267\u2013277 (2009)","journal-title":"Cogn. Technol. Work"},{"key":"164_CR20","unstructured":"Nilsen, K.: Certification requirements for safety-critical software. RTC Magazine (2004)"},{"issue":"3","key":"164_CR21","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/s11334-008-0066-z","volume":"4","author":"I. Ober","year":"2008","unstructured":"Ober I., Graf S., Yushtein Y., Ober I.: Timing analysis and validation with UML: the case of the embedded MARS bus manager. Innov. Syst. Softw. Eng. 4(3), 301\u2013308 (2008)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"164_CR22","unstructured":"OMG.: OCL 2.0 Specification. Object Management Group, Final Adopted Specification ptc\/03-10-14 (2003)"},{"key":"164_CR23","unstructured":"OMG.: UML Profile for Schedulability, Performance, and Time Specification. Adopted Specification. http:\/\/www.omg.org\/docs\/formal\/05-01-02.pdf (2005)"},{"key":"164_CR24","unstructured":"OMG: MOF 2.0\/XMI Mapping Specification v2.1.1., http:\/\/www.omg.org\/cgi-bin\/doc?formal\/07-12-01.pdf , (2007)"},{"key":"164_CR25","unstructured":"OMG: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms. Formal Specification 08-04-05. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/08-04-05.pdf (2008)"},{"key":"164_CR26","unstructured":"OMG: A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Formal Specification 2009-11-02. http:\/\/doc.omg.org\/formal\/2009-11-02.pdf (2009)"},{"key":"164_CR27","unstructured":"OMG: Unified Modeling Language: Infrastructure. Adopted Specification 09-02-04. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/09-02-04.pdf (2009)"},{"key":"164_CR28","unstructured":"OMG: Unified Modeling Language: Superstructure. Adopted Specification 09-02-02. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/09-02-02.pdf (2009)"},{"key":"164_CR29","unstructured":"Pender, T.: UML Bible. Wiley (2003)"},{"key":"164_CR30","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":"164_CR31","unstructured":"Sparx Systems: Enterprise Architect. http:\/\/www.sparxsystems.com\/products\/ea\/index.html"},{"key":"164_CR32","unstructured":"World Wide Web Consortium: The Extensible Stylesheet Language Family (XSL). http:\/\/www.w3.org\/Style\/XSL\/ (2009)"},{"key":"164_CR33","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"},{"key":"164_CR34","doi-asserted-by":"crossref","unstructured":"Zoughbi, G., Briand, L.C., Labiche, Y.: A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software. In: Proceedings of ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 574\u2013588 (2007)","DOI":"10.1007\/978-3-540-75209-7_39"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0164-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0164-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0164-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:19:44Z","timestamp":1559197184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0164-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,19]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["164"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0164-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,19]]}}}