| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Haolan Zhan
1
Qianqian Lin
1
Shuling Wang
1
Jean-Pierre Talpin
2
Xiong Xu
1
Naijun Zhan
1
2
TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Haolan Zhan 1
Author
Qianqian Lin 1
Author
Shuling Wang 1
Author
Jean-Pierre Talpin 2
Mail :
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Xiong Xu 1
Author
Naijun Zhan 1
Author
1
UCAS - University of Chinese Academy of Sciences [Beijing] (No.19(A) Yuquan Road, Shijingshan District, Beijing, P.R.China 100049 - China)
2
TEA - Tim, Events and Architectures (Campus de Beaulieu 35042 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.inria.fr/hal-02193662
Contributor : Jean-Pierre Talpin <>
Submitted on : Wednesday, July 24, 2019 - 3:51:46 PM
Last modification on : Friday, July 10, 2020 - 4:01:39 PM
Contributor : Jean-Pierre Talpin <>
Submitted on : Wednesday, July 24, 2019 - 3:51:46 PM
Last modification on : Friday, July 10, 2020 - 4:01:39 PM
File
utp19.pdf
Files produced by the author(s)
Identifiers
- HAL Id : hal-02193662, version 1
- DOI : 10.1007/978-3-030-31038-7_6
Collections
UNIV-RENNES1 | CNRS | CENTRALESUPELEC | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | INSA-RENNES
Citation
Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, et al.. Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow. UTP 2019 - 7th International Symposium on Unifying Theories of Programming, Oct 2019, Porto, Portugal. pp.1-20, ⟨10.1007/978-3-030-31038-7_6⟩. ⟨hal-02193662⟩
Metrics
Record views
105
Files downloads