An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems-Reference-Cited by-同舟云学术

An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems

Published:2018-02-01 Issue:S2 Volume:22 Page:2543-2554
ISSN:1386-7857
Container-title:Cluster Computing
language:en
Short-container-title:Cluster Comput

Author:

Cai Haibin,Wu Hao

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Software

Link

http://link.springer.com/article/10.1007/s10586-017-1319-0/fulltext.html

Reference23 articles.

1. Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. 43(4), 35 (2011)

2. Tindell, K.: Adding time-offsets to schedulability analysis. Technical report, University of York (1994)

3. Yomsi, P.M., Bertrand, D., Navet, N., Davis, R.L.: Controller area network (CAN): response time analysis with offsets. In: WFCS, pp. 43–52 (2012)

4. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Wang, Y.: Times: a tool for schedulability analysis and code generation of real-time systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS. Lecture Notes in Computer Science, vol. 2791, pp. 60–72. Springer (2003)

5. Fersman, E., Mokrushin, L., Petersson, P., Wang, Y.: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2), 301–317

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment;Cluster Computing;2021-05-28

2. A novel energy-efficient scheduling model for multi-core systems;Cluster Computing;2020-06-29