Early validation of cyber–physical space systems via multi-concerns integration
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Topics & Concepts
Cyber-physical systemSpace (punctuation)Computer scienceSystems engineeringPhysical systemSoftwareSystem integrationComputationDistributed computingRobotSeparation of concernsSoftware engineeringSimulationArtificial intelligenceEngineeringProgramming languageOperating systemPhysicsQuantum mechanicsFormal Methods in VerificationAdvanced Software Engineering MethodologiesModel-Driven Software Engineering Techniques