WS03. Workshop on Advanced Technologies in Industrial Vehicular Systems (DIVERSE)


Organized and co-chaired by

Saad Mubeen
Mälardalen University, Västerås, Sweden
saad.mubeen@mdh.se
Mohammad Ashjaei
Mälardalen University, Västerås, Sweden
mohammad.ashjaei@mdh.se

Download the Call for Participation in PDF format

FOCUS

The workshop covers the advanced technologies and solutions for vehicular systems, mainly focusing on the following topics:

  • Models and languages for the development of software architectures
  • Onboard network protocols, e.g., CAN, Automotive Ethernet, TSN
  • Scheduling and schedulability analysis
  • Autonomous vehicles, advanced driver assistance systems, V2X communications
  • Advanced computing platforms for vehicular systems, e.g., multi-core
  • Safety, security and certification (e.g., according to ISO 26262) aspects in vehicles
  • Tool support and industrial case studies for vehicular embedded systems

Program

Tuesday, September 10, 2019

16:00-16:30 Room: Josefa Amar y Borbón
Registration
16:30-16:40 Room: Aula Magna
Opening Remarks
16:40-17:00 Room: Aula Magna

The New Machines: Construction Equipment Vehicles Set the Direction

Torbjörn Martinsson

Talk title. The New Machines: Construction Equipment Vehicles Set the Direction

The New Machines in construction: In the future we foresee a great potential for electro-mobility and AI into construction equipment. It will profoundly change how to do operation as well as the design of the machines. We will list the key enablers for this succession, and visualize some consequences and solutions. Also we will explicitly consider the impact on electronics and software.

Torbjörn Martinsson's biography

Torbjörn Martinsson, is a Research Engineer, in Artificial Intelligence and Autonomous Machines unit of Volvo Construction Equipment, Sweden. He received his Master degree in Technical Physics in 1996 from the Chalmers University of Technology, Sweden. He has been working in the industry for 23 years. Specifically, he has been working in the vehicle industry since 2004. During these year he has actively participated and driven many research projects and academic-industrial collaborations.

17:00-17:20 Room: Aula Magna

TSN for Automotive Networks: architectures, tools and protocols

Marina Gutierrez Lopez

Talk title. TSN for Automotive Networks: architectures, tools and protocols

Ethernet is finally making its way to automotive networks. Whereas its advantages are obvious (ubiquity, versatility, high throughput), automotive use-cases introduce additional QoS requirements not covered by traditional/basic Ethernet. To satisfy that demand, the IEEE 802.1 Time Sensitive Networking (TSN) Task Group is developing a set of standards, with features like time synchronization, redundancy, scheduled traffic or dynamic configuration that are gaining more and more attention from major OEMs. To add to this momentum, the TSN Task Group is currently working on an automotive profile, IEEE 802.1DG, where specific mechanisms and configurations are chosen to address the automotive use-cases. This talk will give an overview of the more relevant TSN protocols, the network architectures in which they can be implemented and the tools to be used with them.

Marina Gutierrez Lopez's biography

Marina Gutiérrez, is a Research Engineer at TTTech Computertechnik AG. She is a voting member of the IEEE 802.1 TSN working group and the editor of the P802.1Qcw, a project that is standardizing YANG models for TSN features. She holds a BS in physics, an MS in computer science from the University of Cantabria, and Licentiate degree in computer science and engineering from the Mälardalen University. Her research is focused on the configuration and management of deterministic communications for cyber-physical systems.

17:20-17:40 Room: Aula Magna

Integration of Schedulability Analysis in the Industrial Design Process

Rafik Henia

Talk title. Integration of Schedulability Analysis in the Industrial Design Process

