Pre-verified safety control framework for real-time medical systems

Keyphrases

• Safety Control 100%
• Control Framework 100%
• Medical Systems 100%
• Medical Devices 75%
• Pre-planning 50%
• Finite State Machine 50%
• Application Development Environment 50%
• Negative Effects 25%
• Motivation 25%
• Wireless 25%
• Network Applications 25%
• Wireless Communication 25%
• Communication Media 25%
• Clinical Devices 25%
• Caregivers 25%
• Management System 25%
• Clinical Management 25%
• Device Control 25%
• Wireless Networks 25%
• Safety Requirements 25%
• Safety Properties 25%
• Automatically Generate 25%
• Packet Loss 25%
• Wireless Technology 25%
• Generic Method 25%
• Medical Procedures 25%
• Supervisory System 25%
• Traditional Healthcare System 25%
• Human Error 25%
• Boolean Logic 25%
• Seamless Connectivity 25%
• Unreliable Communication 25%
• Safety Layer 25%
• Safety Logic 25%
• Planning Mechanism 25%

Engineering

• Application Development 100%
• Finite-State Machine 100%
• Simplifies 50%
• Negative Effect 50%
• End-Users 50%
• Wireless Communication 50%
• Safety Requirement 50%
• Packet Loss 50%
• Wireless Technologies 50%
• Potential Human Error 50%
• Boolean Logic 50%

Computer Science

• Control Framework 100%
• Application Development 66%
• Finite-State Machine 66%
• Development Environment 66%
• Wireless Networks 33%
• System Management 33%
• Interoperability 33%
• Wireless Communication 33%
• Negative Effect 33%
• Wireless Technologies 33%
• Boolean Logic 33%