Specification-based prototyping for embedded systems

Keyphrases

• Confidence Level 50%
• Detailed Model 50%
• Embedded Systems 100%
• Executable Models 50%
• Formal Specification 100%
• Formal Verification 50%
• Human-in-the-loop 50%
• Manual Inspection 50%
• Nimbus 50%
• Observed Behavior 50%
• Physical Environment 50%
• Rapid System Prototyping 50%
• Refinement Process 50%
• Safety-critical 50%
• Software Model 50%
• Software Requirements 50%
• Specification-based 100%
• System Requirements 50%

Computer Science

• Hardware-in-the-Loop Simulation 50%