{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:15:53Z","timestamp":1742944553174,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_33","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"452-466","source":"Crossref","is-referenced-by-count":1,"title":["Criticality-Driven Component Integration in Complex Software Systems"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Pecchia","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Pietrantuono","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Russo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Hammet, R.: Flight-Critical Distributed Systems: Design Considerations. IEEE AESS Systems Magazines, 30\u201336 (2003)","DOI":"10.1109\/MAES.2003.1209588"},{"issue":"5","key":"33_CR2","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/52.714817","volume":"15","author":"E.J. Weyuker","year":"1998","unstructured":"Weyuker, E.J.: Testing Component-Based Software: A Cautionary Tale. IEEE Software\u00a015(5), 54\u201359 (1998)","journal-title":"IEEE Software"},{"key":"33_CR3","unstructured":"Moraes, R.L.O., Dur\u00e3es, J., Barbosa, R., Martins, E., Madeira, H.: Experimental Risk Assessment and Comparison Using Software"},{"key":"33_CR4","unstructured":"CENELEC: EN 50126 Railways Applications. The specification and demonstration of Reliability,Availability, Maintainability and Safety (RAMS)"},{"key":"33_CR5","unstructured":"DO-178B\/ED12B Software consideration in airborne systems and equipment certification. RTCA and EUROCAE (December 1992)"},{"key":"33_CR6","unstructured":"SAF.ET1.ST03.1000-MAN-01. Air Navigation System Safety Assessment Methodology (v2-0). EUROCONTROL EATMP Safety Management (April 2004)"},{"key":"33_CR7","unstructured":"Functional safety and IEC 61508. Functional safety of electrical\/electronic\/programmable electronic safety-related systems. Produced by IEC\/SC65A\/WG14, The working group responsible for guidance on IEC 61508 (September 2005)"},{"key":"33_CR8","unstructured":"Storey, N.: Safety-Critical Computer Systems. Pearson and Prentice Hall (1996)"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Hassami, A.G., Foord, A.G.: Systems safety-a real example (European rail traffic management system, ERTMS). In: Proc. of the Second IEEE International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, pp. 327\u2013334 (2001)","DOI":"10.1049\/cp:20010484"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Pasquale, T., Rosaria, E., Pietro, M., Antonio, O.: Hazard analysis of complex distributed railway systems. In: Proc. of the 22nd IEEE International Symposium on Reliable Distributed Systems (SRDS 2003), pp. 283\u2013292 (October 2003)","DOI":"10.1109\/RELDIS.2003.1238078"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Mana, P., De Redet, J.M., Fowler, D.: Assurance Levels for ATM elements: Human (HAL), Operational Procedure (PAL), Software (SWAL). In: Proc. of the 2nd IEEE Int. Conference on Institution of Engineering and Technology, pp. 13\u201319 (October 2007)","DOI":"10.1049\/cp:20070434"},{"key":"33_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0951-8320(02)00007-8","volume":"77","author":"C. Garrett","year":"2002","unstructured":"Garrett, C., Apostolakis, G.: Automated hazard analysis of digital control systems. Reliability Engineering and System Safety\u00a077, 1\u201317 (2002)","journal-title":"Reliability Engineering and System Safety"},{"issue":"5","key":"33_CR13","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1109\/21.376495","volume":"25","author":"C. Garrett","year":"1995","unstructured":"Garrett, C., Guarro, S., Apostolakis, G.: The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems. IEEE Trans. on Syst., Man, and Cybern.\u00a025(5), 824\u2013840 (1995)","journal-title":"IEEE Trans. on Syst., Man, and Cybern."},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Supakkul, S., Lawrence, C.: Applying a Goal-Oriented Method for Hazard Analysis: A Case Study. In: Proc. of the 4th International Conference on Software Engineering Research, Management and Applications (SERA 2006), pp. 22\u201330 (August 2006)","DOI":"10.1109\/SERA.2006.16"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"Hewett, R.: Assessment of Software Risks with Model-Based Reasoning. In: Proc. of IEEE Inter. Conf. on Systems, Man and Cybernetics, vol.\u00a04, pp. 3238\u20133243 (2005)","DOI":"10.1109\/ICSMC.2005.1571645"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Powell, D.: Failure Mode Assumptions and Assumption Coverage. In: Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing, FTCS 1992 (1992)","DOI":"10.1109\/FTCS.1992.243562"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Pardo-Castellote, G.: OMG data-distribution service: Architectural overview. In: Proc. of the IEEE ICDCS Workshops, pp. 200\u2013206 (2003)","DOI":"10.1109\/ICDCSW.2003.1203555"},{"key":"33_CR18","volume-title":"Linux Device Drivers","author":"A. Rubini","year":"2001","unstructured":"Rubini, A., Corbet, J.: Linux Device Drivers, 2nd edn. O\u2019Reilly, Sebastopol (2001)","edition":"2"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Cotroneo, D., Pecchia, A., Pietrantuono, R., Russo, S.: A failure analysis of data distribution middleware in a mission-critical system for air traffic control. In: Proc. of the 4th ACM Int\u2019l Workshop on Middleware for Service Oriented Computing, pp. 25\u201330 (2009)","DOI":"10.1145\/1657755.1657760"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,2]],"date-time":"2019-04-02T00:01:50Z","timestamp":1554163310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}