FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain-Reference-Cited by-同舟云学术

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Feng Jincao¹,Miao Weikai¹,Zheng Hanyue¹,Huang Yihao¹,Li Jianwen¹,Wang Zheng²,Su Ting¹,Gu Bin²,Pu Geguang³,Yang Mengfei⁴,He Jifeng¹

Affiliation:

1. East China Normal University, China

2. Beijing Institute of Control Engineering, China

3. Shanghai Trusted Industrial Control Platform, China

4. China Academy of Space Technology, China

Publisher

ACM

Link

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

Reference52 articles.

1. SAE AS5506. 2004. Architecture analysis and design language (aadl). Embedded Computing Systems Committee SAE ( 2004 ). SAE AS5506. 2004. Architecture analysis and design language (aadl). Embedded Computing Systems Committee SAE ( 2004 ).

2. Reachability Analysis for AWS-Based Networks

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

1. Research on Model Simulation Engine in Nuclear Reactor Control Software Development Environment;Lecture Notes in Electrical Engineering;2024

2. MDSSED: A safety and security enhanced model-driven development approach for smart home apps;Information and Software Technology;2023-11

3. Automating Extraction of Problem Diagrams from Natural Language Requirement Documents;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09

4. MBIPV: a model-based approach for identifying privacy violations from software requirements;Software and Systems Modeling;2022-12-08

5. Extracting Requirements Models from Natural-Language Document for Embedded Systems;2022 IEEE 30th International Requirements Engineering Conference Workshops (REW);2022-08