An overview of HP-SL

Bear, Stephen

doi:10.1007/3-540-54834-3_33

Cited by 13 publications

(5 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many coastal areas are heavily urbanized, a fact that makes the need for freshwater even more acute [Bear and Cheng, 1999]. Coastal aquifers are highly sensitive to disturbances.…”

Section: Introductionmentioning

confidence: 99%

Pumping optimization in saltwater‐intruded coastal aquifers

Cheng¹,

Halhal²,

Naji³

et al. 2000

Water Resources Research

183

165

View full text Add to dashboard Cite

Abstract. This paper investigates the hydraulic issues of pumping well optimization in saltwater-intruded coastal aquifers. The well field includes freshwater outflow, pumping wells, and a recharge canal. The objective is to maximize the total pumping rate subject to the constraint of no intrusion of the saltwater front into the wells. Analytical solutions are presented for one-well, two-well, and one-well-with-recharge-canal problems. For problems involving multiple pumping wells, a structured messy genetic algorithm is used to search for the optimal solution.

show abstract

“…Many coastal areas are heavily urbanized, a fact that makes the need for freshwater even more acute [Bear and Cheng, 1999]. Coastal aquifers are highly sensitive to disturbances.…”

Section: Introductionmentioning

confidence: 99%

Pumping optimization in saltwater‐intruded coastal aquifers

Cheng¹,

Halhal²,

Naji³

et al. 2000

Water Resources Research

183

165

View full text Add to dashboard Cite

show abstract

“…An HP Medical Instruments real-time database for storing patient monitoring information [Bear 1991]. -Devices.…”

Section: Formal Methodsmentioning

confidence: 99%

Formal methods

1996

View full text Add to dashboard Cite

“…The use of formal methods has been in place for the development of various health-care products for a long time. Several decades ago, Hewlett Packard used HP-SL [29] to enhance the quality of a range of their cardiac care products [30]. The University of Washington used the Z method [31] for the development of a computer control system of a cyclotron and treatment facility that provides particle beams for cancer treatment [32].…”

Section: Related Workmentioning

confidence: 99%

Model-driven development of high-assurance active medical devices

Mashkoor

2015

Software Qual J

View full text Add to dashboard Cite

Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification regimes due to the critical nature of such systems. This paper presents initial results and lessons learned from an ongoing project focusing on the development of a formal model of a subsystem of a software-controlled safety-critical active medical device (AMD) responsible for renal replacement therapy. The use of formal approaches for the development of AMDs is highly recommended by standards and regulations, and motivates the recent advancement of the state of the art of related methods and tools including Event-B and Rodin applied in this paper. It is expected that the presented model development approach and the specification of a high-confidence medical system will contribute to the still sparse experience base available at the disposal of the scientific and practitioner community of formal methods and software engineering.

show abstract

An overview of HP-SL

Cited by 13 publications

References 1 publication

Pumping optimization in saltwater‐intruded coastal aquifers

Pumping optimization in saltwater‐intruded coastal aquifers

Formal methods

Model-driven development of high-assurance active medical devices

Contact Info

Product

Resources

About