EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
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 OctDisplayed 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 30mTalk | 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 30mTalk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
11:45 30mTalk | 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 30mTalk | 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 30mTalk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
22:45 30mTalk | 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 |