Architecture-level reliability prediction of concurrent systems.
Leslie CheungIvo KrkaLeana GolubchikNenad MedvidovicPublished in: ICPE (2012)
Keyphrases
- concurrent systems
- temporal logic
- prediction accuracy
- model checking
- transition systems
- distributed systems
- prediction algorithm
- management system
- real time
- formal specification
- process algebra
- data flow
- levels of abstraction
- prediction model
- application level
- petri net
- prediction error
- software architecture
- multi agent systems
- neural network