21-23 mai 2025 Domaine de l'Orangerie à Lanniron (Bretagne - France)
Un évènement soutenu par IRISA Bretagne Cyber Alliance IMT Atlantique XLIM
EUR CyberSchool SOTERN IMT Atlantique IMT Atlantique Université de Rennes
Timed B2Scala: Extending B2Scala with Time
Doha Ouardi  1@  , Jean-Marie Jacquet  1@  
1 : Université de Namur [Namur]

Timed B2Scala extends the B2Scala tool by integrating explicit timing into the Bach coordination language and encapsulating topic-based communication into Bach primitives. This extension aims to support the modeling and experimentation of time-sensitive behaviors in distributed systems, particularly in contexts such as cyber-physical systems. While Timed B2Scala provides the means to implement and test scenarios involving temporal constraints and topic-based communication, it does not propose a theoretical model to reason on such systems. Instead, this paper focuses on the tool's implementation and its application to a specific use case inspired by the ROS2 system, demonstrating the capabilities of Timed B2Scala in addressing timing and topic-specific requirements. The presented work highlights the potential of this approach for advancing the exploration and verification of timing-related aspects in distributed systems.


Chargement... Chargement...