Gaogao Yan

dblp:152/5449 · DBLP profile ↗
← Back
4ranked-venue papers
4as first author
0since 2021 · last 2020
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 4 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Embedded and real-time systems · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems
model-based design
0.412020
Automatically Generating SystemC Code from HCSP Formal Models · ACM Trans. Softw. Eng. Methodol. 2020
Embedded and real-time systems
cyber-physical system platforms
0.212016
Approximate Bisimulation and Discretization of Hybrid CSP · FM 2016
Embedded and real-time systems › cyber-physical system platforms
hybrid systems
0.212016
Approximate Bisimulation and Discretization of Hybrid CSP · FM 2016
Logic in computer science
bisimulation
0.212016
Approximate Bisimulation and Discretization of Hybrid CSP · FM 2016

Methods — techniques the papers use, named apart from their topics

approximate bisimulation · 0.9discretization · 0.5transformation rules · 0.4
YearPublicationVenuePosition
2020 Automatically Generating SystemC Code from HCSP Formal Models
abstract
In model-driven design of embedded systems, how to generate code from high-level control models seamlessly and correctly is challenging. This is because hybrid systems are involved with continuous evolution, discrete jumps, and the complicated entanglement between them, while code only contains discrete actions. In this article, we investigate the code generation from Hybrid Communicating Sequential Processes (HCSP), a formal hybrid control model, to SystemC. We first introduce the notion of approximate bisimulation as a criterion to check the consistency between two different systems, especially between the original control model and the final generated code. We prove that it is decidable whether two HCSPs are approximately bisimilar in bounded time and unbounded time with some conditions, respectively. For both the cases, we present two sets of rules correspondingly for discretizing HCSPs and prove that the original HCSP model and the corresponding discretization are approximately bisimilar. Furthermore, based on the discretization, we define a transformation function to map a discretized HCSP model to SystemC code such that they are also approximately bisimilar. We finally implement a tool to automatically realize the translation from HCSP to SystemC code and illustrate our approach through some case studies.
Gaogao Yan, Shuling Wang 0003, Lingtai Wang, Naijun Zhan
ACM Trans. Softw. Eng. Methodol.1
2017 Synthesizing SystemC Code from Delay Hybrid CSP
Gaogao Yan, Shuling Wang 0003, Naijun Zhan
APLAS1
2016 Approximate Bisimulation and Discretization of Hybrid CSP
Gaogao Yan, Yangjia Li, Shuling Wang 0003, Naijun Zhan
FM1
2014 Formal Throughput and Response Time Analysis of MARTE Models
Gaogao Yan, Xue-Yang Zhu, Rongjie Yan
ICFEM1