19 citations · 42 across the 6 of their papers we have counts for
3 papers · 1 filter
SoS contract verification using statistical model checking
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer +2
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for ef…
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach
Alexandre Arnold, Benoît Boyer, Axel Legay
This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS a…
On the Simulation of Time-Triggered Systems on a Chip with BIP
Jan Olaf Blech, Benoit Boyer, Thanh Hung Nguyen
In this report, we present functional models for software and hardware components of Time-Triggered Systems on a Chip (TTSoC). These are modeled in the asynchronous component based…