Timing is crucial for the correct execution of safety critical real-time systems such as automotive, railway and avionics systems. Such systems usually have stringent requirements on worst-case response times and end-to-end latencies, maximum buffer sizes, maximum jitters, etc. Verifying these timing requirements becomes more and more challenging due to the increasing complexity of the systems, combined with short time-to-market constraints. It requires therefore reliable timing prediction already at early design stages to guarantee that the designed system meets its timing requirements before time and resources are invested in the system implementation. Scheduling analysis techniques are very well adapted for this purpose, since they calculate safe lower and upper bounds for the system timing performance. Recently, the goal of introducing scheduling analysis in the industrial design process has become reachable thanks to the ability to express non-functional properties, in particular timing, with dedicated concern-specific viewpoints in model-based design approaches. A major problem however persists: semantic gaps between the various design languages and their underlying timing concepts on the one side, and those of the scheduling analysis techniques on the other side hinder the applicability of the last to the system design models. Solving this issue is essential to enable the integration and early use of scheduling analysis techniques in the industrial design process.

In this talk, we present the open source Time4sys framework that allows solving the semantic gaps between the timing concepts in design models and those in scheduling analysis techniques, through the application of dedicated model transformation rules. One additional motivation behind Time4sys is that timing verification of a real-time system shall not be only available and restricted to real-time experts, but also to the common design architects. Modelling, traceability, transformation, analysis, and result reporting activities are the pillars of the Time4Sys structure and they are explicitly formalized as a set of meta-models. In the talk, the use of Time4Sys to efficiently integrate scheduling analysis in the industrial design process is illustrated through an example of a safety critical avionics application: the Flight Management System.

Rafik Henia's biography

Rafik Henia graduated from the Technical University of Braunschweig (TUBS) in Germany 2003. He worked as a research assistant at the Institute of Computer and Network Engineering (IDA) at TUBS with research topics related to the timing verification for real-time embedded systems. Since 2009, he is a Research Engineer and Research Project Manager at Thales Research and Technology (TRT), Critical Embedded Systems Lab. He works on several R&D projects with Thales avionics, aerospace, optronics and defense divisions, whose goals deal with the applicability and the integration of model-based timing prediction techniques in the industrial development practices of real-time embedded systems. He was involved in several European research projects such as LAMBDA, SCARLETT, INTERESTED, VERDE, MBAT, CERTAINTY, ASSUME, AQUAS, MEGAM@RT2, FED4SAE.

17:40-18:00 Room: Aula Magna

Model-driven Development of Predictable Embedded Systems in the Vehicle Industry: The Rubus Approach

John Lundbäck

Talk title. Model-driven Development of Predictable Embedded Systems in the Vehicle Industry: The Rubus Approach

Providing computer-based services for vehicular systems has evolved to the point where majority of functions are realised by software. However, the need to provide safety in critical functions such as braking and engine control requires an approach that can guarantee reliable operation of the functions. At the same time, there are a variety of vehicle functions that are less critical. The main challenge for the vehicle manufacturers is to provide both types of functions in an economic and reliable manner. To meet this challenge, this talk considers the Rubus tool chain for model-driven development of vehicle software and a well-proven (in the industrial use for over twenty five years) and certified (according to ISO 26262) real- time operating system for its execution. The talk provides an overview of the Rubus approach and driving concepts as well as the research results that are used in providing its tool chain. Moreover, the talk presents a success story of a unique academic-industrial collaboration in the vehicle domain that has resulted in sustained development of the tool chain. The collaborators form a clear value chain from academia, through tool developer, to the end users of the technology.

John Lundbäck's biography

John Lundbäck has been at Arcticus Systems for more than 20 years and is the principle architect for the Rubus Product Line toolset. He has received his education at KTH Royal Technology Institute and Stockholm University. He currently holds the position of CEO at Arcticus Systems since 2018. He is experienced in a wide range of computing and computer-based systems, including software engineering, real-time, programming languages, compilers, operating systems as well as various real-time application domains from low-level assembly to complex multi-tasking software running in safety critical environments. He has responsibility for managing technical research projects at Arcticus Systems and is the Senior Technical Consultant. He has co-authored over 15 research publications in international peer-reviewed journals, conferences and workshops. He received the IEEE Software Best Paper Award in 2017 at the 4th International Workshop on Software Engineering Research and Industry Practice located at the 39th International Conference on Software Engineering (ICSE), Buenos Aires.

Mattias Gålnander

