 |
Formal Techniques for Distributed Systems 12th IFIP WG 6.1 International Conference FMOODS 2010 and 30th IFIP WG 6.1 International Conference FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 |
 |
Conference papers
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
Abstract : We propose a new simulation-based technique for verifying applications running within a large heterogeneous system. Our technique starts by performing simulations of the system in order to learn the context in which the application is used. Then, it creates a stochastic abstraction for the application, which takes the context information into account. This smaller model can be verified using efficient techniques such as statistical model checking. We have applied our technique to an industrial case study: the cabin communication system of an airplane. We use the BIP toolset to model and simulate the system. We have conducted experiments to verify the clock synchronization protocol i.e., the application used to synchronize the clocks of all computing devices within the system.
Cited literature [15 references]
https://hal.inria.fr/inria-00554321
Contributor : Hal Ifip <>
Submitted on : Monday, August 11, 2014 - 4:23:25 PM
Last modification on : Wednesday, June 16, 2021 - 3:41:37 AM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:11:35 PM
Contributor : Hal Ifip <>
Submitted on : Monday, August 11, 2014 - 4:23:25 PM
Last modification on : Wednesday, June 16, 2021 - 3:41:37 AM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:11:35 PM
File
61170032.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License