Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers

Journal Article
2015-01-0156
ISSN: 1946-4614, e-ISSN: 1946-4622
DOI: https://doi.org/10.4271/2015-01-0156
Published April 14, 2015 by SAE International in United States
Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers
Sector:
Citation: Murashkin, A., Silva Azevedo, L., Guo, J., Zulkoski, E. et al., "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 8(1):70-78, 2015, https://doi.org/10.4271/2015-01-0156.
Language: English

References

  1. Broy M. Challenges in automotive software engineering Proc. of ICSE 33 42 ACM 2006
  2. Int'l Organization for Standardization ISO 26262 Road vehicles - Functional safety 2011
  3. Parker , D. , Walker D. , Azevedo , L. S. , Papadopoulos , Y. et al Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm , Vol. 7906 2013, chap. 46 Applied Artificial Intelligence Ali Moonis , Bosse Tibor , Hindriks KoenV , Hoogendoorn Mark , Jonker CatholijnM and Treur Jan 449 459 Amsterdam Springer Berlin Heidelberg 2013 10.1007/978-3-642-38577-3_46
  4. Azevedo , L. S. , Parker , D. , Walker , M. , Papadopoulos , Y. et al. Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security - SAFECOMP 2013 Toulouse, France 2013
  5. Tsang , E Foundations of Constraint Satisfaction Academic 1993
  6. De Moura , L. and Bjørner , N. Satisfiability Modulo Theories: Introduction and Applications Comm. ACM 54 9 69 77 2011
  7. Vanderbei , R. Linear Programming Springer 2007
  8. Choco solver http://www.emn.fr/z-info/choco-solver/
  9. Z3 solver http://z3.codeplex.com/
  10. CPLEX Optimizer http://www-01.ibm.com/software/commerce/optimization/cplex-optimizer/
  11. Papadopoulos , Y. , Walker , M. , Reiser , M.-O. , Weber , M. et al. Automatic Allocation of Safety Integrity Levels 1st Workshop on Critical Automotive applications: Robustness and Safety (CARS'10) Valencia, Spain ACM 2010 7 10 10.1145/1772643.1772646
  12. Azevedo , L. P. Hybrid Braking System for Electrical Vehicles: Functional Safety M.Sc. thesis Department of Electrical and Computer Engineering, University of Porto Porto 2012
  13. Papadopoulos , Y. , Walker , M. , Parker , D. , Rüde et al. Engineering failure analysis and design optimisation with HiPHOPS Engineering Failure Analysis 18 2 590 608 2011 10.1016/j.engfailanal.2010.09.025
  14. da Silva Azevedo , L. , Parker , D. , Walker , M. , Papadopoulos , Y. et al. Assisted Assignment of Automotive Safety Requirements IEEE Software 31 62 68 2014 10.1109/ms.2013.118
  15. Clafer http://www.clafer.org/
  16. Tsa , Jung-Fa , Lin , Ming-Hua , and Hu , Yi-Chung Finding multiple solutions to general integer linear programs European Journal of Operational Research 802 809 2008
  17. Mader , R. , Armengaud E. , Leitner A. , and Steger C. Automatic and Optimal Allocation of Safety Integrity Levels Reliability and Maintainability Symposium (RAMS 2012) Reno, NV, USA 2012 1 6 10.1109/rams.2012.6175431
  18. Dhouibi , M. S. , Perquis , J.-M. , Saintis , L. , and Mihaela , B. Automatic Decomposition and Allocation of Safety Integrity Level Using System of Linear Equations PESARO 2014 : The Fourth International Conference on Performance, Safety and Robustness in Complex Systems and Applications Nice, France 2014
  19. Azevedo , L. S. , Parker , D. , Walker , M. , Papadopoulos , Y. et al. Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels 8822 Model-Based Safety and Assessment Ortmeier Frank and Rauzy Antoine 70 81 Springer International Publishing 2014 10.1007/978-3-319-12214-4_6
  20. Guo , J. , Zulkoski E. , Olaechea R. , Rayside D. , Czarnecki K. , Apel S. , and Atlee J. M. Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization Proc. of ASE ACM 2014
  21. Olaechea R. , Rayside D. , Guo J. , and Czarnecki K. Comparison of exact and approximate multi-objective optimization for software product lines Proc. of SPLC ACM 2014

Cited By

Recommended Content

Technical Paper New Approaches in Virtualization of ECU Software Development
Technical Paper An Automotive Specification of a Time Triggered CAN Implementation: Doubling CAN's Usable Data Throughput
Technical Paper CARTRONIC - An Open Architecture for Networking the Control Systems of an Automobile