Talk title. Model-driven Development of Predictable Embedded Systems in the Vehicle Industry: The Rubus Approach

Providing computer-based services for vehicular systems has evolved to the point where majority of functions are realised by software. However, the need to provide safety in critical functions such as braking and engine control requires an approach that can guarantee reliable operation of the functions. At the same time, there are a variety of vehicle functions that are less critical. The main challenge for the vehicle manufacturers is to provide both types of functions in an economic and reliable manner. To meet this challenge, this talk considers the Rubus tool chain for model-driven development of vehicle software and a well-proven (in the industrial use for over twenty five years) and certified (according to ISO 26262) real- time operating system for its execution. The talk provides an overview of the Rubus approach and driving concepts as well as the research results that are used in providing its tool chain. Moreover, the talk presents a success story of a unique academic-industrial collaboration in the vehicle domain that has resulted in sustained development of the tool chain. The collaborators form a clear value chain from academia, through tool developer, to the end users of the technology.

Mattias Gålnander's biography

Mattias Gålnander holds a Master degree in Engineering Physics from the Royal Institute of Technology (KTH), Sweden. He has a background in development of safety critical applications in the automotive and defense industry and has been working with model driven development and analysis since 2004. He is currently working as safety manager and lead developer for the analysis and code synthesis at Arcticus Systems. Mattias has co-authored several research publications in international peer-reviewed journals, conferences and workshops. He has co-authored 12 research publications in international peer-reviewed conferences and workshops. He received the IEEE Software Best Paper Award in 2017 at the 4th International Workshop on Software Engineering Research and Industry Practice located at the 39th International Conference on Software Engineering (ICSE), Buenos Aires.

18:00-18:20 Room: Aula Magna

Developing Predictable Vehicle Software on Multi-core: Challenges and Opportunities

Saad Mubeen

Talk title. Developing Predictable Vehicle Software on Multi-core: Challenges and Opportunities

The principles of Model¬-based Engineering (MBE) and Component¬-based Software Engineering (CBSE), complemented by real-¬time scheduling and schedulability analysis, have proven effective in dealing with the challenges of software complexity, resource utilization and ensuring timing predictability of vehicle software on single-¬core Electronic Control Units (ECUs). Recently, multi-core ECUs have been introduced in the vehicular domain to exclusively provide high levels of computational power, which are required by the advanced data- and computation-intensive features in modern vehicles. While MBE and CBSE can effectively manage the software complexity of these systems on multi-core ECUs, the support for ensuring timing predictability and performance with respect to resource utilization at higher abstraction levels are still open challenges. This talk discusses the challenges, solutions and opportunities for further research in this area. In this regard, the talk considers component models, runtime frameworks and execution platforms that are used in the vehicle industry.

Saad Mubeen's biography

Dr. Mubeen is an Associate Professor at Mälardalen University, Sweden. He has previously worked in the vehicle industry as a Senior Software Engineer at Arcticus Systems and as a Consultant for Volvo Construction Equipment, Sweden. Dr. Mubeen is a Senior Member of IEEE (90793619) and a member of IES. He is a Co-chair of the Subcommittee on In-vehicle Embedded Systems within the IES Technical Committee on Factory Automation. His research focus is on model- and component-based development of predictable vehicle software, modeling and timing analysis of in-vehicle communication, and end-to-end timing analysis of distributed embedded systems. Within this context, he has participated in several technology transfer projects. He has authored or co-authored over 125 publications in peer-reviewed international journals, conferences, workshops and book chapters. He has received several awards, including the IEEE Software Best Paper Award in 2017. He is a PC member and referee for several international conferences and journals respectively. He is a guest editor of IEEE Transactions on Industrial Informatics (TII) and ACM SIGBED Review. He has co-organized several special sessions at the international conferences such as IEEE IECON and ICIT. He has also organized the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016) and Model-based Engineering of Cyber Physical Systems track at the 13th International Conference on Information Technology: New Generations (ITNG), 2016.

18:20-19:00 Room: Aula Magna
Panel Discussion.
Moderators: Saad Mubeen and Mohammad Ashjaei
Panelists: all presenters




Web Analytics