Automatic Conversion and Verification System Based on AADL Scheduling Model.

Dachuan Liang Jing Li Haiyang Bai Huafeng Lin

Published in: TASE (2016)

Keyphrases

theoretical framework
computational model
database
probabilistic model
mathematical model
neural network model
real time
data sets
knowledge base
high level
scheduling problem
management system
conceptual model
scheduling algorithm
formal model
resource constraints