Automatic modelling and verification of Autosar architectures
Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh, Yu Su, Junri Mi, Bowen Du
Topics & Concepts
AUTOSARComputer scienceEmbedded systemInteroperabilitySoftware architectureEmbedded softwareAutomatonSoftwareProgramming languageSoftware engineeringOperating systemArtificial intelligenceFormal Methods in VerificationReal-Time Systems SchedulingReal-time simulation and control systems