Science and Technology Foresight

Challenges and Trends for Specification, Analysis, and Verification of Complex Systems

PDF Download

Naijun ZHAN ¹^,² , Ji WANG ³^,⁴^,^†

Science and Technology Foresight | Review and Commentary 2023,2(1): 7-22

fold up

Science and Technology Foresight | Review and Commentary 2023, 2(1): 7-22

Challenges and Trends for Specification, Analysis, and Verification of Complex Systems

Full

Naijun ZHAN¹^,², Ji WANG³^,⁴^,^†

Authors

1. Science & Technology on Integrated Information System Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

2. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

3. College of Computer Science and Technology, National University of Defense Technology, Changsha 410073, China

4. State Key Laboratory of High-Performance Computing, National University of Defense Technology, Changsha 410073, China

Corresponding author:

^†

Challenges and Trends for Specification, Analysis, and Verification of Complex Systems

Naijun ZHAN¹^,², Ji WANG³^,⁴^,^†

Affiliations

1. Science & Technology on Integrated Information System Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

2. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

3. College of Computer Science and Technology, National University of Defense Technology, Changsha 410073, China

4. State Key Laboratory of High-Performance Computing, National University of Defense Technology, Changsha 410073, China

Published: 2023-03-20 doi: 10.3981/j.issn.2097-0781.2023.01.001

Outline

Abstract

fold up

Formal methods provide mathematical theories, techniques, and tools for the specification, construction, analysis, and verification of computing systems (including hardware, software, and networks). As safety-critical systems are more widely applied to key fields related to national economics and defense, the trustworthiness problem of complex systems becomes prominent and challenging. Formal methods have become a key technology for developing dependable safety-critical systems and solving China’s problem of deficient microchips and operating systems. They are also the frontiers of international academics. This paper reviews the current status of formal methods, analyzes the gap between China and other countries in this regard, and proposes some suggestions on ways of strengthening the basic research on formal methods in China.

keyword

formal methods / safety-critical systems / formal specification / formal analysis and verification

Abstract

fold up

Key words

formal methods / safety-critical systems / formal specification / formal analysis and verification

Cited Article

詹乃军, 王戟. 复杂系统规约、分析与验证发展现状与展望[J]. 前瞻科技, 2023 , 2 (1) : 5 -143 . DOI: 10.3981/j.issn.2097-0781.2023.01.001

Naijun ZHAN, Ji WANG. Challenges and Trends for Specification, Analysis, and Verification of Complex Systems[J]. Science and Technology Foresight, 2023 , 2 (1) : 5 -143 . DOI: 10.3981/j.issn.2097-0781.2023.01.001

fund

fold up

References

fold up

literature

fold up

References Cited literature

Sorting Method：

Year 2023 Volume 2 Issue 1

PDF Download

3668

2625

Cite this article

BibTeX

Article Information

doi: 10.3981/j.issn.2097-0781.2023.01.001

Received：2022-12-31
Published：2023-03-20
Release：2023-03-24

Supplementary materials

Related Articles

文章信息

作者

出版历史

收稿日期：2022-12-31
修回日期：2023-01-20

基金

国家重点研发计划(2022YFA1005101)

国家自然科学基金(62192732)

国家自然科学基金(62032024)

国家自然科学基金(61732001)

中国科学院稳定支持基础研究领域青年团队计划(YSBR-040)

Authors

1. Science & Technology on Integrated Information System Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

2. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

3. College of Computer Science and Technology, National University of Defense Technology, Changsha 410073, China

4. State Key Laboratory of High-Performance Computing, National University of Defense Technology, Changsha 410073, China

通讯作者:

^†

参考文献

分享链接

https://castjournals.cast.org.cn/joweb/qzkj/EN/10.3981/j.issn.2097-0781.2023.01.001

分享至

全文二维码

扫描看全文

引用本文

BibTeX

本文的引用情况

詹乃军, 王戟. 复杂系统规约、分析与验证发展现状与展望[J]. 前瞻科技, 2023 , 2 (1) : 5 -143 . DOI: 10.3981/j.issn.2097-0781.2023.01.001

表12种不同金属材料的力学参数

科 Family	属数 Number of genus	种数 Number of species	占总种数比例 Percentage of total species (%)	属 Genus	种数 Number of species	占总种数比例 Percentage of total species (%)
鹅膏菌科Amanitaceae	2	11	5.26	鹅膏菌属 Amanita	10	4.78
小菇科 Mycenaceae	2	12	5.74	丝盖伞属 Inocybe	5	2.39
多孔菌科 Polyporaceae	8	14	6.70	蜡蘑属 Laccaria	5	2.39
红菇科 Russulaceae	3	23	11.00	小皮伞属 Marasmius	6	2.87
				小菇属 Mycena	11	5.26
				光柄菇属 Pluteus	5	2.39
				红菇属 Russula	17	8.13
				栓菌属 Trametes	5	2.39

Close Full

BibTeX
EndNote
RefWorks
TxT

Access Statistics

Links

Contact Us

WeChat