Evolving car designs using model-based automated safety analysis and optimisation techniques

Journal of Systems and Software

Volumn 76, Issue 1, 2005, Pages 77-89

  Papadopoulos, Yiannis ^a   Grante, Christian ^b  

^a UNIVERSITY OF HULL   (United Kingdom)

^b VOLVO CAR CORPORATION   (Sweden)

Author keywords

Automated safety analysis; Fault tolerance; Fault tree synthesis; Multi objective optimization; Software hazard analysis

Indexed keywords

ACCIDENT PREVENTION; COMPUTER ARCHITECTURE; FAULT TOLERANT COMPUTER SYSTEMS; OPTIMIZATION; RELIABILITY;

FAULT TREE SYNTHESIS; FLEXIBLE DESIGN SOLUTIONS; SOFTWARE HAZARD ANALYSIS;

AUTOMATION;

EID: 10044290934     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2004.06.027     Document Type: Article

References (27)

1. Andersson, J., Wallace, D., 2002. Pareto optimization using the struggle genetic crowding algorithm. Engineering Optimization 34 (6), 623-643.
2. CENELEC, 1999a. Railway applications: The specification and demonstration of dependability, reliability, availability, maintainability and safety, EN 50126, European Committee for Electrotechnical Standardisation.
3. CENELEC, 1999b. Railway applications: Safety related electronic railway control and protection systems, EN 50129, European Committee for Electrotechnical Standardisation.
4. CENELEC, 1999c. Railway applications: Software for railway control and protection systems, EN 50128, European Committee for Electrotechnical Standardisation.
5. Coit, D.W., Smith, A.E., 1995. Optimisation approaches to the redundancy allocation problem for series-parallel systems. In: 4th Industrial Engineering Research Conference, Nashville, TN, pp. 342-349.
6. Coit, D.W., Smith, A.E., 1996. Reliability optimisation of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability R45 (2), 254-260.
7. Denzig, B., Altiparmak, F., Smith, A.E., 1997. Efficient optimisation of all-terminal reliable networks using an evolutionary approach. IEEE Transactions on Reliability R46, 18-26.
8. Deeter, D.L., Smith, A.E., 1997. Heuristic optimisation of network design considering all terminal reliability. In: Annual Reliability and Maintainability Symposium, Philadelphia, pp. 194-199.
9. EUROCAE, 1997. Certification considerations for highly-integrated or complex aircraft, ED-79/ARP-4754, European Organisation for Civil Aviation Equipment.
10. EUROCAE, 1999. Software considerations in airborne systems and equipment certification, ED-12B/DO-178B, European Organisation for Civil Aviation Equipment.
11. IEC, 1997. Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC-61508, International Electrotechnical Commission 65A/179-185.
12. ITI, 2003. Simulation X, ITI GmbH Dresden. Available from 〈http:// www.iti.de〉.
13. Fonseca, C., Fleming, P., 1998. Multi-objective optimization and multiple constraint handling with evolutionary algorithms. IEEE Transactions on Systems, Man & Cybernetics 28, 26-37.
14. Fussell, J.B., Vesely, W.E., 1972. A new methodology for obtaining cut-sets for fault trees. Transactions of American Nuclear Society 15, 262-263.
15. Grante, C., Andersson, J., 2003. Safety considerations in optimisation of design specification content. In: International Conference on Engineering Design, Stockholm.
16. Heimdahl, M.P.E., Keenan, D.J., 1997. Generating code from hierarchical state-based requirements. In: International Symposium on Requirements Engineering, Annapolis, pp. 210-221.
17. ISO, 2000. Road vehicles-Controller Area Network (CAN)-Part 4: Time-Triggered Communication, ISO/CD11898-4, International Organization for Standardization, Geneva.
18. Isograph, 2003. Fault Tree Plus, Isograph Ltd, Manchester. Available from 〈http://www.isograph.com〉.
19. Kopetz, H., 1995. The time-triggered approach to real-time system design, Predictably Dependable Computing Systems, ESPRIT basic research series, Springer-Verlag, Berlin.
20. Kopetz, H., Grunsteidl, G., 1994. TTP-A or ault tolerant real-rime systems. IEEE Computer 27 (1), 14-23.
21. Leen, G., Heffernan, D., 2002. Expanding automotive electronic systems. IEEE Computer 35 (1), 88-93.
22. McDermid, J.A., Nicholson, M., Pumfrey, D.J., Fenelon, P., 1995. Experience with the application of HAZOP to computer-based systems, COMPASS'95, Gaithersburg, MD.
23. Papadopoulos, Y., Maruhn, M., 2001. Model-based automated synthesis of fault trees from Simulink models. In: International Conference on Dependable Systems and Networks, Götenborg, pp. 77-82.
24. Papadopoulos, Y., Petersen, U., 2003. Combining ship machinery system design and first principle safety analysis. In: 8th International Marine Design Conference, Athens, vol. 1, pp. 415-426.
25. Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G., 2001. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety 71 (3), 229-247.
26. Pareto, V., 1896. Cours d' Économie Politique. Lausanne, Rouge.
27. SAE, 1996. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment, ARP 4761, Society of Automotive Engineers.