Formal verification framework for automotive UML designs

ACM International Conference Proceeding Series

Volumn 28-29-May-2016, Issue , 2016, Pages 21-27

  Bahig, Ghada ^a   El Kadi, Amr ^a  

^a AMERICAN UNIVERSITY IN CAIRO   (Egypt)

Author keywords

Correctness proofs; ISO 26262; Model checking; System verification; UML design

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE; DESIGN; FORMAL SPECIFICATION; FORMAL VERIFICATION; MODEL CHECKING; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; SYSTEMS ANALYSIS;

CORRECTNESS PROOFS; ISO-26262; SEMI-FORMAL NOTATIONS; SOFTWARE SPECIFICATION; SPECIFICATION REQUIREMENT; SYSTEM VERIFICATIONS; UML DESIGN; VERIFICATION FRAMEWORK;

FORMAL METHODS;

EID: 84985991857     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2944165.2944169     Document Type: Conference Paper

References (18)

1. Bo, Huang, Hui, Dong, Dafang, Wang, and Guifan, Zhao, 2010. Basic Concepts on AUTOSAR Development. Intelligent Computation Technology and Automation (ICICTA), 2010.
2. Bowen, J. and Stavridou, V. 1993. Safety-critical systems, formal methods and standards. Software Engineering Journal (Volume: 8, Issue: 4), Jul 1993.
3. Hermans, T., Ramaekers, P., Denil, J., and Meulenaere, P.D. 2011. Incorporation of AUTOSAR in an Embedded Systems Development Process: A Case Study, Software Engineering and Advanced Applications (SEAA), 2011.
4. http://sal.csl.sri.com/introduction.shtml.
5. http://spectrum.ieee.org/riskfactor/green-tech/advanced-cars/gm-recalls-50500-2011-cadillac-srxs-over-airbagrelated-software-glitch
6. http://www.autosar.org/
7. http://www.autosar.org/fileadmin/files/releases/4-0/software-architecture/general/auxiliary/AUTOSAR-EXP-LayeredSoftwareArchitecture.pdf
8. http://www.iso.org/iso/catalogue-detail?csnumber=43464.
9. JI, Lixia, and Jianhong, Zhuowei Shan 2012. Research on Model Checking Technology of UML. 2012 International Conference on Computer Science and Service System, IEEE.
10. th International Conference on Software Engineering, May 2002.
11. Koltz, Thomas, Fordoran, Eva, Straube, Bernd, and Haufe, Jurgen 2009. Formal Verification of UML-modeled Machine Controls. IEEE 2009.
12. Lam, Vitus S.W. and Padget, Julian 2004. Symbolic Model Checking of UML Statchart Diagrams with an Integrated Approach. Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04).
13. Ma, Wei-gang and Hei, Xin-hong 2010. An Approach for Design and Formal Verification of Safety-Critical Software. 2010 International Conference on Computer Application and System Modeling (ICCASM 2010).
14. Mews, M., Svacina, J., and Weissleder, S. 2012. From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. Software Testing, Verification and Validation (ICST), 2012 IEEE.
15. Moon, Huichoun, Kim, Gwanghun, Kim, Yeongyun, and Shin, Seokkyoo 2009. Automation Test Method for Automotive Embedded Software Based on AUTOSAR. Software Engineering Advances, 2009. ICSEA '09.
16. Park, Gwangmin, Ku, Daehyun, Lee, Seonghun, and Won, Woong-Jae, 2009. Test methods of the AUTOSAR application software components. ICCAS-SICE, 2009.
17. Wainer, G 2013. Applying modelling and simulation for development embedded systems. Embedded Computing (MECO), 2013.
18. Zhang, Shao Jie and Liu, Yang 2010. An Automatic Approach to Model Checking UML State Machines. Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement Compoanion 2010.