A formal pattern architecture for safe medical systems

Keyphrases

• Pacemaker 100%
• Medical Systems 100%
• Formal Pattern 100%
• Medical Devices 50%
• Instantiation 50%
• Cost Savings 50%
• Design Patterns 50%
• Rewriting Logic 50%
• Real-Time Maude 50%
• Software Engineering 50%
• Safety Properties 50%
• Critical Safety 50%
• Safety-critical Systems 50%
• Modular Design 50%
• Safety Patterns 50%
• Formal Guarantees 50%

Computer Science

• Software Engineering 100%
• Instantiation 100%
• Rewriting Logic 100%
• Safety Critical Systems 100%
• Cost Saving 100%
• Architecture Pattern 100%
• Design Pattern 100%