A systematic approach for software interference analysis

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2014, Pages 78-87

  Zimmer, Bastian ^a   Dropmann, Christoph ^a   Hanger, Jochen Ulrich ^b  

^a FRAUNHOFER IESE   (Germany)

^b ROBERT BOSCH GMBH   (Germany)

Author keywords

Fault Tolerance; Mixed Criticality; Partitioning; Segregation; Software and System Safety; Software Interference

Indexed keywords

FAULT TOLERANCE; SAFETY ENGINEERING; SEGREGATION (METALLOGRAPHY);

COMPUTATIONAL RESOURCES; FAILURE PROPAGATION; INTERFERENCE ANALYSIS; MIXED CRITICALITIES; PARTITIONING; POTENTIAL INTERFERENCES; SOFTWARE AND SYSTEM SAFETIES; SYSTEMATIC IDENTIFICATION;

SOFTWARE RELIABILITY;

EID: 84928671282     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2014.12     Document Type: Conference Paper

References (15)

1. ARINC, "ARINC Specification 653 P1-3, Avionics Application Software Standard Interface, Part 1-Required Services," 2010.
2. H. Fennel, D. K.-P. Schnelle, and P. H. Heinecke, "Achievements and exploitation of the AUTOSAR development partnership," in Proceedings of the SAE Convergence 2006. SAE, 2006.
3. H. Kopetz, R. Obermaisser, C. Salloum, and B. Huber, "Automotive Software Development for a Multi-Core System-on-a-Chip," in Proceedings of the 4th International ICSE Workshop on Software Engineering for Automotive Systems (SEAS '07): SEAS '07, 2007.
4. ISO, "Iso 26262-Road vehicles-Functional safety," 2011.
5. IEC, "Iec 61508-functional safety of electrical/ electronic/programmable electronic safety-related systems," 2010.
6. RTCA, "DO-178C: Software Consideration in Airborne Systems and Equipment Certification," 2012.
7. R. Kaiser and S. Wagner, "Evolution of the PikeOS microkernel," in First International Workshop on Microkernels for Embedded Systems, 2007, p. 50.
8. AUTOSAR development partnership, "Specification of Operating System (v 5. 3. 0)," 2014.
9. Patrick J. Graydon and Tim P. Kelly, "Assessing Software Interference Management When Modifying Safety-Related Software," in Computer Safety, Reliability, and Security-SAFECOMP 2012 Sassur Workshop, Magdeburg, Germany, September 25-28, 2012. Proceedings, vol. 7613. Springer, 2012, pp. 132-145.
10. J. Rushby, "Partitioning in Avionics Architectures: Requirements, Mechanisms and Assurance," 1999.
11. O. Kotaba, J. Nowotsch, M. Paulitsch, S. M. Petters, and H. Theilingx, "Multicore in real-time systems temporal isolation challenges due to shared resources," in Proc. of Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (at DATE Conf.), 2013.
12. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," Dependable and Secure Computing, IEEE Transactions on, vol. 1, no. 1, pp. 11-33, Jan 2004.
13. G. Li and S. Top, "I/o sharing in a multi-core kernel for mixedcriticality applications," in IESS, ser. IFIP Advances in Information and Communication Technology, vol. 403. Springer, 2013, pp. 331-342.
14. J. McDermid and D. Pumfrey, "Safety Analysis of Hardware / Software Interactions in Complex Systems," in Proceedings of the 16th International System Safety Conference (ISSC'98): ISSC'98, 1998, pp. 232-241.
15. J. McDermid, M. Nicholson, D. Pumfrey, and P. Fenelon, "Experience with the application of HAZOP to computer-based systems," in Proceedings of the 10th Annual Conference on Computer Assurance (COMPASS '95): COMPASS '95. IEEE Computer Society, 1995.