Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design.
Kui ZhangJi WuChao LiuSyed Sarmad AliJian RenPublished in: IEEE Access (2019)
Keyphrases
- model driven development
- design tools
- model driven engineering
- case study
- spatial and temporal
- core components
- engineering design
- spatio temporal
- decision support
- multi tasking
- software systems
- modeling language
- model driven
- modeling method
- primary purpose
- dynamic adaptation
- technical systems
- functional verification
- database
- modeling tool
- temporal aspects
- design space
- support systems
- computing environments
- temporal information
- design process
- neural network