Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety
المؤلفون المشاركون
Zhu, Yi
Wang, Fei
Wang, Jinyong
Huang, Zhiqiu
Huang, Xiaowei
المصدر
Journal of Advanced Transportation
العدد
المجلد 2020، العدد 2020 (31 ديسمبر/كانون الأول 2020)، ص ص. 1-24، 24ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2020-12-07
دولة النشر
مصر
عدد الصفحات
24
التخصصات الرئيسية
الملخص EN
CADS (cooperative autonomous driving systems) are software-intensive and safety-critical reactive systems and give great promise to our daily life, but system errors may not be identified in the design stage until the implement stage, and the cost to correct them will be more expensive later than the early stage.
For designing trustworthy autonomous software systems, we have to deal with multiclock constraint models.
SysML (System Modeling Language) meets increasing adoption in order to carry out system-level modelling and verification against abstract representations, but it suffers from semantic ambiguities in the design of safety-critical autonomous systems.
The main objective is to investigate methods for coping with the design and analysis models simultaneously and to achieve semantic consistency based on mathematical foundations and formal model transformation.
In this paper, we propose a method to combine the requirement modelling process with analysis process together for CADS safety and reliability guarantee.
Firstly, we extend SysML metamodels and construct SysML profile for the CADS domain that could improve modelling correctness and enhance reusability.
An instantiated CADS model has been designed by means of adopting a profile containing different key functional and nonfunctional attributes and behaviors.
Secondly, we define formal syntax and semantic notations for modelling elements in the SysML state machine diagram and show transformation rules between the state machine diagram and the CCSL (Clock Constraint Specification Language) model.
Semantic preservation is also proved using the bisimulation relation between them for rigorous mapping correctness.
Thirdly, a cooperative autonomous overtaking driving case study on the highway scenario is used for illustration, and we use the tool TimeSquare to simulate CCSL specification execution traces at the system design stage.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Wang, Jinyong& Huang, Zhiqiu& Huang, Xiaowei& Zhu, Yi& Wang, Fei. 2020. Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety. Journal of Advanced Transportation،Vol. 2020, no. 2020, pp.1-24.
https://search.emarefa.net/detail/BIM-1176309
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Wang, Jinyong…[et al.]. Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety. Journal of Advanced Transportation No. 2020 (2020), pp.1-24.
https://search.emarefa.net/detail/BIM-1176309
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Wang, Jinyong& Huang, Zhiqiu& Huang, Xiaowei& Zhu, Yi& Wang, Fei. Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety. Journal of Advanced Transportation. 2020. Vol. 2020, no. 2020, pp.1-24.
https://search.emarefa.net/detail/BIM-1176309
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1176309
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر