A Perspective on Ensuring Predictability in Time-critical and Secure Cooperative Cyber Physical Systems

Mubeen, Saad; Lisova, Elena; Feljan, Aneta Vulgarakis

doi:10.1109/icit.2019.8754962

Cited by 4 publications

(3 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hence, at the design time, the developers of these systems need to verify that the systems are timing predictable. Timing predictability is a well-defined concept in the real-time systems domain [6][7][8][9][10]. For a given system model and a set of assumptions, the system is considered to be timing predictable if it is possible to show, prove or demonstrate that all specified timing requirements will be satisfied when the system is executed.…”

Section: Predictability In Time-critical Embedded Systemsmentioning

confidence: 99%

“…Note that we overload we include a brief discussion on how AI can be used as a tool for addressing challenges in the light of system predictability. There is a plethora of existing research and initiatives that define and study timing predictability [6][7][8][9][10] and security [11][12][13] in the embedded systems community. Security in a broad sense can be defined as a system property that allows it "to perform its mission or critical functions despite risks posed by threat" [14], where a threat can be defined as "the potential source of an adverse event" [14].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper

2020

Self Cite

View full text Add to dashboard Cite

Cyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems domains, as well as the availability of sophisticated networking technology. Many industrial CPSs are subject to timing predictability, security and functional safety requirements, due to which the developers of these systems are required to verify these requirements during the their development. This position paper starts by exploring the state of the art with respect to developing timing predictable and secure embedded systems. Thereafter, the paper extends the discussion to time-critical and secure CPSs and highlights the key issues that are faced when verifying the timing predictability requirements during the development of these systems. In this context, the paper takes the position to advocate paramount importance of security as a prerequisite for timing predictability, as well as both security and timing predictability as prerequisites for functional safety. Moreover, the paper identifies the gaps in the existing frameworks and techniques for the development of time- and safety-critical CPSs and describes our viewpoint on ensuring timing predictability and security in these systems. Finally, the paper emphasises the opportunities that artificial intelligence can provide in the development of these systems.

show abstract

Section: Predictability In Time-critical Embedded Systemsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper

2020

Self Cite

View full text Add to dashboard Cite

show abstract

“…A major concern while migrating existing real-time software systems towards multi-core systems is the identification of technical solutions that can improve the performance in terms of resource usage and timing predictability [9]- [11]. Invariably, these solutions should also be complementary to other extra-functional attributes such as scalability, maintainability and portability of the software system.…”

Section: Introductionmentioning

confidence: 99%

A Systematic Migration Methodology for Complex Real-time Software Systems

Salman

Papadopoulos

Mubeen

et al. 2020

2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)

Self Cite

View full text Add to dashboard Cite

This paper provides a systematic three-stage methodology for migrating complex real-time industrial software systems from single-core to multi-core computing platforms. Single-core platforms have limited computational capabilities that prevent integration of computationally demanding applications such as image processing within the existing system. Modern multi-core processors provide increased computing capacity and allow the parallel execution of different applications within the system. However, this transition is non-trivial and requires a systematic and well-defined migration process. This paper reviews some of the existing migration methods and provides a systematic multi-phase migration process with emphasis on software architecture recovery and transformation to explicitly address the timing and dependability attributes expected of industrial software systems.

show abstract

On Model-Based Development of Embedded Software for Evolving Automotive E/E Architectures

Bucaioni

Lundbäck

Sjödin

et al. 2020

Advances in Intelligent Systems and Computing

View full text Add to dashboard Cite

A Perspective on Ensuring Predictability in Time-critical and Secure Cooperative Cyber Physical Systems

Cited by 4 publications

References 29 publications

Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper

Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper

A Systematic Migration Methodology for Complex Real-time Software Systems

On Model-Based Development of Embedded Software for Evolving Automotive E/E Architectures

Contact Info

Product

Resources

About