Date: Wednesday 16 March 2016
Time: 11:00 - 12:30
Location / Room: Konferenz 4

Chair:
Donatella Sciuto, Politecnico di Milano, IT

Co-Chair:
Paul Pop, Technical University of Denmark, DK

The session has two papers on improving the quality-of-control for cyber-physical systems, targeting the timing analysis of self-triggered controllers and the optimization of resources in a partitioned architecture. Two other papers are on modeling aspects of the human body for cyber-physical medical applications: modeling the brain-machine-body interface and a model for the electrical conduction of the human heart. One of the interactive presentations is on security aspects of vehicular systems, and the second interactive presentation is on the online control of jobs in production systems.

Time	Label	Presentation Title Authors
11:00	6.6.1	SELF-TRIGGERED CONTROLLERS AND HARD REAL-TIME GUARANTEES Speaker: Amir Aminifar, Linköping University, SE Authors: Amir Aminifar1, Paulo Tabuada2, Petru Eles1 and Zebo Peng1 1Linköping University, SE; 2University of California at Los Angeles, US Abstract It is well known that event-triggered and self-triggered controllers implemented on dedicated platforms can provide the same performance as the traditional periodic controllers, while consuming considerably less bandwidth. However, since the majority of controllers are implemented by software tasks on shared platforms, on one hand, it might no longer be possible to grant access to the event-triggered controller upon request. On the other hand, due to the seemingly irregular requests from self-triggered controllers, other applications, while in reality schedulable, may be declared unschedulable, if not carefully analyzed. The schedulability and response-time analysis in the presence of self-triggered controllers is still an open problem and the topic of this paper. Download Paper (PDF; Only available from the DATE venue WiFi)
11:30	6.6.2	A SPATIO-TEMPORAL FRACTAL MODEL FOR A CPS APPROACH TO BRAIN-MACHINE-BODY INTERFACES Speaker: Yuankun Xue, University of Southern California, US Authors: Yuankun Xue, Saul Rodriguez and Paul Bogdan, University of Southern California, US Abstract Capturing the mathematical features of physical and cyber processes is essential for endowing the CPS with built-in intelligence. In this paper, we develop a compact yet accurate mathematical model able to capture the spatio-temporal fractal cross-dependencies between coupled processes and illustrate its benefits within the context of brain-machine-body interface. Our generalized mathematical model improves the modeling accuracy of the dynamics of biological processes and is validated against medical observations. Download Paper (PDF; Only available from the DATE venue WiFi)
12:00	6.6.3	MODULAR CODE GENERATION FOR EMULATING THE ELECTRICAL CONDUCTION SYSTEM OF THE HUMAN HEART Speaker: Nathan Allen, University of Auckland, NZ Authors: Nathan Allen1, Sidharta Andalam1, Partha Roop1, Avinash Malik1, Mark Trew2 and Nitish Patel1 1University of Auckland, NZ; 2Auckland Bioengineering Institute, NZ Abstract We study the problem of modular code generation for emulating the electrical conduction system of the heart, which is essential for the validation of implantable devices such as pacemakers. In order to develop high fidelity models, it is essential to consider the operation of hundreds, if not millions of conduction elements, called nodes of the heart. Published results so far, however, have considered a maximum of 33 nodes modelled as Hybrid Input Output Automata (HIOA). The behaviour of this model is captured using the well known commercial tool Simulink. These approaches are limiting due to the lack of model fidelity of the conduction system. In this paper, we first develop a semantic preserving modular compilation approach for a network of HIOA, by proposing to translate them to a network of FSMs. We then demonstrate that a delayed synchronous composition of the cardiac nodes enables modular code generation that is both semantic preserving and efficient. In addition to the above example, we have developed several examples from other domains to compare Simulink and the developed tool called Piha. The results show that we are able to generate code which, for the cardiac model, is 60% smaller in binary size while executing 20 times faster when compared to Simulink. Download Paper (PDF; Only available from the DATE venue WiFi)
12:15	6.6.4	RESOURCE UTILIZATION AND QUALITY-OF-CONTROL TRADE-OFF FOR A COMPOSABLE PLATFORM Speaker: Juan Valencia, Eindhoven University of Technology, NL Authors: Juan Valencia, Eelco van Horssen, Dip Goswami, Maurice Heemels and Kees Goossens, Eindhoven University of Technology, NL Abstract This paper deals with implementation of feedback controllers on embedded platforms and investigates the trade-off between Quality-of-Control (QoC) and resource utilization. In particular, we consider a setting where the embedded platform executes multiple applications including the control application under consideration. Such a setting is common in domains like automotive where consolidation of several applications is desirable for cost reasons. While tackling inter-application interference is a challenge, our platform offers composability using resource virtualization allowing for interference-free application development and cycle-accurate timing behavior. In this work, from the feedback control perspective, we show that platform timing behavior can be characterized by a finite, known and periodic set of sampling intervals for a given resource allocation. Utilizing the platform timing, we show that the control design problem can be transformed into a classical discrete-time Linear Quadratic Regulator (LQR) problem which can be efficiently solved to obtain optimal QoC for a given resource allocation. Our method is validated both in simulation and experiments, considering a Multiple-Input and Multiple-Output (MIMO) control application. Download Paper (PDF; Only available from the DATE venue WiFi)
12:30	IP3-3, 756	SECURITY ANALYSIS OF CYBER-PHYSICAL SYSTEMS ILLUSTRATED WITH AUTOMOTIVE CASE STUDY Speaker: Viacheslav Izosimov, KTH Royal Institute of Technology, SE Authors: Viacheslav Izosimov1, Alexandros Asvestopoulos2, Oscar Blomkvist2 and Martin Törngren3 1Semcon, SE; 2Scania CV, SE; 3KTH Royal Institute of Technology, SE Abstract We present a method for systematic consideration of security attributes in development of cyber-physical systems. We evaluate our method in development of commercial vehicles that were so far unreasonably excluded from automotive security studies (despite the great importance of commercial vehicles for the society). We have conducted analysis of a known zero-cost non-physical attack, fine-tuned to our commercial vehicle (a truck), and considered countermeasures within the development flow. Download Paper (PDF; Only available from the DATE venue WiFi)
12:31	IP3-4, 953	ONLINE HEURISTIC FOR THE MULTI-OBJECTIVE GENERALIZED TRAVELING SALESMAN PROBLEM Speaker: Joost van Pinxten, Eindhoven University of Technology, NL Authors: Joost van Pinxten1, Marc Geilen1, Twan Basten1, Umar Waqas1 and Lou Somers2 1Eindhoven University of Technology, NL; 2Océ Technologies, NL Abstract Today's manufacturing systems are typically complex cyber-physical systems where the physical and control aspects interact with the scheduling decisions. Optimizing such facilities requires ordering jobs and configuring the manufacturing system for each job. This optimization problem can be described as a Multi-Objective Generalized TSP where conflicting objectives lead to a trade-off space. This is the first work to address this TSP variant, introducing a compositional heuristic suitable to online application. Download Paper (PDF; Only available from the DATE venue WiFi)
12:30		End of session Lunch Break in Großer Saal + Saal 1 Keynote Lecture in "Saal 2" 14:00 - 14:30