A Formalism for Stochastic Adaptive Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

A Formalism for Stochastic Adaptive Systems

Résumé

Complex systems such as systems of systems result from the combination of several components that are organized in a hierarchical manner. One of the main characteristics of those systems is their ability to adapt to new situations by modifying their architecture. Those sys-tems have recently been the subject of a series of works in the software engineering community. Most of those works do not consider quantitative features. The objective of this paper is to propose a modeling language for adaptive systems whose behaviors depend on stochastic features. Our language relies on an extension of stochastic transition systems equipped with (1) an adaptive operator that allows to reason about the probability that a system has to adapt its architecture over time, and (2) dynamic interactions between processes. As a second contribution, we propose a contract-based extension of probabilistic linear temporal logic suited to reason about assumptions and guarantees of such systems. Our work has been implemented in the Plasma-Lab tool developed at Inria. This tool allows us to define stochastic adaptive systems with an extension of the Prism language, and properties with patterns. In addition, Plasma-Lab offers a simulation-based model checking procedure to reason about finite executions of the system. First experiments on a large case study coming from an industrial driven European project give encouraging results.
Fichier principal
Vignette du fichier
boyer-isola-14.pdf (375.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01087327 , version 1 (25-11-2014)

Identifiants

Citer

Benoît Boyer, Axel Legay, Louis-Marie Traonouez. A Formalism for Stochastic Adaptive Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Oct 2014, Corfu, Greece. pp.160 - 176, ⟨10.1007/978-3-662-45231-8_12⟩. ⟨hal-01087327⟩
429 Consultations
165 Téléchargements

Altmetric

Partager

More