Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP

Fagner M. Dias (1) , Marcel Oliveira (1) , Thais Batista (1) , Everton Cavalcante (1) , Jair Leite (1) , Camila Araújo (1) , Flavio Oquendo (2, 3, 4)

1 UFRN - Universidade Federal do Rio Grande do Norte [Natal]
2 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
3 UBS - Université de Bretagne Sud
4 ARCHWARE - Advanced Technologies for Operated Networks

Domaines: Génie logiciel [cs.SE]; Informatique [cs]

Fagner M. Dias, Marcel Oliveira, Thais Batista, Everton Cavalcante, Jair Leite, et al.. Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. 14th European Conference on Software Architecture (ECSA), Sep 2020, L'Aquila, Italy. ⟨hal-03585038⟩