research-article

Reset-based recovery for real-time cyber-physical systems with temporal safety constraints

Authors:

Fardin Abdi Taghi Abad,

Renato Mancuso,

Marco CaccamoAuthors Info & Claims

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)

Pages 1 - 8

https://doi.org/10.1109/ETFA.2016.7733561

Published: 01 September 2016 Publication History

Abstract

In traditional computing systems, software problems are often resolved by platform restarts. This approach, however, cannot be naïvely used in cyber-physical systems (CPS). In fact, in this class of systems, ensuring safety strictly depends on the ability to respect hard real-time constraints. Several adaptations of the Simplex architecture have been proposed to guarantee safety in spite of misbehaving software components. However, the problem of performing recovery into a fully operational state has not been extensively addressed. In this work, we discuss how resets can be used in CPS as an effective strategy to recover from a variety of software faults. Our work extends the Simplex architecture in a number of directions. First, we provide sufficient conditions under which safety is guaranteed in spite of fault-induced resets. Second, we introduce a novel technique to express not only state-dependent safety constraints, as typically done in Simplex, but also time-dependent safety properties. Finally, through a proof-of-concept minimal implementation on a small R/C helicopter and simulation-based system modeling, we show the effectiveness of the proposed recovery strategy under the assumed fault model.

References

[1]

L. Sha, “Dependable system upgrade,” in Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE. IEEE, 1998, pp. 440–448.

[2]

L. Sha, “Using simplicity to control complexity.” IEEE Software, 2001, pp. 20–28.

[3]

L. Sha, R. Rajkumar, and M. Gagliardi, “Evolving dependable real-time systems,” in Aerospace Applications Conference, 1996. Proceedings., 1996 IEEE, vol. 1. IEEE, 1996, pp. 335–346.

[4]

T. L. Crenshaw, E. Gunter, C. L. Robinson, L. Sha, and P. Kumar, “The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures,” in Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International IEEE, 2007, pp. 400–412.

[5]

S. Bak, T. T. Johnson, M. Caccamo, and L. Sha, “Real-time reachability for verified simplex design,” in Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, 2014, pp. 138–148.

[6]

S. Z. Bak, “Industrial application of the system-level simplex architecture for real-time embedded system safety,” 2009.

[7]

S. Bak, D. K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and L. Sha, “The system-level simplex architecture for improved real-time embedded system safety,” in Real-Time and Embedded Technology and Applications Symposium, 2009. RTAS 2009. 15th IEEE. IEEE, 2009, pp. 99–107.

[8]

G. Candea and A. Fox, “Recursive restartability: Turning the reboot sledgehammer into a scalpel,” in Hot Topics in Operating Systems, 2001. Proceedings of the Eighth Workshop on. IEEE, 2001, pp. 125–130.

[9]

G. Candea and A. Fox, “Crash-only software,” 2003.

[10]

G. Candea, E. Kiciman, S. Zhang, P. Keyani, and A. Fox, “Jagr: An autonomous self-recovering application server,” in Autonomic Computing Workshop. 2003. Proceedings of the. IEEE, 2003, pp. 168–177.

[11]

G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox, “Microreboot — a technique for cheap recovery,” in Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6, ser. OSDI'04, 2004, pp. 3–3.

[12]

K. Vaidyanathan and K. S. Trivedi, “A comprehensive model for software rejuvenation,” Dependable and Secure Computing, IEEE Transactions on, vol. 2, no. 2, pp. 124–137, 2005.

Digital Library

[13]

S. Garg, A. Puliafito, M. Telek, and K. S. Trivedi, “Analysis of software rejuvenation using markov regenerative stochastic petri net,” in Software Reliability Engineering, 1995. Proceedings., Sixth InternationalSymposium on. IEEE, 1995, pp. 180–187.

[14]

Y. Huang, C. Kintala, N. Kolettis, and N. D. Fulton, “Software rejuvenation: Analysis, module and applications,” in Fault-Tolerant Computing, 1995. FTCS-25. Digest of Papers., Twenty-Fifth InternationalSymposium on. IEEE, 1995, pp. 381–390.

[15]

R. Hajisheykhi, M. Roohitavaf, and S. S. Kulkarni, “Auditable restoration of distributed programs,” in 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015, 2015, pp. 37–46. [Online]. Available: https://doi.org/10.1109/SRDS.2015.24

[16]

R. Hajisheykhi, M. Roohitavaf, and S. S. Kulkarni, “Bounded auditable restoration of distributed programs,” To be appeared at IEEE Transaction on Computers., 2016.

[17]

C. Zimmer and F. Mueller, “Fault resilient real-time design for noc architectures,” in Cyber-Physical Systems (ICCPS), 2012 IEEE/ACM Third InternationalConference on. IEEE, 2012, pp. 75–84.

[18]

E-Flite Inc., “Power 10 brushless outrunner motor datasheet,” http://www.e-fliterc.com/ProdInfo/Files/EFLPower10OutrunnerInstructions.pdf, accessed: 2015 –10 - 10.

[19]

B. Venkataraman, B. Godsey, W. Premerlani, E. Shulman, M. Thaku, and R. Midence, “Fundamentals of a motor thermal model and its applications in motor protection,” in Protective Relay Engineers, 2005 58th Annual Conference for. IEEE, 2005, pp. 127–144.

[20]

D. Seto and L. Sha, “A case study on analytical analysis of the inverted pendulum real-time control system,” DTIC Document, Tech. Rep., 1999.

