SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

References

• Ahamad, S. S., & Pathan, A. S. (2020). A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic. Connection Science, 33(3), 532–554. https://doi.org/10.1080/09540091.2020.1854180
   Web of Science ®Google Scholar
• Alshboul, B., & Petriu, D. C. (2018). Automatic derivation of fault tree models from SysML models for safety analysis. Journal of Software Engineering and Applications, 11(5), 204–222. https://doi.org/10.4236/jsea.2018.115013
   Google Scholar
• Ando, T., Yatsu, H., Kong, W., Hisazumi, K., & Fukuda, A. (2013). Formalization and model checking of SysML state machine diagrams by CSP#. In B. Murgante, S. Misra, M. Carlini, C. M. Torre, H.-Q. Nguyen, D. Taniar, B. O. Apduhan, O. Gervasi (Eds.), Computational science and its applications – ICCSA 2013 (pp. 114–127). Springer Berlin Heidelberg.
   Google Scholar
• Badouel, É., Benveniste, A., Caillaud, B., Delahaye, B., & Raclet, J. B. (2006). SPEEDS: speculative and exploratory design in systems engineering.
   Google Scholar
• Baklouti, A., Nguyen, N., Mhenni, F., Choley, J. Y., & Mlika, A. (2019). Improved safety analysis integration in a systems engineering approach. Applied Sciences, 9(6), 1246. https://doi.org/10.3390/app9061246
   Google Scholar
• Berumen-Flucker, B., Rodriguez, A., Cienega, L., Casanova, V., & Douphrate, D. I. (2019). Evaluation of safety management and leadership training using mobile technologies among logging supervisors. Journal of Agromedicine, 24(2), 1–8. https://doi.org/10.1080/1059924X.2019.1567420
   PubMed Web of Science ®Google Scholar
• Biggs, G., Post, K., Armonas, A., Yakymets, N., Juknevicius, T., & Berres, A. (2019). OMG standard for integrating safety and reliability analysis into MBSE: concepts and applications. INCOSE International Symposium, 29(1), 159–173. https://doi.org/10.1002/iis2.v29.1
   Google Scholar
• Biggs, G., Sakamoto, T., & Kotoku, T. (2016). A profile and tool for modelling safety information with design information in SysML. Software & Systems Modeling, 15(1), 147–178. https://doi.org/10.1007/s10270-014-0400-x
   Web of Science ®Google Scholar
• Brosgol, B. M. (2011). Do-178c: the next avionics safety standard. ACM SIGAda Ada Letters, 31(3), 5–6. https://doi.org/10.1145/2070336.2070341
   Google Scholar
• Burgueño, L., & Gogolla, M. (2017). Formally modeling, executing, and testing service-oriented systems with UML and OCL. In 15th international conference on service-oriented computing (Vol. 10601, pp. 113–122). Springer.
   Google Scholar
• Calvino, A., & Apvrille, L. (2021). Direct model-checking of SysML models. In Proceedings of the 9th international conference on model-driven engineering and software development – modelsward (pp. 216–223). SciTePress.
   Google Scholar
• Cimatti, A., Dorigatti, M., & Tonetta, S. (2013). OCRA: a tool for checking the refinement of temporal contracts. In 2013 28th IEEE/ACM international conference on automated software engineering (pp. 702–705). IEEE.
   Google Scholar
• Cimatti, A., & Tonetta, S. (2016, April). A temporal logics approach to contract-based design. 2016 Architecture-Centric Virtual Integration (ACVI) (pp. 1–3). IEEE.
   Google Scholar
• Clegg, K. D., Li, M., Stamp, D., Grigg, A., & McDermid, J. (2019). A sysml profile for fault trees – linking safety models to system design (Vol. 11698). Springer.
   Google Scholar
• de Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design and dependability analysis. Journal of Software Maintenance and Evolution, 31(8), e2202. https://doi.org/10.1002/smr.2202
   Google Scholar
• de Souza, F. G. R., de Melo Bezerra, J., Hirata, C. M., de Saqui-Sannes, P., & Apvrille, L. (2020). Combining STPA with SysML modeling. In IEEE international systems conference (pp. 1–8). IEEE.
   Google Scholar
• DO-178C, R. (2011). Software considerations in airborne systems and equipment certification. RTCA, Incorporated.
   Google Scholar
• Dubois, H., Lakhal, F., & Gérard, S. (2009, September). The papyrus tool as an eclipse UML2-modeling environment for requirements. 2009 Second International Workshop on Managing Requirements Knowledge (pp. 85–88). IEEE.
   Google Scholar
• Gacek, A., Katis, A., Whalen, M. W., Backes, J., & Cofer, D. D. (2015). Towards realizability checking of contracts using theories. In 7th international symposium NASA formal methods (Vol. 9058, pp. 173–187). Springer.
   Google Scholar
• Garavel, H., Lang, F., & Mateescu, R. (2015). Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica, 52(4-5), 337–392. https://doi.org/10.1007/s00236-015-0226-1
   Web of Science ®Google Scholar
• Garro, A., & Tundis, A. (2012). Enhancing the RAMSAS method for system reliability analysis – an exploitation in the automotive domain. In Proceedings of the 2nd international conference on simulation and modeling methodologies, technologies and applications (pp. 328–333). SciTePress.
   Google Scholar
• Group, O. M. (2007). Unified modeling language specification version 2.1.1.
   Google Scholar
• Hause, M. C., & Thom, F. (2007, October). An integrated safety strategy to model driven development with SysML. 2007 2nd Institution of Engineering and Technology International Conference on System Safety (pp. 124–129). IET.
   Google Scholar
