Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard (1) , Thierry Gautier (2) , Paul Le Guernic (3) , Clément Guy (2) , Jean-Pierre Talpin (2) , Brian Larson (4) , Etienne Borde (5)

1 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
2 TEA - Tim, Events and Architectures
3 Inria Rennes – Bretagne Atlantique
4 FDA - U.S. Food and Drug Administration
5 Télécom ParisTech

Domaines: Informatique [cs]; Systèmes embarqués

Loic Besnard, Thierry Gautier, Paul Le Guernic, Clément Guy, Jean-Pierre Talpin, et al.. Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩. ⟨hal-01615143⟩