Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts

Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui. Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts. In Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. Volume 10489 of Lecture Notes in Computer Science, pages 114-126, Springer, 2017. [doi]

Abstract

Abstract is missing.