This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems

Journal Article
2021-01-0260
ISSN: 2641-9645, e-ISSN: 2641-9645
Published April 06, 2021 by SAE International in United States
Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems
Sector:
Citation: Mahani, M., Rizzo, D., Paredis, C., and Wang, Y., "Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems," SAE Int. J. Adv. & Curr. Prac. in Mobility 3(5):2272-2280, 2021, https://doi.org/10.4271/2021-01-0260.
Language: English

References

  1. Holt , J. , and Perry , S. Sys ML for Systems Engineering 7 IET 2008
  2. Friedenthal , S. , Moore , A. , and Steiner , R. A Practical Guide to SysML: The Systems Modeling Language Morgan Kaufmann 2014
  3. Branscomb , J.M. , Paredis , C.J.J. , Che , J. , and Jennings , M.J. Supporting Multidisciplinary Vehicle Analysis Using a Vehicle Reference Architecture Model in SysML Procedia Comput. Sci. 16 79 88 2013
  4. Ribeiro , F.G.C. , Misra , S. , and Soares , M.S. Application of an Extended Sysml Requirements Diagram to Model Real-Time Control Systems International Conference on Computational Science and Its Applications 2013 70 81
  5. Sohier , H. et al. A Tooled Methodology for the System Architect’s Needs in Simulation with Autonomous Driving Application 2019 IEEE International Systems Conference (SysCon) 2019 1 8
  6. Gruber , K. , Huemer , J. , Zimmermann , A. , and Maschotta , R. Integrated Description of Functional and Non-Functional Requirements for Automotive Systems Design Using SysML 2017 7th IEEE International Conference on System Engineering and Technology (ICSET) 2017 27 31
  7. Veeramani Lekamani , S. Model Based Systems Engineering Approach to Autonomous Driving: Application of SysML for Trajectory Planning of Autonomous Vehicle 2018
  8. Kapellos , K. , Jourdan , M. , Espiau , B. , and Abdou , S. Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle Experimental Robotics IV Springer 1997 412 421
  9. Kamali , M. , Dennis , L.A. , McAree , O. , Fisher , M. , and Veres , S.M. Formal Verification of Autonomous Vehicle Platooning Sci. Comput. Program. 148 88 106 2017
  10. Fernandes , L.E.R. , Custodio , V. , Alves , G.V. , and Fisher , M. 2017
  11. Baier , C. , and Katoen , J.-P. Principles of Model Checking MIT Press 2008
  12. KB , S.R. , and Suryaprasad , J. Model Checkers - Tools and Languages for System Design-A Survey Methods (FM) 1 2 3
  13. Cimatti , A. , Clarke , E. , Giunchiglia , F. , and Roveri , M. NuSMV: A New Symbolic Model Verifier International Conference on Computer Aided Verification 1999 495 499
  14. Clarke , E.M. and Heinle , W. 2000
  15. Caltais , G. , Leitner-Fischer , F. , Leue , S. , and Weiser , J. SysML to NuSMV Model Transformation via Object-Orientation International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems 2016 31 45
  16. Kölbl , M. , Leue , S. , and Singh , H. From SysML to Model Checkers via Model Transformation International Symposium on Model Checking Software 2018 255 274
  17. Wang , H. , Zhong , D. , Zhao , T. , and Ren , F. Integrating Model Checking with SysML in Complex System Safety Analysis IEEE Access 7 16561 16571 2019
  18. Wongpiromsarn , T. , Topcu , U. , and Murray , R.M. Receding Horizon Temporal Logic Planning IEEE Trans. Automat. Contr. 57 11 2817 2830 2012
  19. Bhat , G. , Cleaveland , R. , and Grumberg , O. Efficient on-the-fly Model Checking for CTL Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science 1995 388 397
  20. Mahani , M.F. and Wang , Y. Runtime Verification of Trust-Based Symbolic Robot Motion Planning with Human-in-the-Loop ASME 2016 Dynamic Systems and Control Conference, DSCC 2016 2016 10.1115/DSCC2016-9816
  21. Mahani , M.F. and Wang , Y. Trust-Based Runtime Verification for Multi-Quad-Rotor Motion Planning with a Human-in-the-Loop ASME 2018 Dynamic Systems and Control Conference, DSCC 2018 2018 10.1115/DSCC2018-9174
  22. https://docs.nomagic.com/display/MD190/Jython+Scripting
  23. https://nusmv.fbk.eu
  24. Casse , O. SysML in Action with Cameo Systems Modeler Elsevier 2017
  25. https://www.uml-diagrams.org/state-machine-diagrams.html

Cited By