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

Rima Al Ali (1) , Moussa Amrani (2, 3) , Ankica Barisic (4) , Fernando Barros (5) , Dominique Blouin (6) , Holger Giese (7) , Miguel Goulao (8) , Mauro Iacono (9) , Navarro Eva (10) , Hans Vangheluwe (11) , Manuel Wimmer (12)

1 UK - Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic]
2 PReCISE - PReCISE Research Centre in Information Systems Engineering
3 UNamur - Université de Namur [Namur]
4 KAIROS - Logical Time for Formal Embedded System Design
5 Universidade de Coimbra [Coimbra]
6 Télécom Paris
7 Hasso Plattner Institute [Potsdam, Germany]
8 NOVA-LINCS - NOVA Laboratory for Computer Science and Informatics
9 University of the Study of Campania Luigi Vanvitelli
10 University of Manchester [Manchester]
11 UA - University of Antwerp
12 TU Wien - Vienna University of Technology = Technische Universität Wien

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

Rima Al Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, et al.. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development. [Technical Report] COST European Cooperation in Science and Technology. 2017. ⟨hal-03168840⟩