#!/usr/local/bin/php Medical Device Verification


Medical Device Verification



Question or Comment
Contact: Dave Arney
Last updated: 2 / 06 / 2004


Documents from Penn

    #CARA Spec Paper

Related Work

  • Merging
    • Compositional specification and verification of distributed systems, Bengt Jonsson, Uppsala University, 1994 [Link]
    • MAS - an interactive synthesizer to support behavioral modelling in UML, Erkki Makinen, University of Tampere, 2001 [Link]
    • Synthesis of Behavioral Models from Scenarios, Uchitel, Kramer, Magee, 2003, [Link]
    • Generating Statechart Designs From Scenarios, Whittle, Schumann, NASA Ames Research, 2000, [Link]
  • GCSR
    • [BeLe98]
      A Graphical Language for Specifying and Analyzing Real-Time Systems, H. Ben-Abdallah and I. Lee, Special Issue of Integrated Computer-Aided Engineering on Real-time Engineering Systems, Vol 5, No 4, 1998.
      Abstract - Full Postscript File - PDF File
    • [BLS97]
      Operational Semantics for Visual Simulation in PARAGON, H. Ben-Abdallah, I. Lee and O. Sokolsky, Proceedings of IEEE National Aerospace and Electronics Conference, Jul 1997.
      Abstract - Full Postscript File - PDF
  • Propbank
  • Paramaterized Action Representations
    (a frame-based representation for Jack)
  • PaTNets (candidate graphical representation)