Insulin pump system is a safety-critical embedded system controlling the amount of injection of insulin to diabetics based upon their blood glucose levels, and the high reliability of the software used in the pump is crucial. One way to achieve the high reliability of software is to build an accurate and complete model through effective analysis and specification, and to implement the system based upon the specification. In this paper, we describe how the SOFL formal engineering method is applied to develop a specific insulin pump system in practice. In particular, we focus on the issue of how the three-step modeling approach advocated by the SOFL method, which includes informal, semi-formal, and formal specifications, is utilized to obtain a precise and valid specification of the embedded software for the insulin pump system. We also discuss how the specification benefits the implementation of the system, and report our experience and lessons learned.14th Asia-Pacific Software Engineering Conference

No abstract

The flexibility and instantaneity of existing water environment warning system seems difficult to satisfy the increasingly severe water environment security situation and water pollution events. A dynamic early warning system structure based on pollutant dispersion simulation has been put forward, with some research on the construction of pollutant dispersion model, dynamic trigger optimization model , dynamic display of simulation results and other key techniques in detail. Take the Qiantang River in Hangzhou section for example, this paper builds the water hydrodynamic model and the convection diffusion model, simulates the dispersion of assumed pollutants and then displays the fuctions of providing dynamic early warning services.The application shows that this system can provide accurate and convenient warning of the influence range and degree of water pollutants. It also provides decision support for relevant government departments, water companies and other enterprises to take emergency measures timely and effectively.

No abstract

No abstract