Palladio-Addons-EnvironmentalDynamics Environmental dynamics comprises modeling and analysis capabilities to enhance the PCM with probabilistic specifications of the execution environment.