@inproceedings{b3c9da6fd111445e969a21db090e2d41,
title = "Timing properties analysis of real-time embedded systems with AADL model using model checking",
abstract = "A novel approach to analyze timing properties of real-time embedded systems based on the model-driven architecture is proposed in this paper. The scheduling model which describes components of software and hardware as well as the interacting and binding relations of components is abstracted from an AADL model. The task deadline at the component lever and the end-to-end latency at the system lever are analyzed by specifying the scheduling model with the satisfiability modulo theories. An analysis tool is developed to work with the AADL developing environment to analyze the timing properties of the AADL model. The experiment results demonstrate the running performance of the proposed approach.",
keywords = "AADL, Model checking, Model-driven architecture, Timing properties",
author = "Hanbo Wang and Xingshe Zhou and Yunwei Dong and Lei Tang",
year = "2010",
doi = "10.1109/PIC.2010.5687484",
language = "英语",
isbn = "9781424467860",
series = "Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing, PIC 2010",
pages = "1019--1023",
booktitle = "Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing, PIC 2010",
note = "2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010 ; Conference date: 10-12-2010 Through 12-12-2010",
}