Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

Keyphrases

• Live Sequence Charts 100%
• Telecommunication Applications 100%
• Feature Interaction 66%
• Early Development 33%
• Time Constraints 33%
• Formal Verification 33%
• Scenario Approach 33%
• Telecommunication Services 33%
• Maintenance Services 33%
• Fire Brigade 33%
• Specification Validation 33%
• Service Component 33%
• Distributed Architecture 33%
• Specification Animation 33%
• Car Maintenance 33%
• Embedded Platform 33%
• High-level Modeling 33%
• Rapidly Evolving 33%

Computer Science

• Feature Interaction 100%
• Time Constraint 50%
• Formal Verification 50%
• Telecommunication Service 50%
• Distributed Architecture 50%
• Service Component 50%
• Underlying System 50%
• Embedded Platform 50%
• Development Stage 50%