Probabilistic verification of Architectural software models using SoftArc and Prism

Keyphrases

• Modeling Language 100%
• Software Model 100%
• Probabilistic Verification 100%
• Automotive Industry 50%
• Distributed Systems 50%
• Google 50%
• Industrial Case Study 50%
• Dependability Analysis 50%
• Survivability Analysis 50%
• Survivability 50%
• Open System Architecture 50%
• Safety-critical Embedded Systems 50%
• File System 50%
• Random Access 50%
• AUTOSAR 50%
• Non-volatile 50%

Computer Science

• Case Study 100%
• modeling language 100%
• Software Model 100%
• Computer Hardware 100%
• Distributed Systems 50%
• Industrial Case 50%
• System Architectures 50%
• Embedded Systems 50%
• Filesystems 50%
• Nonvolatile 50%
• Software Element 50%
• Random Access 50%
• Dependability Analysis 50%