@inproceedings{fbb97d49f7e44616a0f46dd27cdbee8c,
title = "A hierarchical verification procedure of timed Petri-Net model for real-time embedded systems",
abstract = "A novel approach to verify the timed Petri-Net model is proposed in this paper. A non-instantaneous model is abstracted from the timed Petri-Net model in a hierarchical structure. The non-instantaneous model which is verified with a model-checking tool is used to reduce the state space of the timed Petri-Net model for verification with a satisfiability modulo theories solver. The proposed approach is applied in verifying the non-functional properties of real-time embedded systems. The timed Petri-Net is used to model the interacting relations of the software components and the binding relations between software and hardware. A platform-independent model which abstracted from the scheduling model is transformed into the noninstantaneous model. The performance evaluation shows the improvement on the running time for verification with the proposed approach.",
keywords = "Hierarchical, Real-time embedded systems, Timed Petri-Net, Verification",
author = "Hanbo Wang and Xingshe Zhou and Yunwei Dong and Lei Tang",
year = "2010",
doi = "10.1109/ICIECS.2010.5678146",
language = "英语",
isbn = "9781424479412",
series = "2nd International Conference on Information Engineering and Computer Science - Proceedings, ICIECS 2010",
booktitle = "2nd International Conference on Information Engineering and Computer Science - Proceedings, ICIECS 2010",
note = "2nd International Conference on Information Engineering and Computer Science, ICIECS 2010 ; Conference date: 25-12-2010 Through 26-12-2010",
}