Formal Specification of a Cardiac Pacing System
作者： Artur Oliveira Gomes , Marcel Vinícius Medeiros Oliveira
DOI: 10.1007/978-3-642-05089-3_44
关键词:
摘要: The International Grand Challenge project on Verified Software is a long-term research program involving people from all over the world and aimed to stimulate creation of new theories tools be applied industrial-scale problems. One challenges proposed make formal development cardiac pacemaker. In this paper, we present specification system using Z notation also discuss our experience in building model decisions made during process.
springer.com
harvard.edu
acm.org 
sci-hub.st 参考文章(15)
Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinicius Medeiros Oliveira, Tool Support for the Circus Refinement Calculus Lecture Notes in Computer Science. pp. 349- 349 ,(2008) , 10.1007/978-3-540-87603-8_37
Alfons F. Sinnaeve, S. Serge Barold, R. Stroobandt, Cardiac Pacemakers Step by Step: An Illustrated Guide ,(2003)
Artur O. Gomes, Marcel V. M. Oliveira, Formal development of a cardiac pacemaker: from specification to code formal methods. ,vol. 6527, pp. 210- 225 ,(2010) , 10.1007/978-3-642-19829-8_14
Jim Woodcock, Jim Davies, Using Z: Specification, Refinement, and Proof ,(1996)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock, Unifying theories in ProofPower-Z Formal Aspects of Computing. ,vol. 25, pp. 133- 158 ,(2013) , 10.1007/S00165-007-0044-5
C.A.R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar, The verified software initiative ACM Computing Surveys. ,vol. 41, pp. 1- 8 ,(2009) , 10.1145/1592434.1592439
Jeong-Oog Lee, Ho-Jun Lee, Development of Custom Selling System Using Ad Hoc Networks high-assurance systems engineering. pp. 397- 398 ,(2007) , 10.1109/HASE.2007.32
Ana Cavalcanti, Jim Woodcock, ZRC --- A Refinement Calculus for Z Formal Aspects of Computing. ,vol. 10, pp. 267- 289 ,(1998) , 10.1007/S001650050016
Jim Woodcock, Richard Banach, The Verification Grand Challenge Journal of Universal Computer Science. ,vol. 13, pp. 661- 668 ,(2007)
Hugo Daniel Macedo, Peter Gorm Larsen, John Fitzgerald, Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM Lecture Notes in Computer Science. pp. 181- 197 ,(2008) , 10.1007/978-3-540-68237-0_14