Model-checking of space systems designed with TASTE/SDL-Reference-Cited by-同舟云学术

Model-checking of space systems designed with TASTE/SDL

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
language:
Short-container-title:

Author:

Dragomir Iulia¹,Redondo Carlos¹,Jorge Tiago²,Gouveia Laura²,Ober Iulian³,Kolesnikov Ivan³,Bozga Marius⁴,Perrotin Maxime⁵

Affiliation:

1. GMV Aerospace and Defence, Madrid, Spain

2. GMV Aerospace and Defence, Lisbon, Portugal

3. ISAE-SUPAERO, Toulouse, France

4. CNRS/VERIMAG, Grenoble, France

5. European Space Agency, Noordwijk, Netherlands

Funder

European Space Agency

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3550356.3561541

Reference14 articles.

1. The IF Toolset

2. M. Bozzano H. Bruintjes A. Cimatti J. P. Katoen T. Noll and S. Tonetta. 2019. COMPASS 3.0. In Tools and Algorithms for the Construction and Analysis of Systems Tomáš Vojnar and Lijun Zhang (Eds.). Springer International Publishing Cham 379--385. M. Bozzano H. Bruintjes A. Cimatti J. P. Katoen T. Noll and S. Tonetta. 2019. COMPASS 3.0. In Tools and Algorithms for the Construction and Analysis of Systems Tomáš Vojnar and Lijun Zhang (Eds.). Springer International Publishing Cham 379--385.

3. Automatic verification of finite-state concurrent systems using temporal logic specifications

4. MoC4Space Consortium. 2022. TASTE model-checking with IF - Git repository. Available at https://gitrepos.estec.esa.int/taste/if-model-checking. MoC4Space Consortium. 2022. TASTE model-checking with IF - Git repository. Available at https://gitrepos.estec.esa.int/taste/if-model-checking.

5. MoC4Space Consortium. 2022. TASTE model-checking with IF - Technical Documentation. Available at https://taste.tuxfamily.org/wiki/index.php?title=IF_model-checking. MoC4Space Consortium. 2022. TASTE model-checking with IF - Technical Documentation. Available at https://taste.tuxfamily.org/wiki/index.php?title=IF_model-checking.

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

1. Specification and Description Language Models Automatic Execution in a High-Performance Environment;Computers;2023-11-22

2. COMPASTA = COMPASS + TASTE;CEAS Space Journal;2023-08-09