Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements-Reference-Cited by-同舟云学术

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements

Published:2023-12 Issue:12 Volume:24 Page:15146-15157
ISSN:1524-9050
Container-title:IEEE Transactions on Intelligent Transportation Systems
language:
Short-container-title:IEEE Trans. Intell. Transport. Syst.

Author:

Chen Xiaohong¹^ORCID,Zhang Juan¹,Jin Zhi²^ORCID,Zhang Min¹^ORCID,Li Tong³^ORCID,Chen Xiang⁴,Zhou Tingliang⁴

Affiliation:

1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China

2. Key Laboratory of High Confidence Software Technologies (PKU), Ministry of Education, School of Computer Science, Peking University, Beijing, China

3. Faculty of Information Technology, Beijing University of Technology, Beijing, China

4. CASCO Signal Ltd., Shanghai, China

Funder

National Natural Science Foundation of China

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Computer Science Applications,Mechanical Engineering,Automotive Engineering

Link

http://xplorestaging.ieee.org/ielx7/6979/10339106/10311067.pdf?arnumber=10311067

Reference42 articles.

1. Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals

2. Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements

3. Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

4. Syntax and semantics of the clock constraint specification language (CCSL);andré,2009

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

1. A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems;IEEE Transactions on Intelligent Transportation Systems;2024-08

2. Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24