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

Displayed time zone: Tijuana, Baja California change

16:00 - 17:40
16:00
20m
Talk
What is Wrong with Topic Modeling? (and How to Fix it Using Search-based Software Engineering)
Journal First Presentations
Amritanshu Agrawal Wayfair, Wei Fu Department of Computer Science, North Carolina State University, Tim Menzies North Carolina State University
Link to publication
16:20
20m
Talk
Cautious Adaptation of Defiant Components
Research Papers
Paulo Maia State University of Ceará, Lucas Vieira State University of Ceará, Matheus Chagas State University of Ceará, Yijun Yu The Open University, UK, Andrea Zisman The Open University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
16:40
20m
Talk
Better Development of Safety Critical Systems:Chinese High Speed Railway System Development Experience Report
Industry Showcase
Zhiwei Wu East China Normal University, Jing Liu East China Normal University, Xiang Chen CASCO Signal Ltd.
17:00
20m
Talk
Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation
Research Papers
Qiong Feng Drexel University, Yuanfang Cai Drexel University, Rick Kazman University of Hawai‘i at Mānoa, Di Cui Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University, Hongzhou Fang Drexel University
17:20
10m
Talk
Automated Trainability Evaluation for Smart Software Functions
Research Papers
Ilias Gerostathopoulos Technical University of Munich, Stefan Kugele Technical University of Munich, Christoph Segler BMW Group Research, New Technologies, Innovations, Tomas Bures Charles University, Czech Republic, Alois Knoll Technical University of Munich
Pre-print
17:30
10m
Demonstration
Lancer: Your Code Tell Me What You Need
Demonstrations
Shufan Zhou School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Beijun Shen School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University