Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
Topics & Concepts
Computer scienceModel checkingAvionicsFormal methodsFormal verificationTheory of computationProgramming languageRewritingFormal specificationHybrid systemToolchainModeling languageFormal languageDistributed computingComposite materialMachine learningSoftwareMaterials scienceFormal Methods in VerificationReal-Time Systems SchedulingDistributed systems and fault tolerance