Safety-assured development of the GPCA infusion pump software
- 9 October 2011
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 155-164
- https://doi.org/10.1145/2038642.2038667
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A brief account of runtime verificationThe Journal of Logic and Algebraic Programming, 2009
- Safety analysis of software product lines using state-based modelingJournal of Systems and Software, 2007
- Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) ProjectPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Model-driven Development of Complex Software: A Research RoadmapPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Guest Editor's Introduction: Model-Driven EngineeringComputer, 2006
- Testing real-time embedded software using UPPAAL-TRONPublished by Association for Computing Machinery (ACM) ,2005
- Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to CodeLecture Notes in Computer Science, 2005
- Jahuel: A Formal Framework for Software SynthesisLecture Notes in Computer Science, 2005
- A Tutorial on UppaalLecture Notes in Computer Science, 2004