Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Gu Bin is active.

Publication


Featured researches published by Gu Bin.


ieee international conference on software security and reliability companion | 2012

Cyber-physical systems modeling method based on Modelica

Tang Junjie; Zhao Jianjun; Ding Jianwan; Chen Liping; Xie Gang; Gu Bin; Yang Mengfei

Cyber-physical systems (CPS) is an integration of computation with physical systems and physical processes. It is widely used in energy, health and other industrial areas. Modeling and simulation is of the greatest challenges in CPS research. Modelica has a great potentiality in the modeling and simulation of CPS. We analyze the characteristics and requirements of CPS modeling, and also the features of Modelica in the paper. In respect of information model, physical model and model interface, this paper introduces a unified modeling method for CPS, based on Modelica. The method provides a reliable foundation for the design, analysis and verification of CPS.


ieee international conference on software security and reliability companion | 2012

Modeling and Simulating CAN-Based Cyber-Physical Systems in Modelica

Chen Liping; Wang Xiaoping; Gong Xiong; Zhang Hongchang; Zhou Fanli; Gu Bin; Wang Lei

This paper presents a library for modeling and simulating the CAN-based Cyber-Physical Systems. The library is based on modelica language and supports real time task scheduling and CAN-based communication. We describe in detail the implementation of the CAN bus and the real time task scheduling controller. Finally we provide an example of a continuous inverted pendulum model and a CAN-based model to illustrate the simulation features of CPS.


Archive | 2014

Planet steady state controlling method replacing momentum wheels with control moment gyroscope

Zhang Chunqing; Lei Yongjun; Gu Bin; Liu Qirui; Jiang Zhixiong; Zong Hong; Qu Han; Qi Yanxia; Wang Yushuang; Fu Xiutao


Archive | 2015

Multilayer software bus structure for integrated environment

Yang Mengfei; Guo Xiangying; Gu Bin; Zhao Lei; Chen Rui; Hao Wei; Sheng Zhuang; Huang Chen; Shen Pei


Archive | 2017

Formal verification method capable of aiming at embedded real-time operating system

Yang Mengfei; Yang Hua; Xu Jian; Qiao Lei; Tan Yanliang; Xing Xiaoqi; Zhou Yukui; Gu Bin; Peng Fei


Archive | 2015

Absolute address convergence based data access conflict detection method

Wang Zheng; Qi Yanxia; Gu Bin; Dong Xiaogang; Chen Rui; Chen Yao; Zhao Lei; Guo Xiangying


Archive | 2015

Spacecraft software space utilization safety inspection method

Chen Rui; Wang Zheng; Dong Xiaogang; Guan Xiaochuan; Qi Yanxia; Gu Bin; Chen Yao


Archive | 2015

Data race false positive reduction method based on control flow

Gu Bin; Wang Zheng; Dong Xiaogang; Qi Yanxia; Chen Yao; Zhao Lei; Chen Rui


Archive | 2015

Task maximum stack depth detection method based on list files

Wan Lijing; Yang Mengfei; Dang Jihong; Dong Xiaogang; Guan Xiaochuan; Chen Yao; Qi Yanxia; Gu Bin; Wang Zheng


Archive | 2014

Time sequence determining method of concurrent interrupt-driven software system

Yang Mengfei; Gu Bin; Qi Yanxia; Dong Xiaogang; Chen Yao; Wang Zheng; Chen Rui; Zhao Lei; Guan Xiaochuan

Collaboration


Dive into the Gu Bin's collaboration.

Top Co-Authors

Avatar

Yang Mengfei

China Academy of Space Technology

View shared research outputs
Top Co-Authors

Avatar

Chen Liping

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Gong Xiong

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Zhao Jianjun

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Zhou Fanli

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Ding Jianwan

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Tang Junjie

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Wang Xiaoping

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Xie Gang

Huazhong University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Zhang Hongchang

Huazhong University of Science and Technology

View shared research outputs
Researchain Logo
Decentralizing Knowledge