References

  1. Rajeev Alur, Aditya Kanade, S Ramesh & KC Shashidhar (2008): Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models. In: Proceedings of the 8th ACM International Conference on Embedded Software, pp. 89–98, doi:10.1145/1450058.1450071.
  2. Chonlawit Banphawatthanarak, Bruce H Krogh & Ken Butts (1999): Symbolic Verification of Executable Control Specifications. In: Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design. IEEE, pp. 581–586, doi:10.1109/CACSD.1999.808712.
  3. Clark Barrett, Pascal Fontaine & Cesare Tinelli (2015): The SMT-LIB Standard: Version 2.5. Technical Report. Department of Computer Science, The University of Iowa. Available at www.SMT-LIB.org.
  4. Clark Barrett & Cesare Tinelli (2018): Satisfiability Modulo Theories. Springer International Publishing, Cham, doi:10.1007/978-3-319-10575-8_11.
  5. Armin Biere, Alessandro Cimatti, Edmund M Clarke, Ofer Strichman & Yunshan Zhu (2003): Bounded Model Checking.. Advances in Computers 58(11), pp. 117–148, doi:10.1016/S0065-2458(03)58003-2.
  6. Hamza Bourbouh, Pierre-Loic Garoche, Christophe Garion, Arie Gurfinkel, Kahsai Temesghen & Xavier Thirioux (2017): Automated Analysis of Stateflow Models, doi:10.29007/b8gq.
  7. Hamza Bourbouh, Pierre-Loïc Garoche, Thomas Loquen, Éric Noulard & Claire Pagetti (2020): CoCoSim, a Code Generation Framework for Control/Command Applications: An Overview of CoCoSim for Multi-periodic Discrete Simulink Models. In: 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020).
  8. Adrien Champion, Alain Mebsout, Christoph Sticksel & Cesare Tinelli (2016): The Kind 2 Model Checker. In: International Conference on Computer Aided Verification. Springer, pp. 510–517, doi:10.1007/978-3-319-41540-6_29.
  9. C. Chen (2010): Formal Analysis for Stateflow Diagrams. In: 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion, pp. 102–109, doi:10.1109/SSIRI-C.2010.29.
  10. Leonardo De Moura & Nikolaj Bjørner (2008): Z3: An Efficient SMT Solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08/ETAPS'08. Springer-Verlag, Berlin, Heidelberg, pp. 337–340, doi:10.1007/978-3-540-78800-3_24. Available at http://dl.acm.org/citation.cfm?id=1792734.1792766.
  11. Leonardo De Moura, Harald Rueß & Maria Sorea (2003): Bounded Model Checking and Induction: From Refutation to Verification. In: International Conference on Computer Aided Verification. Springer, pp. 14–26, doi:10.1007/978-3-540-45069-6_2.
  12. Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan & Matthew Potok (2015): C2E2: A Verification Tool for Stateflow Models. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 68–82, doi:10.1007/978-3-662-46681-0_5.
  13. J-F Etienne, S Fechter & E Juppeaux (2010): Using simulink design verifier for proving behavioral properties on a complex safety critical system in the ground transportation domain. In: Complex Systems Design & Management. Springer, pp. 61–72, doi:10.1007/978-3-642-15654-0_4.
  14. Predrag Filipovikj (2021): SESf tool. https://github.com/predragf/sesf. [Online; accessed: September 21, 2022].
  15. Predrag Filipovikj, Dilian Gurov & Mattias Nyberg (2021): Bounded Invariant Checking for Stateflow Programs. CoRR abs/2103.06248. ArXiv:2103.06248.
  16. Patrice Godefroid, Nils Klarlund & Koushik Sen (2005): DART: Directed Automated Random Testing. SIGPLAN Not. 40(6), pp. 213–223, doi:10.1145/1064978.1065036.
  17. Grégoire Hamon (2005): A Denotational Semantics for Stateflow. In: Proceedings of the 5th ACM international conference on Embedded software, pp. 164–172, doi:10.1145/1086228.1086260.
  18. Grégoire Hamon (2008): Simulink Design Verifier - Applying Automated Formal Methods to Simulink and Stateflow. In: Third Workshop on Automated Formal Methods. Invited paper..
  19. Grégoire Hamon & John Rushby (2004): An Operational Semantics for Stateflow. In: International Conference on Fundamental Approaches to Software Engineering. Springer, pp. 229–243, doi:10.1007/978-3-540-24721-0_17.
  20. Grégoire Hamon & John Rushby (2007): An Operational Semantics for Stateflow. International Journal on Software Tools for Technology Transfer 9(5-6), pp. 447–456, doi:10.1007/s10009-007-0049-7.
  21. David Harel (1987): Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8(3), pp. 231–274, doi:10.1016/0167-6423(87)90035-9.
  22. ISO (2011): Road vehicles – Functional safety.
  23. Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun & Lui Sha (2019): Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Transactions on Cyber-Physical Systems 3(1), pp. 12, doi:10.1145/3078623.
  24. Stefan Kaalen, Anton Hampus, Mattias Nyberg & Olle Mattsson (2022): A Stochastic Extension of Stateflow. In: Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering, ICPE '22. Association for Computing Machinery, New York, NY, USA, pp. 211–222, doi:10.1145/3489525.3511679.
  25. James C King (1976): Symbolic Execution and Program Testing. Communications of the ACM 19(7), pp. 385–394, doi:10.1145/360248.360252.
  26. B Meenakshi, Abhishek Bhatnagar & Sudeepa Roy (2006): Tool for Translating Simulink Models into Input Language of a Model Checker. In: International Conference on Formal Engineering Methods. Springer, pp. 606–620, doi:10.1007/11901433_33.
  27. Alvaro Miyazawa & Ana Cavalcanti (2012): Refinement-oriented Models of Stateflow Charts. Science of Computer Programming 77(10-11), pp. 1151–1177, doi:10.1016/j.scico.2011.07.007.
  28. Daniel Pilaud, N Halbwachs & JA Plaice (1987): LUSTRE: A Declarative Language for Programming Synchronous Systems. In: Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages (14th POPL 1987). ACM, New York, NY 178, pp. 188, doi:10.1145/41625.41641.
  29. Inc. The MathWorks (2020): Matlab&Simulink - Simulink User's Guide. https://www.mathworks.com/help/pdf_doc/simulink/simulink_ug.pdf. [Online; accessed: September 21, 2022].
  30. Inc. The MathWorks (2020): Matlab&Simulink - Stateflow User's Guide. https://www.mathworks.com/help/pdf_doc/stateflow/stateflow_ug.pdf. [Online; accessed: September 21, 2022].
  31. Yixiao Yang, Yu Jiang, Ming Gu & Jiaguang Sun (2016): Verifying Simulink Stateflow Model: Timed Automata Approach. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016. ACM, New York, NY, USA, pp. 852–857, doi:10.1145/2970276.2970293.
  32. Paolo Zuliani, André Platzer & Edmund M Clarke (2010): Bayesian Statistical Model Checking with Application to Simulink/Stateflow Verification. In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, pp. 243–252, doi:10.1145/1755952.1755987.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org