[21]

F. Abdi, S. Bak, R. Mancuso, O. D. Dantsker, and M. Caccamo, Technical Report: Reset-Based Recovery for Real-Time Cyber-Physical Systems with Temporal Safety Constraints, http://rtsl-edge.cs.illinois.edu/reset-based/techrep.pdf, Feb 2015.

[22]

F. Mazenc, R. Mahony, and R. Lozano, “Forwarding control of scale model autonomous helicopter: a lyapunov control design,” in Decision and Control, 2003. Proceedings. 42nd IEEE Conference on, vol. 4, Dec 2003, pp. 3960–3965 vol. 4.

[23]

O. Shakernia, Y. Ma, T. J. Koo, and S. Sastry, “Landing an unmanned air vehicle: Vision based motion estimation and nonlinear control,” Asian journal of control, vol. 1, no. 3, pp. 128–145, 1999.

Digital Library

[24]

E. Licéaga-Castrol, “A liouvillian systems approach for the trajectory planning-based control of helicopter models,” Int. J. Robust Nonlinear Contrul, vol. 10, pp. 301–320, 2000.

[25]

I. A. Raptis and K. P. Valavanis, Linear and nonlinear control of small-scale unmanned helicopters. Springer Science& Business Media, 2010, vol. 45.

[26]

3D Robotics, “Ardupilot apm2.6,” http://3drobotics.com/kb/apm-2-6/, accessed: 2015 - 9 - 24.

[27]

CAPTRON Electronic GmbH, “Bavarian demon datasheet, 3x/3xs series,” http://www.bavariandemon.com/fileadmin/user_upload/downloads/bavarianDEMON-Instructions-3SX-3X_V6.1.pdf, accessed: 2015 –9 - 24.

[28]

Futaba Inc., “Fsu2 instruction manual,” http://manuals.hobbico.com/fut/fsu2-manual.pdf, accessed: 2015 –10 - 11.

[29]

Fardin Abdi, “Flight demo video,” https://youtu.be/tHcJUvBKd8Q.

[30]

S. N. Ahmadyan and S. Vasudevan, “Reachability analysis of nonlinear analog circuits through iterative reachable set reduction,” in Design, Automation Test in Europe Conference Exhibition (DATE), 2013, March 2013, pp. 1436–1441.

Cited By

Lu PZhang LLiu MSridhar KSokolsky OKong FLee I(2024)Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory WorksACM Computing Surveys10.1145/365397456:8(1-31)Online publication date: 26-Apr-2024
https://dl.acm.org/doi/10.1145/3653974
Chu SKoe JGarlan DKang EBaresi LMa XPasquale L(2024)Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationProceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3643915.3644090(122-132)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643915.3644090
Reghenzani FGuo ZFornaciari W(2023)Software Fault Tolerance in Real-Time Systems: Identifying the Future Research QuestionsACM Computing Surveys10.1145/358995055:14s(1-30)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3589950
Show More Cited By

Index Terms

Reset-based recovery for real-time cyber-physical systems with temporal safety constraints
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Software and its engineering
  1. Software creation and management
  2. Software organization and properties
    1. Extra-functional properties
      1. Software fault tolerance
    2. Software system structures
      1. Embedded software
      2. Real-time systems software

Index terms have been assigned to the content through auto-classification.

Recommendations

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems
SAM '20: Proceedings of the 12th System Analysis and Modelling Conference

One of the key requirements for designing safety critical cyber physical systems (CPS) is to ensure resiliency. Typically, the cyber sub-system in a CPS is empowered with protection devices that quickly detect and isolate faulty components to avoid ...
Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study
CPSNA '14: Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications

Cyber-Physical Systems (CPS) linking computing to physical systems are often used to monitor and controlsafety-critical processes, i.e. processes that bear the potential to cause significant damage or loss in the case of failures. While safety-critical ...
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults and cyber attacks have been shown to cause safety violations, which can ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)

1580 pages

Copyright © 2016.

Publisher

IEEE Press

Publication History

Published: 01 September 2016

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Lu PZhang LLiu MSridhar KSokolsky OKong FLee I(2024)Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory WorksACM Computing Surveys10.1145/365397456:8(1-31)Online publication date: 26-Apr-2024
https://dl.acm.org/doi/10.1145/3653974
Chu SKoe JGarlan DKang EBaresi LMa XPasquale L(2024)Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationProceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3643915.3644090(122-132)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643915.3644090
Reghenzani FGuo ZFornaciari W(2023)Software Fault Tolerance in Real-Time Systems: Identifying the Future Research QuestionsACM Computing Surveys10.1145/358995055:14s(1-30)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3589950
Dörr TSandmann TFriederich PLeitner ABecker J(2021)Achieving cost-efficient fail-operational behavior based on inherent redundancy at the system levelMicroprocessors & Microsystems10.1016/j.micpro.2021.10438087:COnline publication date: 1-Nov-2021
https://dl.acm.org/doi/10.1016/j.micpro.2021.104380
Jagtap PAbdi FRungger MZamani MCaccamo M(2020)Software Fault Tolerance for Cyber-Physical Systems via Full System RestartACM Transactions on Cyber-Physical Systems10.1145/34071834:4(1-20)Online publication date: 3-Aug-2020
https://dl.acm.org/doi/10.1145/3407183

View Options

View options

Figures

Tables

Media

View Table of Conten