A Framework to Integrate Public Information into Runtime Safety Analysis for Critical Systems

作者：Li Guoqi^*

来源：IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D(4): 981-983.

DOI：10.1587/transinf.E97.D.981

• safety critical systems
• runtime analysis
• software framework
• safe reconfiguration

The large and complicated safety-critical systems today need to keep changing to accommodate ever-changing objectives and environments. Accordingly, runtime analysis for safe reconfiguration or evaluation is currently a hot topic in the field, whereas information acquisition of external environment is crucial for runtime safety analysis. With the rapid development of web services, mobile networks and ubiquitous computing, abundant realtime information of environment is available on the Internet. To integrate these public information into runtime safety analysis of critical systems, this paper brings forward a framework, which could be implemented with open source and cross platform modules and encouragingly, applicable to various safety-critical systems.

• 出版日期2014-4
• 单位北京航空航天大学