SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems.
Leslie CheungLeana GolubchikNenad MedvidovicPublished in: QUOVADIS@ICSE (2010)
Keyphrases
- concurrent systems
- temporal logic
- prediction accuracy
- process algebra
- management system
- levels of abstraction
- transition systems
- scalable video coding
- higher level
- real time
- reliability analysis
- prediction error
- prediction model
- software architecture
- model checking
- petri net
- distributed systems
- high quality
- scalable distributed
- service oriented
- application level
- web scale
- formal specification
- case study
- neural network