A formal framework for modelling and validating medical systems

Keyphrases

• Assure 33%
• Complete Set 33%
• Computerized System 33%
• Development Cycle 33%
• Effects on Humans 33%
• Formal Framework 100%
• Human Life 33%
• Intensive Care Unit 33%
• Medical Domain 33%
• Medical Systems 100%
• Requirements Error 33%
• Safety System 33%
• Safety-critical 66%
• Safety-critical Systems 33%
• Specification Testing 33%
• Specification Validation 33%
• System Development 33%
• User Requirements 66%
• X-machines 66%

Engineering

• Complete Set 50%
• Critical System 50%
• Desired Property 50%
• Final Product 50%
• Human Life 50%
• Intensive Care Unit 50%
• Lifecycle 50%
• Medical Domain 50%
• Safe System 50%
• User Requirement 100%

Computer Science

• Computerized System 33%
• Desired Property 33%
• Development Lifecycle 33%
• Formal Framework 100%
• Medical Domain 33%
• Safety Critical Systems 33%
• User Requirement 66%