Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
9.733 Lectures/texts in conference proceedings
You are here:
View Item 
  •   DSpace Home
  • Congressos
  • Severo Ochoa Research Seminars at BSC
  • 6th Severo Ochoa Research Seminar Lectures at BSC, Barcelona, 2019-20: book of abstracts
  • View Item
  •   DSpace Home
  • Congressos
  • Severo Ochoa Research Seminars at BSC
  • 6th Severo Ochoa Research Seminar Lectures at BSC, Barcelona, 2019-20: book of abstracts
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Towards predictable, secure, and verified cyber-physical systems- on-chip

Thumbnail
View/Open
BSC_SORS_2019-20-25 Towards Predictable Secure and Verified.pdf (356,5Kb)
license_rdf.rdf (1,203Kb)
  View Usage Statistics
  LA Referencia / Recolecta stats
Cita com:
hdl:2117/330965

Show full item record
Hassan, Mohamed
Document typeConference report
Defense date2020
PublisherBarcelona Supercomputing Center
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
The unleashed Cyber-Physical Systems (CPS) and Internet of Things (IoT) revolution creates exceptional opportunities in many domains such as healthcare, smart power grid, automotive, industrial robots, and transportation systems. Systems-on-Chip (SoCs) present appealing platforms that enable this revolution due to their performance, power, and area (PPA) advantages in addition to their heterogeneity, leading to Cyber- Physical Systems-on-Chip (CPSoCs). However, CPSoCs are not possible without addressing the one big concern associated with the prevalence of CPS: safety. Safe CPSoCs must be predictable, secure and verifiable. 1) Predictability ensures the satisfaction of timing requirements. Unpredictable CPSoCs can fail to meet timing deadlines, which leads to severe consequences such as life losses (think in the air bag in your car). However, current commodity SoCs are not predictable. They adopt numerous architectural optimizations that offer high-performance at the cost of huge variability in timing. 2) Security is one of the biggest challenges facing architects of CPS. Unlike traditional computing systems, CPS manage sensitive tasks; therefore, any security breach could lead to catastrophic consequences. These consequences range from revealing personal information (e.g., from wearable devices) to a global threat (e.g., compromising a nuclear plant). Consequently, ensuring the security of CPSoCs is a first-class mission. 3) Verifiability, reliability and correct functionality in CPSoCs are of a vital importance. Think for example in self-driving cars, self-adaptive home appliances, or smart power grids. Similar to untimeliness, malfunctioning in these systems can also lead to life losses. Accordingly, the rigorous verification of each system component is unavoidable process for these markets to successfully scale. In this talk, I present several novel solutions to provide predictable, secure, and verified CPSoCs. Finally, I highlight research directions towards enabling the widespread of CPSoCs and open problems yet to be addressed.
CitationHassan, M. Towards predictable, secure, and verified cyber-physical systems- on-chip. A: . Barcelona Supercomputing Center, 2020, p. 55-56. 
URIhttp://hdl.handle.net/2117/330965
Collections
  • Severo Ochoa Research Seminars at BSC - 6th Severo Ochoa Research Seminar Lectures at BSC, Barcelona, 2019-20: book of abstracts [31]
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
BSC_SORS_2019-2 ... le Secure and Verified.pdf356,5KbPDFView/Open
license_rdf.rdf1,203Kbapplication/rdf+xml; charset=utf-8View/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina