An Application of SMC to continuous validation of heterogeneous systems
This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set ofheterogeneous components whose number evolves with time. Such components cooperate to accomplishfunctions that they could not achieve in isolation. Examples of SoS include smart cities or airport m...
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
European Alliance for Innovation (EAI)
2017-12-01
|
| Series: | EAI Endorsed Transactions on Industrial Networks and Intelligent Systems |
| Subjects: | |
| Online Access: | https://eudl.eu/pdf/10.4108/eai.21-12-2017.153500 |
| _version_ | 1818263119277850624 |
|---|---|
| author | Alexandre Arnold Massimo Beleani Alberto Ferrari Marco Marazza Valerio Senni Axel Legay Jean Quilbeuf Christoph Etzien |
| author_facet | Alexandre Arnold Massimo Beleani Alberto Ferrari Marco Marazza Valerio Senni Axel Legay Jean Quilbeuf Christoph Etzien |
| author_sort | Alexandre Arnold |
| collection | DOAJ |
| description | This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set ofheterogeneous components whose number evolves with time. Such components cooperate to accomplishfunctions that they could not achieve in isolation. Examples of SoS include smart cities or airport management system. The dynamical evolution of SoS behavior and architecture makes it impossible to design an appropriate solution beforehand. Consequently, existing approaches build on an iterative process that takes SoS evolution into account. A key challenge in this process is the ability to reason about and analyze agiven view of the SoS (on a fixed number of SoS constituents) with respect to a set of goals, and use theresults to eventually predict the evolution of the SoS. To address this challenge, we rely on a scalable formalverification technique known as Statistical Model Checking (SMC). SMC quantifies how close the currentview is from achieving a given mission. We integrate SMC with existing industrial practice, by addressingboth methodological and technological issues. Our contribution is: (1) a methodology for validation of SoSformal requirements; (2) a formal specification language able to express complex SoS requirements; (3) the adoption of current industry standards for simulation and heterogeneous systems integration ; (4) a robust SMC tool-chain integrated with system design tools used in practice. We illustrate the application of our SMC tool-chain and the obtained results on a case study. |
| first_indexed | 2024-12-12T19:13:57Z |
| format | Article |
| id | doaj.art-ebdbd21cb29640a085a892bcf8e1487a |
| institution | Directory Open Access Journal |
| issn | 2410-0218 |
| language | English |
| last_indexed | 2024-12-12T19:13:57Z |
| publishDate | 2017-12-01 |
| publisher | European Alliance for Innovation (EAI) |
| record_format | Article |
| series | EAI Endorsed Transactions on Industrial Networks and Intelligent Systems |
| spelling | doaj.art-ebdbd21cb29640a085a892bcf8e1487a2022-12-22T00:14:47ZengEuropean Alliance for Innovation (EAI)EAI Endorsed Transactions on Industrial Networks and Intelligent Systems2410-02182017-12-0141110.4108/eai.21-12-2017.153500An Application of SMC to continuous validation of heterogeneous systemsAlexandre Arnold0Massimo Beleani1Alberto Ferrari2Marco Marazza3Valerio Senni4Axel Legay5Jean Quilbeuf6Christoph Etzien7AIRBUS, Toulouse, FranceALES - UTRC, Roma, ItalyALES - UTRC, Roma, ItalyALES - UTRC, Roma, ItalyALES - UTRC, Roma, ItalyInria, Rennes, FranceInria, Rennes, FranceOFFIS, Oldenburg, GermanyThis paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set ofheterogeneous components whose number evolves with time. Such components cooperate to accomplishfunctions that they could not achieve in isolation. Examples of SoS include smart cities or airport management system. The dynamical evolution of SoS behavior and architecture makes it impossible to design an appropriate solution beforehand. Consequently, existing approaches build on an iterative process that takes SoS evolution into account. A key challenge in this process is the ability to reason about and analyze agiven view of the SoS (on a fixed number of SoS constituents) with respect to a set of goals, and use theresults to eventually predict the evolution of the SoS. To address this challenge, we rely on a scalable formalverification technique known as Statistical Model Checking (SMC). SMC quantifies how close the currentview is from achieving a given mission. We integrate SMC with existing industrial practice, by addressingboth methodological and technological issues. Our contribution is: (1) a methodology for validation of SoSformal requirements; (2) a formal specification language able to express complex SoS requirements; (3) the adoption of current industry standards for simulation and heterogeneous systems integration ; (4) a robust SMC tool-chain integrated with system design tools used in practice. We illustrate the application of our SMC tool-chain and the obtained results on a case study.https://eudl.eu/pdf/10.4108/eai.21-12-2017.153500systems of systemsstatistical model checkingfmitool-chainsimulation. |
| spellingShingle | Alexandre Arnold Massimo Beleani Alberto Ferrari Marco Marazza Valerio Senni Axel Legay Jean Quilbeuf Christoph Etzien An Application of SMC to continuous validation of heterogeneous systems EAI Endorsed Transactions on Industrial Networks and Intelligent Systems systems of systems statistical model checking fmi tool-chain simulation. |
| title | An Application of SMC to continuous validation of heterogeneous systems |
| title_full | An Application of SMC to continuous validation of heterogeneous systems |
| title_fullStr | An Application of SMC to continuous validation of heterogeneous systems |
| title_full_unstemmed | An Application of SMC to continuous validation of heterogeneous systems |
| title_short | An Application of SMC to continuous validation of heterogeneous systems |
| title_sort | application of smc to continuous validation of heterogeneous systems |
| topic | systems of systems statistical model checking fmi tool-chain simulation. |
| url | https://eudl.eu/pdf/10.4108/eai.21-12-2017.153500 |
| work_keys_str_mv | AT alexandrearnold anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT massimobeleani anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT albertoferrari anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT marcomarazza anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT valeriosenni anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT axellegay anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT jeanquilbeuf anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT christophetzien anapplicationofsmctocontinuousvalidationofheterogeneoussystems AT alexandrearnold applicationofsmctocontinuousvalidationofheterogeneoussystems AT massimobeleani applicationofsmctocontinuousvalidationofheterogeneoussystems AT albertoferrari applicationofsmctocontinuousvalidationofheterogeneoussystems AT marcomarazza applicationofsmctocontinuousvalidationofheterogeneoussystems AT valeriosenni applicationofsmctocontinuousvalidationofheterogeneoussystems AT axellegay applicationofsmctocontinuousvalidationofheterogeneoussystems AT jeanquilbeuf applicationofsmctocontinuousvalidationofheterogeneoussystems AT christophetzien applicationofsmctocontinuousvalidationofheterogeneoussystems |