Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 16:00 - 16:20 at Van-Horne - Model-Based Software Engineering Chair(s): Yvonne Dittrich

[Context] Model-based Systems Engineering (MBSE) advocates the integrated use of models throughout all development phases of a system development life-cycle. It is also often suggested as a solution to cope with the challenges of engineering complex systems. However, MBSE adoption is no trivial task and companies, especially large ones, struggle to achieve it in a timely and effective way. [Goal] We aim to discover what are best practices and strategies to implement MBSE in companies that develop embedded software systems. [Method] Using an inductive-deductive research approach, we conducted 14 semi-structured interviews with experts from 10 companies. Further, we analyzed the data and drew some conclusions which were validated by an on-line questionnaire in a triangulation fashion. [Results] Our findings are summarized in an empirically validated list of 18 best practices for MBSE adoption and through a prioritized list of the 5 most important best practices. [Conclusions] Raising engineers’ awareness regarding MBSE advantages and acquiring experience through small projects are considered the most important practices to increase the success of MBSE adoption.

Wed 29 May

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 18:00
Model-Based Software EngineeringJournal-First Papers / Demonstrations / Papers / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne
Chair(s): Yvonne Dittrich IT University of Copenhagen, Denmark
16:00
20m
Talk
Strategies and Best Practices for Model-based Systems Engineering Adoption in Embedded Systems IndustrySEIPIndustry Program
Software Engineering in Practice
Tiago Amorim TU Berlin, Andreas Vogelsang TU Berlin, Florian Pudlitz TU Berlin, Peter Gersing GPP, Jan Philipps foqee GmbH
Pre-print
16:20
20m
Talk
VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific ModelsDemosIndustry Program
Demonstrations
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Sebastian Pilarski McGill University, Daniel Varro McGill University / Budapest University of Technology and Economics
Media Attached File Attached
16:40
20m
Talk
Practical GUI Testing of Android Applications via Model Abstraction and RefinementTechnical Track
Technical Track
Tianxiao Gu Alibaba Group, Chengnian Sun University of California, Davis, Xiaoxing Ma Nanjing University, Chun Cao Nanjing University, Chang Xu Nanjing University, Yao-Yuan Yang , Qirun Zhang Georgia Institute of Technology, Jian Lu Nanjing University, Zhendong Su ETH Zurich
17:00
20m
Talk
AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL PropertiesArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Lefan Zhang The University of Chicago, Weijia He The University of Chicago, Jesse Martinez The University of Chicago, Noah Brackenbury The University of Chicago, Shan Lu University of Chicago, Blase Ur The University of Chicago
17:20
10m
Talk
Towards a Cognizant Virtual Software Modeling Assistant using Model ClonesNIER
New Ideas and Emerging Results
Matthew Stephan Miami University
Pre-print
17:30
10m
Talk
A Model-Integrated Approach to Designing Self-Protecting SystemsJournal-First
Journal-First Papers
Stefano Iannucci Mississippi State University, Sherif Abdelwahed Virginia Commonwealth University, Andrea Montemaggio Mississippi State University, Melissa Hannis Mississippi State University, Leslie Leonard U.S. Army Engineer Research and Development Center (ERDC), Jason King U.S. Army Engineer Research and Development Center (ERDC), Drew Hamilton Mississippi State University, CCI
17:40
10m
Talk
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and ControllersJournal-First
Journal-First Papers
Khaled El-Fakih American University of Sharjah, Gregor Bochmann U. of Ottawa
17:50
10m
Talk
Discussion Period
Papers