Towards dependable CPS infrastructures: Architectural and operating-system challenges

No abstract is available for this paper.

• Publication year

  2015

• Venue

  2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)

• Publication date

  2015-09-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/ETFA.2015.7301499
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel

  2015cited by this paper
• Query processing on low-energy many-core processors

  2015cited by this paper
• Demo abstract: Taming many heterogeneous cores

  2015cited by this paper
• Cyber Organic Systems Model - a new Software Architecture Approach for Future, Complex Vehicles

  2015cited by this paper
• The Tactile Internet: Applications and Challenges

  2014cited by this paper
• A Landscape of the New Dark Silicon Design Regime

  2013cited by this paper
• Reducing size and complexity of the security-critical code base of file systems

  2013cited by this paper
• The Reliable Computing Base - A Paradigm for Software-based Reliability

  2012cited by this paper
• The GreenDroid Mobile Application Processor: An Architecture for Silicon's Dark Future

  2011cited by this paper
• Stuxnet worm impact on industrial cyber-physical system security

  2011cited by this paper
• Toward Dark Silicon in Servers

  2011cited by this paper
• A Certificateless Signature Scheme for Mobile Wireless Cyber-Physical Systems

  2008cited by this paper
• Cyber Physical Systems: Design Challenges

  2008cited by this paper
• Passivity-Based Control Design for Cyber-Physical Systems

  2008influential reference
• The CRUTIAL Architecture for Critical Information Infrastructures

  2008cited by this paper
• Autonomous driving in urban environments: Boss and the Urban Challenge

  2008cited by this paper
• Secure Control: Towards Survivable Cyber-Physical Systems

  2008influential reference
• VPFS: building a virtual private file system with a small trusted computing base

  2008cited by this paper
• Reducing TCB complexity for security-sensitive applications: three case studies

  2006cited by this paper
• Distributed Kalman Filter with Embedded Consensus Filters

  2005cited by this paper
• Cyber Incidents Involving Control Systems

  2005cited by this paper
• Security architectures revisited

  2002cited by this paper
• An empirical study of operating systems errors

  2001cited by this paper
• DROPS: OS support for distributed multimedia applications

  1998cited by this paper
• On micro-kernel construction

  1995cited by this paper
• On -Kernel Construction

  1995cited by this paper

• Mitigating Message Passing Interference in Trusted Embedded Platforms

  2023cites this paper
• A Stochastic Assessment of Attacks based on Continuous-Time Markov Chains

  2020influential citation
• A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

  2019cites this paper
• A Comprehensive Technological Survey on the 2 Dependable Self-management CPS : from 3 self-adaptive architecture to self-management 4 strategies 5

  2019cites this paper
• A Comprehensive Technological Survey on Dependable Self-management CPS: the decade of researches on correctness and dependability

  2017cites this paper
• On the architecture and development life cycle of secure cyber-physical systems

  2016cites this paper