Date: Thursday 28 March 2019
Time: 08:30 - 10:00
Location / Room: Room 1
Chair:
Ingo Sander, KTH, SE
Co-Chair:
Sander Stuijk, Eindhoven University of Technology, NL
| Time | Label | Presentation Title Authors |
|---|---|---|
| 08:30 | 9.1.1 | MODEL BASED DESIGN AT THALES: THE CURRENT STATUS AND NEW CHALLENGES Speaker and Author: Laurent Rioux, Thales, FR Abstract After more than a decade since the introduction of its model based design method (ARCADIA) and its dedicated tool (CAPELLA) in the industrial practices, THALES has acquired strong expertise and competences in model based engineering techniques and solutions to master complex systems. THALES has also developed approaches to cope with non-functional properties like safety, security and performance in the context of model-based design by integrating formal methods and other verification techniques. The integration of these techniques early in the process allows systematic verification through the lifecycle and avoiding costly errors. However, these non-functional system properties are not isolated and often strongly related - but with limited/no automation of traceability of interdependencies. Thus THALES is currently working to advance technology enable to combine safety, security and performance engineering activities. Supported by the model based approach, it is possible to define interaction points where architects and experts (safety, security and performance) can work together to identify common solutions to meet such non-functional requirements. Today, THALES systems integrate more intelligence to become more autonomous. But such systems still have to comply with the same level of criticality as before. This creates new engineering challenges where these systems are able to adapt themselves with new behaviors and where these new behaviors need to comply with critical non-functional system properties. So, the techniques already developed need to be extended to verify and validate the safety, security and performance of such autonomous systems. |
| 09:00 | 9.1.2 | MODEL-BASED DESIGN FOR CONTROLS, AI, AND COMMUNICATIONS IN INTELLIGENT SYSTEMS Speaker and Author: Pieter Mosterman, Mathworks, US Abstract In the current technology landscape, data serves as a convergence point of concurrent trends. Ubiquitous sensors are generating ever larger amounts of data, pervasively connected 5G networks are making this data available at rapidly increasing speeds and size, proliferation of compute platforms enables computational applications beyond control-flow oriented Harvard architectures, and sophisticated Artificial Intelligence and other algorithms are uniquely creating value from these reams of data and data intensive compute resources. These trends challenge the status quo in systems development and applications and create opportunity to predict, control, and optimize processes in new ways. How can Model-Based Design tools and workflows enable engineers to conceive, optimize, and implement these complex systems? |
| 09:30 | 9.1.3 | MODEL DRIVEN DEVELOPMENT OF TWINSCAN SOFTWARE, BUT NOT FROM SCRATCH! Speaker and Author: Ramon Schiffelers, ASML, NL Abstract ASML, a high-tech company, aims at cost-effective transitioning of its traditionally built software to Model Driven Engineered software. The existing software is vital to the company as it contains important business logic developed using thousands of man years. It will be costly in terms of both time and effort to construct models for this software from scratch. To address this issue, we have come up with the applications of existing dynamic software analysis techniques to retrieve behavior of the ASML's software. Dynamic analysis techniques deal with analysis of software in execution mode. The sub-categories of dynamic learning, active learning and passive learning, differentiate on the basis of input acceptable by the techniques. In this talk, we will discuss the methodology to infer interface protocols of software components in ASML context. The interface protocols later can serve as the starting point for the maintenance activities like re-factoring, re-engineering etc. Taking into account the complementary nature of active and passive learning, we will also talk about our approach of refining active learning with passive learning and execution logs. This contributes to increasing efficiency of the active learning process, while guaranteeing minimal behavior coverage. We will also share the results of case studies for applying our techniques at ASML. |
| 10:00 | End of session Coffee Break in Exhibition Area
On all conference days (Tuesday to Thursday), coffee and tea will be served during the coffee breaks at the below-mentioned times in the exhibition area. Lunch Breaks (Lunch Area)On all conference days (Tuesday to Thursday), a seated lunch (lunch buffet) will be offered in the Lunch Area to fully registered conference delegates only. There will be badge control at the entrance to the lunch break area. Tuesday, March 26, 2019
Wednesday, March 27, 2019
Thursday, March 28, 2019
|