Dne 24.6.2015 od 13 hodin bude v zasedací místnosti UAMT probíhat seminář na téma Memory Controllers for Complex Real-Time Embedded Systems a CAN bus security & safety extensions. Seminář povedou Benny Akesson a Michal Sojka z FEL, ČVUT.
Memory Controllers for Complex Real-Time Embedded Systems
Benny Akesson
Embedded platforms become increasingly complex, as more applications are integrated into a single system. This requires more processing capacity to be provided without increasing the power consumption or design time of the system. As a result, contemporary systems are based on (heterogeneous) multi-core platforms where resources, such as memories, I/O, and interconnect, are shared to reduce cost and power consumption. However, resource sharing causes the timing behavior of applications to become inter-dependent, making it difficult to verify that their real-time requirements are satisfied. A particularly challenging platform resource is the off-chip DRAM, which has highly variable execution times and consumes a lot of power. It is furthermore shared by almost all components in the system, making DRAM bandwidth a scarce resource that must be efficiently utilized.
This presentation gives a high-level overview of how to quickly design a scalable and predictable memory controller that addresses mixed real-time requirements, while using the memory in an efficient and power conscious manner. This ambitious goal covers aspects of memory controller architectures, performance analysis, power modeling, and automated design methodologies.
CAN bus security & safety extensions
Michal Sojka
CAN bus is a communication network used mainly in automotive industry. Its roots date back to '80 in the last century and nowadays, every modern car contains at least one CAN network. Such on-board networks were traditionally considered closed systems, meaning that nobody is able to send there fake messages. In today's Internet-of-Things era, where cars are supposed to communicate with other cars as well as with the infrastructure, this assumption is no longer true. There are many ways how attackers can get access to on-board networks. For these reasons, it is necessary to secure the on-board networks and as it will be shown in the talk, it is a challenging task.
The presentation will cover existing proposals for adding security features to the CAN bus. The main focus will be on the "Message authenticated CAN" (MaCAN) protocol proposed by Volkswagen and "Secure onboard communication" (SecOC) module defined by automotive software architecture standard AUTOSAR. Both protocols have been designed for security, but safety - other often required property - was not considered in their design. The talk will also cover this aspect and proposes possible extension of the mentioned protocols.
Biography:
Benny Akesson was born in Landskrona, Sweden in 1977. He received his M.Sc. degree in Computer Science and Engineering at Lund Institute of Technology, Sweden in 2005 and a Ph.D degree in Electrical Engineering at Eindhoven University of Technology, the Netherlands, in 2010. Since then, he has worked as a Postdoctoral Researcher at Eindhoven University of Technology and Research Associate at the CISTER-ISEP Research Unit in Porto. He is currently employed at the Czech Technical University in Prague, where he is directing and conducting research on real-time systems. He is a Senior Member of IEEE and has more than 40 peer-reviewed conference papers and journal articles on topics such as memory controller and interconnect architectures, timing analysis of shared resources, power modelling and management, automated design methodologies, and application mapping.
Michal Sojka was born in Prague, Czech republic in 1978. He received his Ing. (M.Sc. equivalent) degree from Czech Technical University in Prague in 2003 and a Ph.D. degree for the work on contract-based middleware for distributed real-time applications in 2011. Then he worked at TU Dresden, Germany, on secure micro-hypervisor-based virtualization platforms. After his return to Prague, he focuses mainly on combination of safety and security in software for embedded systems. In this area, he and his group collaborates with several companies including Volkswagen, Eaton and Škoda.
