State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits , Rima Al-Ali , Moussa Amrani (1) , Ankica Barisic (2) , Fernando Barros (3) , Dominique Blouin (4, 5) , Etienne Borde (4) , Didier Buchs (6) , Holger Giese (7) , Miguel Goulão (2) , Mauro Iacono , Florin Leon , Eva Navarro , Patrizio Pelliccione , Ken Vanherpen

1 LASSY - Laboratory of Advanced Software SYstems [Luxembourg]
2 NOVA-LINCS - NOVA Laboratory for Computer Science and Informatics
3 Chercheur indépendant
4 ACES - Autonomic and Critical Embedded Systems
5 INFRES - Département Informatique et Réseaux
6 UNIGE - Université de Genève = University of Geneva
7 Hasso Plattner Institute [Potsdam, Germany]

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Informatique

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, et al.. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development. [Research Report] COST European Cooperation in Science and Technology. 2019. ⟨hal-03168832⟩