A formal architecture pattern for real-time distributed systems

Keyphrases

• Distributed Real-time Systems 100%
• Architectural Patterns 100%
• Challenging Problems 50%
• Pattern Solution 50%
• Modeling Framework 50%
• Static Analysis 50%
• Checkers 50%
• Design Time 50%
• Dual Redundant 50%
• Design Validation 50%
• Redundant System 50%
• OSATE 50%
• Design Verification 50%
• Metamodel 50%
• Asynchronous Design 50%
• Synchronous Design 50%
• Model Manipulation 50%
• Synchronous Computation 50%
• Validation Time 50%
• Verification Time 50%

Computer Science

• Architecture Pattern 100%
• Formal Architecture 100%
• Distributed System 100%
• Modeling Framework 50%
• Static Program Analysis 50%
• Redundant System 50%
• Design Validation 50%
• Design Verification 50%
• Synchronous Design 50%