Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan
Topics & Concepts
StateflowComputer scienceRotation formalisms in three dimensionsCorrectnessProgramming languageFormalism (music)Code generationModeling languageSoftware architectureFormal verificationEmbedded systemSoftwareOperating systemMATLABMathematicsVisual artsArtMusicalGeometryKey (lock)Embedded Systems Design TechniquesFormal Methods in VerificationReal-Time Systems Scheduling