We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper reports put forward a research about secure access gateway based on moving the control terminal down to the layer 2 switches through the analysis of the actual network condition in university, and design a 24 ports hardware product by using embedded NAT processing unit. After a year of online testing, this product achieves in the function of(More)
An improved analysis process of software failure modes and effects analysis (SFMEA) is presented in this paper, to alleviate the difficulties and heavy workload while applying the conventional SFMEA approach to complex systems. By integrating SFMEA with the functional structure, data flow diagram (DFD), control flow diagram (CFD) and software fault tree(More)
Event-B is a formal method for modeling systems based on first order logic and set theory, which has gained widespread attention. Software safety analysis techniques have played important roles in improving and verifying the safety of software intensive systems. Event-B language and its tool support can be used for software safety analysis, for systems(More)
  • 1