A pattern-based method for refining and formalizing informal specifications in critical control systems-Reference-Cited by-同舟云学术

A pattern-based method for refining and formalizing informal specifications in critical control systems

Published:2015-12 Issue:1-2 Volume:2 Page:32-44
ISSN:2352-6645
Container-title:Journal of Innovation in Digital Ecosystems
language:en
Short-container-title:Journal of Innovation in Digital Ecosystems

Author:

Ghazel Mohamed^ORCID,Yang Jing,El-Koursi El-Miloudi

Funder

Region Nord Pas de Calais and European fund FEDER

Publisher

Elsevier BV

Reference47 articles.

1. Informal and formal requirements specification languages: Bridging the gap;Fraser;IEEE Trans. Softw. Eng.,1991

2. M. Antoni, L’approche probabiliste des risques ne met pas à l’abri des catastrophes. a quand la généralisation des méthodes formelles dans le ferroviaire? Technical report, 2012.

3. Assisting specification and consistency-check of temporal requirements for critical systems;Ghazel,2012

4. J. Yang, M. Ghazel, E.M. El-Koursi, From formal speci- fications to efficient test scenarios generation, in: Proceedings of the International Conference on Advanced Logistics and Transport, ICALT’2013, 2013.

5. Specification styles in distributed systems design and verification;Vissers;Theoret. Comput. Sci.,1991

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

1. Verification of Airport Control Using Lisp Functional Language;2020 13th International Conference on Developments in eSystems Engineering (DeSE);2020-12-14

2. A formal framework for the safe design of the Autonomous Driving supervision;Reliability Engineering & System Safety;2018-06