Strictly Formalized Situation-Operator-Modeling technique for fall-back layer modeling for autonomous or semi-autonomous systems requiring software-based fail-safe behavior.

Georg Hgele, Dirk Sffker

Browse the full SMC paper archive.