Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking-Reference-Cited by-同舟云学术

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

Published:2016 Issue: Volume: Page:165-181
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Khamespanah Ehsan,Mechitov Kirill,Sirjani Marjan,Agha Gul

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-32582-8_11

Reference31 articles.

1. Rebeca Formal Modeling Language. http://www.rebeca-lang.org/

2. MIT Press Series in Artificial Intelligence;GA Agha,1990

3. Lecture Notes in Computer Science;T Amnell,2004

4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

5. David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using UPPAAL 4.1. In: Nicolescu, G., Mosterman, P.J. (eds.) Model-Based Design for Embedded Systems, pp. 93–119. CRC Press, Boca Raton (2010)

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

1. Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker;Journal of Aerospace Information Systems;2020-12

2. Prototyping Formal System Models with Active Objects;Electronic Proceedings in Theoretical Computer Science;2018-10-04

3. Model checking: recent improvements and applications;International Journal on Software Tools for Technology Transfer;2018-07-24

4. An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models;Science of Computer Programming;2018-02

5. What Good are Models?;Formal Aspects of Component Software;2018