Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety

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 th...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of advanced transportation Vol. 2020; no. 2020; pp. 1 - 24
Main Authors:	Zhu, Yi, Huang, Xiaowei, Huang, Zhiqiu, Wang, Jinyong, Wang, Fei
Format:	Journal Article
Language:	English
Published:	Cairo, Egypt Hindawi Publishing Corporation 07.12.2020 Hindawi John Wiley & Sons, Inc Wiley
Subjects:	Analysis Behavior Cognition & reasoning Computer models Computer programs Constraint modelling Design Driving ability Language Mathematical models Metamodels Programming languages Reliability analysis Safety Safety and security measures Safety critical Safety engineering Safety regulations Semantics Simulation Software Specification and description languages Specifications State machines Syntax Systems design Traffic congestion Transformations (mathematics) Transportation Vehicle safety Verification
ISSN:	0197-6729, 2042-3195
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!