Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Mon 26 Oct 2020 10:45 - 11:15 at Farfetch (D. Maria) - IT2 - Misc Chair(s): Luís Cruz
Mon 26 Oct 2020 21:45 - 22:15 at Farfetch (D. Maria) - IT2 - Misc Chair(s): Rui Abreu

Modern cyber-physical systems pose great challenges for system engineers to keep track of the system’s behavior when it comes to functions distributed all over the system. To check whether response time constraints are met, measurement data from different development stages is analyzed to track down the worst-case behavior observed.Several complex, signal dependencies have to be examined over long time periods. Therefore, computer aided approaches to support this task are strongly demanded. In this paper, we present EC.LANG, a formal language designed to specify evaluations over measurement data. It is particularly fitted to model event chains representing the data flow of system functions. To validate event chains against timing requirements, we implemented a compiler and an evaluation engine based on EC.LANG.

Mon 26 Oct

Displayed time zone: Lisbon change

10:45 - 12:15
IT2 - MiscIndustry Track at Farfetch (D. Maria) +11h
Chair(s): Luís Cruz Deflt University of Technology
10:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max Friese Christian-Albrechts-Universität zu Kiel, Johannes Traub Daimler AG, Dirk Nowotka Christian-Albrechts-Universität zu Kiel
Link to publication DOI
11:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten Wuensche SAP SE, Artur Andrzejak Heidelberg University, Sascha Schwedes SAP SE
Link to publication DOI
11:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R Venkatesh Tata Consultancy Services Ltd. (TCS), Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare Tata Consultancy Services Ltd. (TCS), Sagar Verma Tata Consultancy Services Ltd. (TCS)
Link to publication DOI
21:45 - 23:15
IT2 - MiscIndustry Track at Farfetch (D. Maria)
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal
21:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max Friese Christian-Albrechts-Universität zu Kiel, Johannes Traub Daimler AG, Dirk Nowotka Christian-Albrechts-Universität zu Kiel
Link to publication DOI
22:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten Wuensche SAP SE, Artur Andrzejak Heidelberg University, Sascha Schwedes SAP SE
Link to publication DOI
22:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R Venkatesh Tata Consultancy Services Ltd. (TCS), Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare Tata Consultancy Services Ltd. (TCS), Sagar Verma Tata Consultancy Services Ltd. (TCS)
Link to publication DOI