Model Transformation for Cyber Physical Systems

CyberPhysicalSystems(CPS)arecomposedwithdiscreteandcontinuousdynamics.Traditionalmodelingtechniquescan’timplementtherequirementofmodelingCPS.OnewayofsolvingthisistomodelCPSpartswithdifferenttechniquesandtranslatethemintoauniformmodel.TheapproachofintegratingModelicawithAADLisasuitable