Solvers, Analyses, and Simulations

The are plenty of solvers, analyses, and simulations available for the Palladio Component Model (PCM). Depending on the intended quality dimension (i.e. performance, reliability, and costs) and the targeted precision, time and resource consumption, and acceptable overhead, different solvers can be used. All solvers (including analyes and simulations) take instances of the PCM meta-model as input and then derive quality metrics (e.g. response time, throughput) from that.

Currently available solvers, analyses, and simulation approaches include (2015/04):

Name	Class	Quality dimensions	Comment
SimuCom	process and event-based simulation	performance, reliability	default simulator, most powerful
LQN Solver (LQNS)	analytical approach	performance	fast numeric approximation
Reliabiliy Solvers	analytical approach	reliability	fast reliability analyses
EventSim	event-based simulation	performance	simulation approach performing faster simulations in some areas than SimuCom; able to better handle very high concurrency
QPNSolver	queuing network simulation	performance	queuing Petri nets simulator
PerOpteryx	analysis	costs	included feature of PerOpteryx
ProtoCom	load generator, real code execution	performance, resource workload	workload for actual software and hardware stack
Prototype generator	code stub generator	coding, architecture generation	starting point for implementations of architectures described in PCM; speeds up development by POJO generation.
SimuLizar	simulation	performance	analyzing self-adaptive systems, such as cloud computing systems, at design-time
LINE	analysis	performance	scalable solver for queueing network models based on ordinary differential equations; calculates percentiles of response times (e.g. for SLA assessment); includes uncertainties about operational environment
Stochastic regular expressions (StoExSolver)	analysis	performance	fast calculation of distribution function for one user
e-Motions Transformation	analysis	performance, real-time	simulation and formal analysis of real-time systems
(discontinued) LQN Simulation	simulation	performance	simulation based solver for queuing networks (available through PCM Solver)

Further information on PCM solvers is available in the PCM developer wiki: Palladio Solvers and Simulation.