Real-time animation for formal specification

Proceedings of the 1st International Conference on Complex Systems Design and Management, CSDM 2010

Volumn , Issue , 2010, Pages 49-60

  Méry, Dominique ^a   Singh, Neeraj Kumar ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; FUNCTIONAL ARCHITECTURE; GRAPHICAL ANIMATION; IMPLEMENTED ARCHITECTURES; MATHEMATICAL DESCRIPTIONS; PRE-PROCESSING UNITS; PROPOSED ARCHITECTURES; REAL-TIME ANIMATIONS;

ANIMATION; FEATURE EXTRACTION; FORMAL METHODS; LARGE SCALE SYSTEMS; SPECIFICATION LANGUAGES; SYSTEMS ANALYSIS;

SPECIFICATIONS;

EID: 84864986216     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-642-15654-0_3     Document Type: Conference Paper

References (17)

1. A Reseach and Development Needs Report by NITRD. High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care, http://www.nitrd.gov/About/MedDevice-FINAL1-web.pdf
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering (2010) (forthcoming book)
3. Bjørner, D., Henson, M.C. (eds.): EATCS Textbook in Computer Science. Springer, Heidelberg (2007)
4. Boston Scientific Boston Scientific: Pacemaker system specification, Technical report (2007)
5. Cansell, D., Méry, D.: Logics of Specification Languages, pp. 33-140. Springer, Heidelberg (2007); See [3]
6. Hoare, C.A.R., Misra, J., Leavens, G.T., Shankar, N.: The verified software initiative: A manifesto. ACM Comput. Surv. 41(4), 1-8 (2009)
7. IEC, IEC functional safety and IEC 61508: Working draft on functional safety of electrical/electronic/programmable electronic safety-related systems (2005)
8. Writing Committee Members, Epstein, A.E., DiMarco, J.P., Ellenbogen, K.A., Estes III, Mark, N.A., Freedman, R.A., Gettes, L.S., Marc Gillinov, A., Gregoratos, G., Hammill, S.C., Hayes, D.L., Hlatky, M.A., Kristin Newby, L., Page, R.L., Schoenfeld, M.H., Silka, M.J., Stevenson, L.W., Sweeney, M.O.: ACC/AHA/HRS 2008 Guidelines for Device-Based Therapy of Cardiac Rhythm Abnormalities: Executive Summary: A Report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines (Writing Committee to Revise the ACC/AHA/NASPE 2002 Guideline Update for Implantation of Cardiac Pacemakers and Antiarrhythmia Devices): Developed in Collaboration With the American Association for Thoracic Surgery and Society of Thoracic Surgeons. Circulation 117(21), 2820-2840 (2008)
9. Méry, D., Singh, N.K.: Pacemaker's Functional Behaviors in Event-B. Research Report (2009), http://hal.inria.fr/inria-00419973/en/
10. MIT-BIH Database Distribution and Software, http://ecg.mit.edu/index.html
11. Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Tran Van, H.: Early verification and validation of mission critical systems. Electronic Notes in Theoretical Computer Science 133, 237-254 (2005); Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)
12. Project RODIN. Rigorous open development environment for complex systems, 2004-2007 (2004), http://rodin-b-sharp.sourceforge.net/
13. Quiones, M.A., Tornes, F., Fayad, Y., Zayas, R., Castro, J., Barbetta, A., Di Gregorio, F.: Rate-Responsive Pacing Controlled by the TVI Sensor in the Treatment of Sick Sinus Syndrome. Springer, Heidelberg (2006)
14. Reinhardt, R., Dowd, S.: Adobe Flash CS3 professional bible, p. 1232. Wiley, Chichester (2007)
15. Servat, T.: BRAMA: A New Graphic Animation Tool for B Models. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 274-276. Springer, Heidelberg (2006)
16. Tran Van, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: IEEE International Conference on Requirements Engineering, pp. 218-228 (2004)
17. Woodcock, J., Banach, R.: The verification grand challenge. J. UCS 13(5), 661-668 (2007)