Author: Hugo Macedo
The Pacemaker Challenge problem has been proposed by the
North American Software Certification Consortium, based
on a pacemaker specification offered by Boston Scientific.
Participants in the challenge are invited to develop models,
designs and implementations, as well as generating evidence
that would be of value in certifying the software. More
details can be found in:
Hugo Daniel Macedo, Peter Gorm Larsen and John Fitzgerald,
Incremental Development of a Distributed Real-Time Model
of a Cardiac Pacing System Using VDM, FM 2008: Formal
Methods, LNCS 5014, Eds.: Jorge Cuellar, Tom Maibaum and
Kaisa Sere, May 2008.
Language Version: vdm10
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.13Bemerkung:
(vorverarbeitet)
¤
*Bot Zugriff
|
|
