Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow

Haolan Zhan; Qianqian Lin; Shuling Wang; Jean-Pierre Talpin; Xiong Xu; Naijun Zhan

doi:10.1007/978-3-030-31038-7_6

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow

Haolan Zhan ¹ Qianqian Lin ¹ Shuling Wang ¹ Jean-Pierre Talpin ² Xiong Xu ¹ Naijun Zhan ¹

1 UCAS - University of Chinese Academy of Sciences [Beijing]

2 TEA - Tim, Events and Architectures

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

Haolan Zhan ¹ AuthorId : 11543623
Author

Qianqian Lin ¹ AuthorId : 11543624
Author

Shuling Wang ¹ AuthorId : 1416303
Author

Jean-Pierre Talpin ² AuthorId : 56777
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265

Xiong Xu ¹ AuthorId : 11543625
Author

Naijun Zhan ¹ AuthorId : 11543626
Author

1 UCAS - University of Chinese Academy of Sciences [Beijing] (No.19(A) Yuquan Road, Shijingshan District, Beijing, P.R.China 100049 - China) StructId : 469160

2 TEA - Tim, Events and Architectures (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 491210

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 491188
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 490899
  - 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) StructId : 481355
    - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265

Document type :

Conference papers

Domain :

Computer Science [cs]

Complete list of metadata

Cited literature [35 references] Display Hide Download

https://hal.inria.fr/hal-02193662
Contributor : Jean-Pierre Talpin Connect in order to contact the contributor
Submitted on : Wednesday, July 24, 2019 - 3:51:46 PM
Last modification on : Wednesday, November 3, 2021 - 8:07:44 AM

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

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⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles

Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow

File

Identifiers

Collections

Citation

Export

Share

Metrics

Contact Legal Notice Personal Data