Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Thu 14 Nov 2019 16:40 - 17:00 at Hillcrest - Software Development Chair(s): Hitesh Sajnani

Ensure the correctness of safety critical systems play a key role in the worldwide software engineer. Over the past yeas we have been helping CASCO Signal Ltd which is the Chinese biggest high speed railway company to develop high speed railway safety critical software. We have also contributed specific methods for develop better safety critical software, including a search-based model-driven software development approach which uses VIATRA Solver and UML diagram refinement method to construct Sysml model and use SAT solver to check the model. This talk aims at sharing the challenge of developing high speed railway safety critical system, what we learn from develop a safety critical software with a Chinese high speed railway company, and we use ZC subsystem as a case study to show the systematic model-driven safety critical software development method.

Thu 14 Nov

16:00 - 17:40: Papers - Software Development at Hillcrest
Chair(s): Hitesh SajnaniMicrosoft
ase-2019-Journal-First-Presentations16:00 - 16:20
What is Wrong with Topic Modeling? (and How to Fix it Using Search-based Software Engineering)
Amritanshu AgrawalWayfair, Wei FuDepartment of Computer Science, North Carolina State University, Tim MenziesNorth Carolina State University
Link to publication
ase-2019-papers16:20 - 16:40
Cautious Adaptation of Defiant Components
Paulo MaiaState University of Ceará, Lucas VieiraState University of Ceará, Matheus ChagasState University of Ceará, Yijun YuThe Open University, UK, Andrea ZismanThe Open University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)
ase-2019-Industry-Showcase16:40 - 17:00
Better Development of Safety Critical Systems:Chinese High Speed Railway System Development Experience Report
Zhiwei WuEast China Normal University, Jing LiuEast China Normal University, Xiang ChenCASCO Signal Ltd.
ase-2019-papers17:00 - 17:20
Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation
Qiong FengDrexel University, Yuanfang Cai Drexel University, Rick KazmanUniversity of Hawai‘i at Mānoa, Di CuiXi'an Jiaotong University, Ting LiuXi'an Jiaotong University, Hongzhou FangDrexel University
ase-2019-papers17:20 - 17:30
Automated Trainability Evaluation for Smart Software Functions
Ilias GerostathopoulosTechnical University of Munich, Stefan KugeleTechnical University of Munich, Christoph SeglerBMW Group Research, New Technologies, Innovations, Tomas BuresCharles University, Czech Republic, Alois KnollTechnical University of Munich
ase-2019-Demonstrations17:30 - 17:40
Lancer: Your Code Tell Me What You Need
Shufan ZhouSchool of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Beijun ShenSchool of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Hao ZhongShanghai Jiao Tong University