{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:53:08Z","timestamp":1725454388393},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_11","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"132-145","source":"Crossref","is-referenced-by-count":6,"title":["Assessing Software Interference Management When Modifying Safety-Related Software"],"prefix":"10.1007","author":[{"given":"Patrick J.","family":"Graydon","sequence":"first","affiliation":[]},{"given":"Tim P.","family":"Kelly","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"AdaCore: Spark pro > language & toolsuite. Web page: \n                    \n                      http:\/\/www.adacore.com\/home\/products\/sparkpro\/language_toolsuite\/\n                    \n                    \n                   (October 2011)"},{"key":"11_CR2","unstructured":"AADL | getting started. Web page (2011), \n                    \n                      http:\/\/www.aadl.info\/aadl\/currentsite\/start\/index.html"},{"key":"11_CR3","unstructured":"ARINC 653P1-3: Avionics application software standard interface, Part 1, Required services. Specification, ARINC (November 2010)"},{"key":"11_CR4","unstructured":"Attwood, K., et al.: GSN Community Standard v. 1. Origin Consulting (2011), \n                    \n                      http:\/\/www.goalstructuringnotation.info\/documents\/GSN_Standard.pdf"},{"key":"11_CR5","unstructured":"CAP 670: Air Traffic Services Safety Requirements. Civil Aviation Authority, West Sussex, United Kingdom (October 2010), \n                    \n                      http:\/\/www.caa.co.uk"},{"key":"11_CR6","unstructured":"Certification Authorities Software Team (CAST): Guidelines for assessing software partitioning\/protection schemes. Position Paper CAST-2 (February 2001)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Charles, J., Jassi, P., Ananth, N.S., Sadat, A., Fedorova, A.: Evaluation of the Intel\u00ae CoreTM i7 Turbo Boost feature. In: Proceedings of the International Symposium on Workload Characterization (IISWC), pp. 188\u2013197 (October 2009)","DOI":"10.1109\/IISWC.2009.5306782"},{"key":"11_CR8","unstructured":"Graydon, P.: Classifying, analysing, and arguing about barriers in modified software systems. Technical Report SSEI-TR-000107, Software Systems Engineering Initiative (May 2011)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-13550-7_6","volume-title":"Reliable Software Technologiey \u2013 Ada-Europe 2010","author":"P.J. Graydon","year":"2010","unstructured":"Graydon, P.J., Knight, J.C., Yin, X.: Practical Limits on Software Dependability: A Case Study. In: Real, J., Vardanega, T. (eds.) Ada-Europe 2010. LNCS, vol.\u00a06106, pp. 83\u201396. Springer, Heidelberg (2010)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hofmeister, C., Nord, R.L., Soni, D.: Describing software architecture with UML. In: Proceedings of the 1st Working IFIP Conference on Software Architecture (1999)","DOI":"10.1007\/978-0-387-35563-4_9"},{"key":"11_CR11","volume-title":"Applied Software Architecture","author":"C. Hofmeister","year":"1999","unstructured":"Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley, Reading (1999)"},{"key":"11_CR12","unstructured":"IEC 61508-3: Functional safety of electrical\/electronic\/programmable electronic safety-related systems \u2014 Part 3: Software requirements. International Electrotechnical Commission, 2nd edn. (April 2010)"},{"key":"11_CR13","unstructured":"IEC 61882: Hazard and operability studies (HAZOP studies) \u2014 Application guide. International Electrotechnical Commission, 1st edn. (May 2001)"},{"key":"11_CR14","unstructured":"ISO 26262-6:2011: Road vehicles \u2014 Functional safety \u2014 Part 6: Product development at the software level. International Organization for Standardization (2011)"},{"key":"11_CR15","unstructured":"Joint IECCA and MUF Committee on Mascot (JIMCOM): The Official Handbook of Mascot, Version 3.1, Issue 1. Royal Signals and Radar Establishment, UK (1987)"},{"key":"11_CR16","unstructured":"McDermid, J.A., Pumfrey, D.J.: Safety analysis of hardware\/software interactions in complex systems. In: Proceedings of the 16th International System Safety Conference, Seattle, WA, pp. 231\u2013241 (1998)"},{"key":"11_CR17","unstructured":"OMG: OMG Unified Modeling LanguageTM(OMG UML): Infrastructure, Version 2.3. Object Management Group (May 2010)"},{"key":"11_CR18","unstructured":"Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses. DPhil thesis, University of York, York, UK (September 1999)"},{"key":"11_CR19","unstructured":"RTCA DO-178B: Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., Washington, DC, USA (December 1992)"},{"key":"11_CR20","unstructured":"Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical report NASA\/CR-1999\/209347, National Aeronautics and Space Administration, Hampton, VA, USA (March 2000), \n                    \n                      http:\/\/www.tc.faa.gov\/its\/worldpac\/techrpt\/ar99-58.pdf"},{"key":"11_CR21","unstructured":"The Chemical Industry Safety and Health Council: A Guide to Hazard and Operability Studies. Chemical Industries Association (1977)"}],"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-33675-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:21Z","timestamp":1620130701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}