Arnold, Alexandre and Baleani, Massimo and Ferrari, Alberto and Marazza, Marco and Senni, Valerio and Legay, Axel and Quilbeuf, Jean and Etzien, Christoph (2017) An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems.
![[thumbnail of 23948.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "23948.pdf")
PDF
23948.pdf
Download (1MB)
Abstract
This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set of heterogeneous components whose number evolves with time. Such components cooperate to accomplish functions that they could not achieve in isolation. Examples of SoS include smart cities or airport
| Item Type: | Article |
|---|---|
| Date Deposited: | 04 Mar 2026 10:50 |
| Last Modified: | 12 Apr 2026 09:18 |
| URI: | http://eprints.eai.eu/id/eprint/15335 |
Actions (login required)
- View Item