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.
Guoqi LI
Beihang University (BUAA)
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Guoqi LI, "A Framework to Integrate Public Information into Runtime Safety Analysis for Critical Systems" in IEICE TRANSACTIONS on Information,
vol. E97-D, no. 4, pp. 981-983, April 2014, doi: 10.1587/transinf.E97.D.981.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E97.D.981/_p
Copy
@ARTICLE{e97-d_4_981,
author={Guoqi LI, },
journal={IEICE TRANSACTIONS on Information},
title={A Framework to Integrate Public Information into Runtime Safety Analysis for Critical Systems},
year={2014},
volume={E97-D},
number={4},
pages={981-983},
abstract={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.},
keywords={},
doi={10.1587/transinf.E97.D.981},
ISSN={1745-1361},
month={April},}
Copy
TY - JOUR
TI - A Framework to Integrate Public Information into Runtime Safety Analysis for Critical Systems
T2 - IEICE TRANSACTIONS on Information
SP - 981
EP - 983
AU - Guoqi LI
PY - 2014
DO - 10.1587/transinf.E97.D.981
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E97-D
IS - 4
JA - IEICE TRANSACTIONS on Information
Y1 - April 2014
AB - 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.
ER -