Science and Technology Foresight

特性	详细描述
可观察性（Observation-based）	监控器应该重点考虑原系统控制器的可观察性，而不查看在其内部（可能是模糊的）执行代码
确定性（Determinism Preservation）	RE中的防护器生成算法不应该引入非确定性
可用性（Feasibility）	防护器生成算法的复杂度应该是多项式的
避免死锁（Deadlock-freedom）	强制过程不能在被监控系统中引入死锁
避免分歧（Divergence-freedom）	强制过程不能在被监控系统中引入分歧
可扩展性（Scalability）	算法应该具备足够的可扩展性以适应原系统控制器

特性	详细描述
可观察性（Observation-based）	监控器应该重点考虑原系统控制器的可观察性，而不查看在其内部（可能是模糊的）执行代码
确定性（Determinism Preservation）	RE中的防护器生成算法不应该引入非确定性
可用性（Feasibility）	防护器生成算法的复杂度应该是多项式的
避免死锁（Deadlock-freedom）	强制过程不能在被监控系统中引入死锁
避免分歧（Divergence-freedom）	强制过程不能在被监控系统中引入分歧
可扩展性（Scalability）	算法应该具备足够的可扩展性以适应原系统控制器

Current Status and Prospects of Runtime Software Verification and Monitoring

PDF Download

Lei BU ¹^,² , Wei DONG ³^,^† , Yunxiao SHAN ⁴^,⁵

Science and Technology Foresight | Review and Commentary 2023,2(1): 62-77

fold up

Science and Technology Foresight | Review and Commentary 2023, 2(1): 62-77

Current Status and Prospects of Runtime Software Verification and Monitoring

Full

Lei BU¹^,², Wei DONG³^,^†, Yunxiao SHAN⁴^,⁵

Authors

1. State Key Laboratory for Novel Software Technology at Nanjing University, Nanjing 210023, China

2. Software Institute, Nanjing University, Nanjing 210023, China

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

4. School of Artificial Intelligence, Sun Yat-sen University, Zhuhai 519082, China

5. Guangdong Key Laboratory of Big Data Analysis and Processing, Guangzhou 510275, China

Corresponding author:

^†

Current Status and Prospects of Runtime Software Verification and Monitoring

Lei BU¹^,², Wei DONG³^,^†, Yunxiao SHAN⁴^,⁵

Affiliations

1. State Key Laboratory for Novel Software Technology at Nanjing University, Nanjing 210023, China

2. Software Institute, Nanjing University, Nanjing 210023, China

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

4. School of Artificial Intelligence, Sun Yat-sen University, Zhuhai 519082, China

5. Guangdong Key Laboratory of Big Data Analysis and Processing, Guangzhou 510275, China

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

Outline

Abstract

fold up

Nowadays, many software systems are working in open, dynamic, and nondeterministic scenarios, often suffering from unexpected interference and influence. It is important to conduct runtime verification and monitoring of system behavior and adaptively make real-time responses and decisions for and exert dynamic control over each real-time situation. This paper reviews the research progress of runtime verification, monitoring, enhancement, and dynamical control in and outside China and their prospects. Meanwhile, it also explores and recommends potential future research directions from the perspectives of the understanding of system behavior, controller synthesis, full-cycle monitoring, etc.

keyword

formal modeling and verification / runtime verification / online monitoring / control synthesis

Abstract

fold up

Key words

formal modeling and verification / runtime verification / online monitoring / control synthesis

Cited Article

卜磊, 董威, 单云霄. 软件运行时验证与监控技术发展现状与展望[J]. 前瞻科技, 2023 , 2 (1) : 5 -143 . DOI: 10.3981/j.issn.2097-0781.2023.01.005

Lei BU, Wei DONG, Yunxiao SHAN. Current Status and Prospects of Runtime Software Verification and Monitoring[J]. Science and Technology Foresight, 2023 , 2 (1) : 5 -143 . DOI: 10.3981/j.issn.2097-0781.2023.01.005

fund

fold up

References

fold up

literature

fold up

References Cited literature

Sorting Method：

Year 2023 Volume 2 Issue 1

PDF Download

1749

972

Cite this article

BibTeX

Article Information

doi: 10.3981/j.issn.2097-0781.2023.01.005

Received：2023-01-06
Published：2023-03-20
Release：2023-03-27

Supplementary materials

Related Articles

文章信息

作者

出版历史

收稿日期：2023-01-06
修回日期：2023-02-06

基金

国家自然科学基金(62232008)

国家自然科学基金(62172200)

国家自然科学基金(62032019)

江苏省前沿引领技术基础研究专项(BK20202001)

广东省粤穗联合基金青年基金(2020A1515110199)

深圳市基础研究项目(JCYJ20210324122203009)

深圳市基础研究项目(JCYJ20180508152434975)

Authors

1. State Key Laboratory for Novel Software Technology at Nanjing University, Nanjing 210023, China

2. Software Institute, Nanjing University, Nanjing 210023, China

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

4. School of Artificial Intelligence, Sun Yat-sen University, Zhuhai 519082, China

5. Guangdong Key Laboratory of Big Data Analysis and Processing, Guangzhou 510275, China

通讯作者:

^†

参考文献

分享链接

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

分享至

全文二维码

扫描看全文

引用本文

BibTeX

本文的引用情况

卜磊, 董威, 单云霄. 软件运行时验证与监控技术发展现状与展望[J]. 前瞻科技, 2023 , 2 (1) : 5 -143 . DOI: 10.3981/j.issn.2097-0781.2023.01.005

表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