Assessing software interference management when modifying safety-related software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7613 LNCS, Issue , 2012, Pages 132-145

  Graydon, Patrick J ^a   Kelly, Tim P ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

interference; safety argument; software change management; software partitioning

Indexed keywords

INTERFERENCE MANAGEMENT; SAFETY ARGUMENTS; SAFETY RELATED SOFTWARE; SOFTWARE CHANGE; SOFTWARE COMPONENT; SOFTWARE PARTITIONING; SYSTEM ENGINEERS;

COMPUTER SOFTWARE; ENGINEERS; MANAGEMENT; SAFETY FACTOR; VERIFICATION; WAVE INTERFERENCE;

SECURITY OF DATA;

EID: 84868144317     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33675-1_11     Document Type: Conference Paper

References (21)

1. AdaCore: Spark pro > language & toolsuite. Web page (October 2011), http://www.adacore.com/home/products/sparkpro/language-toolsuite/
2. AADL | getting started. Web page (2011), http://www.aadl.info/aadl/ currentsite/start/index.html
3. ARINC 653P1-3: Avionics application software standard interface, Part 1, Required services. Specification, ARINC (November 2010)
4. Attwood, K., et al.: GSN Community Standard v. 1. Origin Consulting (2011), http://www.goalstructuringnotation.info/documents/GSN-Standard.pdf
5. CAP 670: Air Traffic Services Safety Requirements. Civil Aviation Authority,West Sussex, United Kingdom (October 2010), http://www.caa.co.uk
6. Certification Authorities Software Team (CAST): Guidelines for assessing software partitioning/protection schemes. Position Paper CAST-2 (February 2001)
7. Charles, J., Jassi, P., Ananth, N.S., Sadat, A., Fedorova, A.: Evaluation of the Intel ® Core™ i7 Turbo Boost feature. In: Proceedings of the International Symposium on Workload Characterization (IISWC), pp. 188-197 (October 2009)
8. Graydon, P.: Classifying, analysing, and arguing about barriers in modified software systems. Technical Report SSEI-TR-000107, Software Systems Engineering Initiative (May 2011)
9. 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. 6106, pp. 83-96. Springer, Heidelberg (2010)
10. Hofmeister, C., Nord, R.L., Soni, D.: Describing software architecture with UML. In: Proceedings of the 1stWorking IFIP Conference on Software Architecture (1999)
11. Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley, Reading (1999)
12. IEC 61508-3: Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software requirements. International Electrotechnical Commission, 2nd edn. (April 2010)
13. IEC 61882: Hazard and operability studies (HAZOP studies) - Application guide. International Electrotechnical Commission, 1st edn. (May 2001)
14. ISO 26262-6:2011: Road vehicles - Functional safety - Part 6: Product development at the software level. International Organization for Standardization (2011)
15. 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)
16. 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-241 (1998)
17. OMG: OMG Unified Modeling Language™(OMG UML): Infrastructure, Version 2.3. Object Management Group (May 2010)
18. Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses. DPhil thesis, University of York, York, UK (September 1999)
19. RTCA DO-178B: Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., Washington, DC, USA (December 1992)
20. 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), http://www.tc.faa.gov/its/worldpac/techrpt/ar99-58.pdf
21. The Chemical Industry Safety and Health Council: A Guide to Hazard and Operability Studies. Chemical Industries Association (1977)