Skip to main content

2018 | OriginalPaper | Buchkapitel

MORE: MOdel-based REdundancy for Simulink

verfasst von : Kai Ding, Andrey Morozov, Klaus Janschek

Erschienen in: Computer Safety, Reliability, and Security

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Fault tolerance plays a significant role in the safety-critical system design that enables a system to continue performing its intended functions in presence of faults. Redundancy is the key underlying method to achieve fault tolerance. Hardware redundancy and software redundancy are well-known redundancy techniques. In case of model-based development, redundancy mechanisms can be applied directly at the model level, e.g. to a Simulink model. This paper introduces a new, model-based redundancy technique to tolerate hardware faults, called model-based redundancy (MORE). Applications of fault-tolerant design patterns, such as comparison, voting, and sparing, to Simulink models are introduced. A Simulink PID controller model is demonstrated as a case study to show the effectiveness and feasibility of the introduced approach. The paper also addresses the mutual optimization of reliability properties and system performance. We apply the MORE separately to the P, I, D terms and analyze system performance and achieved reliability properties, evaluated using a stochastic dual-graph error propagation model.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Ding, K., Morozov, A., Janschek, K.: Classification of hierarchical fault-tolerant design patterns. In: 2017 IEEE 15th International Dependable, Autonomic and Secure Computing, 15th International Conference on Pervasive Intelligence and Computing, 3rd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), pp. 612–619. IEEE (2017) Ding, K., Morozov, A., Janschek, K.: Classification of hierarchical fault-tolerant design patterns. In: 2017 IEEE 15th International Dependable, Autonomic and Secure Computing, 15th International Conference on Pervasive Intelligence and Computing, 3rd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), pp. 612–619. IEEE (2017)
2.
Zurück zum Zitat Ding, K., Mutzke, T., Morozov, A., Janschek, K.: Automatic transformation of UML system models for model-based error propagation analysis of mechatronic systems. IFAC-PapersOnLine 49(21), 439–446 (2016)CrossRef Ding, K., Mutzke, T., Morozov, A., Janschek, K.: Automatic transformation of UML system models for model-based error propagation analysis of mechatronic systems. IFAC-PapersOnLine 49(21), 439–446 (2016)CrossRef
3.
Zurück zum Zitat Eriksson, H.: D 5.1 - simulating hardware-related faults at model level. Technical report (2011) Eriksson, H.: D 5.1 - simulating hardware-related faults at model level. Technical report (2011)
4.
Zurück zum Zitat Johnson, B.W.: Design and Analysis of Fault Tolerant Digital Systems. Addison-Wesley Longman Publishing Co. Inc., Boston (1988) Johnson, B.W.: Design and Analysis of Fault Tolerant Digital Systems. Addison-Wesley Longman Publishing Co. Inc., Boston (1988)
5.
Zurück zum Zitat Karnik, T., Hazucha, P.: Characterization of soft errors caused by single event upsets in cmos processes. IEEE Trans. Dependable Secure Comput. 1(2), 128–143 (2004)CrossRef Karnik, T., Hazucha, P.: Characterization of soft errors caused by single event upsets in cmos processes. IEEE Trans. Dependable Secure Comput. 1(2), 128–143 (2004)CrossRef
6.
Zurück zum Zitat Koopman, P.: A case study of Toyota unintended acceleration and software safety. Presentation, September 2014 Koopman, P.: A case study of Toyota unintended acceleration and software safety. Presentation, September 2014
7.
Zurück zum Zitat Koren, I., Krishna, C.M.: Fault-Tolerant Systems. Morgan Kaufmann, Burlington (2010)MATH Koren, I., Krishna, C.M.: Fault-Tolerant Systems. Morgan Kaufmann, Burlington (2010)MATH
8.
Zurück zum Zitat Kuvaiskii, D., Oleksenko, O., Bhatotia, P., Felber, P., Fetzer, C.: Elzar: triple modular redundancy using Intel AVX. In: Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016) (2016) Kuvaiskii, D., Oleksenko, O., Bhatotia, P., Felber, P., Fetzer, C.: Elzar: triple modular redundancy using Intel AVX. In: Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016) (2016)
10.
Zurück zum Zitat Lyu, M.R., et al.: Handbook of Software Reliability Engineering (1996) Lyu, M.R., et al.: Handbook of Software Reliability Engineering (1996)
11.
Zurück zum Zitat Morozov, A.: Dual-graph Model for Error Propagation Analysis of Mechatronic Systems. Jörg Vogt Verlag, Dresden (2012) Morozov, A.: Dual-graph Model for Error Propagation Analysis of Mechatronic Systems. Jörg Vogt Verlag, Dresden (2012)
13.
Zurück zum Zitat Morozov, A., Janschek, K.: Flight control software failure mitigation: design optimization for software-implemented fault detectors. IFAC-PapersOnLine 49(17), 248–253 (2016)MathSciNetCrossRef Morozov, A., Janschek, K.: Flight control software failure mitigation: design optimization for software-implemented fault detectors. IFAC-PapersOnLine 49(17), 248–253 (2016)MathSciNetCrossRef
14.
Zurück zum Zitat Mukherjee, S.S., Kontz, M., Reinhardt, S.K.: Detailed design and evaluation of redundant multi-threading alternatives. In: Proceedings of 29th Annual International Symposium on Computer Architecture, pp. 99–110. IEEE (2002) Mukherjee, S.S., Kontz, M., Reinhardt, S.K.: Detailed design and evaluation of redundant multi-threading alternatives. In: Proceedings of 29th Annual International Symposium on Computer Architecture, pp. 99–110. IEEE (2002)
15.
Zurück zum Zitat Oh, N., Shirvani, P.P., McCluskey, E.J.: Error detection by duplicated instructions in super-scalar processors. IEEE Trans. Reliab. 51(1), 63–75 (2002)CrossRef Oh, N., Shirvani, P.P., McCluskey, E.J.: Error detection by duplicated instructions in super-scalar processors. IEEE Trans. Reliab. 51(1), 63–75 (2002)CrossRef
16.
Zurück zum Zitat Reinhardt, S.K., Mukherjee, S.S.: Transient fault detection via simultaneous multithreading, vol. 28. ACM (2000) Reinhardt, S.K., Mukherjee, S.S.: Transient fault detection via simultaneous multithreading, vol. 28. ACM (2000)
17.
Zurück zum Zitat Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: Swift: software implemented fault tolerance. In: Proceedings of the International Symposium on Code Generation and Optimization, pp. 243–254. IEEE Computer Society (2005) Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: Swift: software implemented fault tolerance. In: Proceedings of the International Symposium on Code Generation and Optimization, pp. 243–254. IEEE Computer Society (2005)
18.
Zurück zum Zitat Rink, N.A., Castrillon, J.: Trading fault tolerance for performance in an encoding. In: Proceedings of the Computing Frontiers Conference, pp. 183–190. ACM (2017) Rink, N.A., Castrillon, J.: Trading fault tolerance for performance in an encoding. In: Proceedings of the Computing Frontiers Conference, pp. 183–190. ACM (2017)
21.
Zurück zum Zitat Schroeder, B., Pinheiro, E., Weber, W.D.: Dram errors in the wild: a large-scale field study. In: ACM SIGMETRICS Performance Evaluation Review, vol. 37, pp. 193–204. ACM (2009) Schroeder, B., Pinheiro, E., Weber, W.D.: Dram errors in the wild: a large-scale field study. In: ACM SIGMETRICS Performance Evaluation Review, vol. 37, pp. 193–204. ACM (2009)
22.
Zurück zum Zitat Semiconductors Technology: Soft errors in electronic memory (2012) Semiconductors Technology: Soft errors in electronic memory (2012)
23.
Zurück zum Zitat Svenningsson, R.: Model-Implemented Fault Injection for Robustness Assessment. KTH, Stockholm (2011) Svenningsson, R.: Model-Implemented Fault Injection for Robustness Assessment. KTH, Stockholm (2011)
24.
Zurück zum Zitat Svenningsson, R., Eriksson, H., Vinter, J., Törngren, M.: Model-implemented fault injection for hardware fault simulation. In: 2010 Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa), pp. 31–36. IEEE (2010) Svenningsson, R., Eriksson, H., Vinter, J., Törngren, M.: Model-implemented fault injection for hardware fault simulation. In: 2010 Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa), pp. 31–36. IEEE (2010)
26.
Zurück zum Zitat Swift, G.M., Guertin, S.M.: In-flight observations of multiple-bit upset in DRAMs. IEEE Trans. Nucl. Sci. 47(6), 2386–2391 (2000)CrossRef Swift, G.M., Guertin, S.M.: In-flight observations of multiple-bit upset in DRAMs. IEEE Trans. Nucl. Sci. 47(6), 2386–2391 (2000)CrossRef
27.
Zurück zum Zitat Verzola, I., Lagny, A.E., Biswas, J.: A predictive approach to failure estimation and identification for space systems operations. In: SpaceOps 2014 Conference, p. 1722 (2014) Verzola, I., Lagny, A.E., Biswas, J.: A predictive approach to failure estimation and identification for space systems operations. In: SpaceOps 2014 Conference, p. 1722 (2014)
28.
Zurück zum Zitat Vinter, J., Johansson, A., Folkesson, P., Karlsson, J.: On the design of robust integrators for fail-bounded control systems. In: International Conference on Dependable Systems and Networks: 22/06/2003-25/06/2003, pp. 415–424. IEEE Communications Society (2003) Vinter, J., Johansson, A., Folkesson, P., Karlsson, J.: On the design of robust integrators for fail-bounded control systems. In: International Conference on Dependable Systems and Networks: 22/06/2003-25/06/2003, pp. 415–424. IEEE Communications Society (2003)
Metadaten
Titel
MORE: MOdel-based REdundancy for Simulink
verfasst von
Kai Ding
Andrey Morozov
Klaus Janschek
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-99130-6_17