Lichen Zhang
VANET, VCPS, AADL, Safe Control
Vehicular cyber physical systems (VCPS) contain three parts: physical parts, communication parts and computation parts. Existing methods cannot be well suited for specification and modeling of vehicular cyber physical systems. In this paper, we extend the Architecture Analysis and Design Language (AADL) to model physical world, continuous dynamic features and spatial-temporal requirements of vehicular cyber physical systems. We propose a method to transform the rule of Cellular Automata (CA) to AADL model for modeling spatial-temporal requirements and we propose an approach to describe the continuous dynamic features in AADL and transform the Modelica model to AADL model. The proposed method is illustrated by Vehicular Ad-hoc NETwork (VANET).
Important Links:
Go Back
