MEMOCODE'18 Special Session
Embedded workshop on formal methods in China's Industry
MEMOCODE'18 features a special session in the form of an embedded workshop, where engineers and architects from China's industry in domains such as aerospace, automotive, and railways, share their experiences using formal methods for system design.
The special session will be introduced with the keynote presentation of Dr. Chen Gang, on formal methods at China Aerospace, and followed by two sessions of invited presentations, addressing the wide variety of industry domains and formal models for analysis, verification, synthesis, certification employed in China.
Preliminary Schedule
- Keynote by Chen Gang, Nanjing University of Aeronautics and Astronautics and Beijing Jinghang Research Institute of Computing and Communication
PLC Ladder Logic Testing and its Application in Railway Interlocking - Hong Ye, AVIC Xian Aeronautics Computing Technique Research Institute
Towards Safety and Determinacy in Airborne Software -- Design and Verification
abstract - Haifeng Wang, National Engineering Research Centre of Rail Transportation
Modeling and safety analysis of CTCS-3 train control system for high-speed railway
abstract - Lei Qiao, Beijing Institute of Control Engineerin, China Academy of Space Technology
Phased Hierarchical Formal Verification of Memory Management System for Spacecraft abstract - Coffe break
- Henguo Zhu, HuNan Zhong Che Communication Signal Co.
A Control System Modeling and Simulation Framework used in Metro ATO System
abstract - Bohan Wang, Beijing Institute of Computer Technology and Application, China Aerospace Science and Industry Corporation
Practice of Model Based System/Software Engineering in CASIC
abstract - Zhibin Yang, Nanjing University of Aeronautics and Astronautics
A Practical AADL Study in Aerospace Software: from Requirement to Implementation
abstract
A one-page abstract of all presentations will be published on the website and in the proceedings of the conference.