• Helle, P. (2012). Automatic SysML-based safety analysis. In Proceedings of the 5th international workshop on model based architecting and construction of embedded systems, aces-mb@models (pp. 19–24). ACM.
   Google Scholar
• International, S. (1996). Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. SAE International.
   Google Scholar
• Lee, W. S., Grosh, D. L., Tillman, F. A., & Lie, C. H. (2009). Fault tree analysis, methods, and applications: a review. IEEE Transactions on Reliability, R-34(3), 194–203. https://doi.org/10.1109/TR.1985.5222114
   Google Scholar
• Liu, J., Backes, J. D., Cofer, D. D., & Gacek, A. (2016). From design contracts to component requirements verification. In 8th international symposium on NASA formal methods (Vol. 9690, pp. 373–387). Springer.
   Google Scholar
• Mhenni, F., Choley, J., & Nguyen, N. (2016). An integrated design methodology for safety critical systems. In Annual IEEE systems conference (pp. 1–6). IEEE.
   Google Scholar
• Mhenni, F., Choley, J. Y., & Nguyen, N. (2015, September). SysML extensions for safety-critical mechatronic systems design. 2015 IEEE International Symposium on Systems Engineering (ISSE) (pp. 242–247). IEEE.
   Google Scholar
• Mo, H., Wagle, N. S., & Zuba, M. (2014). Cyber-physical systems. XRDS: Crossroads, The ACM Magazine for Students, 20(3), 8–9. https://doi.org/10.1145/2590778
   Google Scholar
• Munk, P., & Nordmann, A. (2020). Model-based safety assessment with SysML and component fault trees: application and lessons learned. Software and Systems Modeling, 19(4), 889–910. https://doi.org/10.1007/s10270-020-00782-w
   Web of Science ®Google Scholar
• Negro, J., & Phillips, R. (2010). Guidance, navigation and control. Betascript Publishing.
   Google Scholar
• Rahim, M., Hammad, A., & Boukala-Ioualalen, M. (2015, July). Towards the formal verification of SysML specifications: Translation of activity diagrams into modular petri nets. 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (pp. 509–516). IEEE.
   Google Scholar
• Sabaghian, A., Balochian, S., & Yaghoobi, M. (2020). Synchronisation of 6D hyper-chaotic system with unknown parameters in the presence of disturbance and parametric uncertainty with unknown bounds. Connection Science, 32(4), 362–383. https://doi.org/10.1080/09540091.2020.1723491
   Web of Science ®Google Scholar
• SC-205, R. F. (2011a). Formal methods supplement to do-178c and do-278a. RTCA, Incorporated.
   Google Scholar
• SC-205, R. F. (2011b). Model-based development and verification supplement to do-178c and do-278a. RTCA, Incorporated.
   Google Scholar
• Sentilles, S., Stepan, P., Carlson, J., & Crnkovic, I. (2009). Integration of extra-functional properties in component models. In 12th international symposium on component-based software engineering (Vol. 5582, pp. 173–190). Springer.
   Google Scholar
• Stewart, D., Whalen, M. W., Cofer, D. D., & Heimdahl, M. P. E. (2017). Architectural modeling and analysis for safety engineering. In 5th international symposium on model-based safety and assessment (Vol. 10437, pp. 97–111). Springer.
   Google Scholar
• SysML-Forum (2003). SysML FAQ. https://sysmlforum.com/sysml-faq/ [Accessed on Feb. 23, 2021].
   Google Scholar
• Tim King, D., & Bill Stclair, L. (2012). DO-178C takes safety-critical software development to the next level. Eetimes Com.
   Google Scholar
• Varghese, E. B., & Thampi, S. M. (2020). Towards the cognitive and psychological perspectives of crowd behaviour: a vision-based analysis. Connection Science, 33(2), 380–405. https://doi.org/10.1080/09540091.2020.1772723
   Web of Science ®Google Scholar
• Weilkiens, T. (2007). Sysml-the systems modeling language. Elsevier Inc.
   Google Scholar
• Yakymets, N., Jaber, H., & Lanusse, A. (2013). Model-based system engineering for fault tree generation and analysis. In Proceedings of the 1st international conference on model-driven engineering and software development (pp. 210–214). SciTePress.
   Google Scholar
• Yang, Z., Hu, K., Ma, D., Bodeveix, J., Pi, L., & Talpin, J. (2014). From AADL to timed abstract state machines: a verified model transformation. Journal of Systems & Software, 93(2), 42–68. https://doi.org/10.1016/j.jss.2014.02.058
   Google Scholar
• Yu, H., Joshi, P., Talpin, J., Shukla, S. K., & Shiraishi, S. (2015). The challenge of interoperability: model-based integration for automotive control software. In Proceedings of the 52nd annual design automation conference (pp. 1–6). ACM.
   Google Scholar
• Yu, L., Duan, Y., & Li, K. C. (2020). A real-world service mashup platform based on data integration, information synthesis, and knowledge fusion. Connection Science, 33(3), 463–481. https://doi.org/10.1080/09540091.2020.1841110
   Web of Science ®Google Scholar
• Zhan, H., Lin, Q., Wang, S., Talpin, J., Xu, X., & Zhan, N. (2019). Unified graphical co-modelling of cyber-physical systems using AADL and simulink/stateflow (Vol. 11885). Springer.
   Google Scholar
• Zhang, J., Cheng, Z., Cheng, X., & Chen, B. (2020). OAC-HAS: outsourced access control with hidden access structures in fog-enhanced IoT systems. Connection Science, 33(4), 1060–1076. https://doi.org/10.1080/09540091.2020.1841096
   Web of Science ®Google Scholar