SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems

Autor(es)

Conradi Hoffmann, Jose Luis ; Frohlich, Antonio Augusto

• Tipo de documento: Artigo Científico
• Fonte: IECON 2022 - 48TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY; v. N/A, p. 6-pg., 2022-01-01.

Resumo

Contemporary Cyber-Physical Systems (CPS), such as autonomous vehicles, are driven mainly by data. Combining timing and data semantics in such Data-Driven systems is crucial to assure safety. This paper proposes an extension of SmartData to support online safety monitoring. By following a Data-Driven Design, we promote a specification of property monitors using Signal Temporal Logic (STL) encompassing Safety Models. Timing aspects from STL specification roots from the timed data intrinsic to SmartData. The property monitors are envisioned as an online monitoring method inside a Safety Enforcement Unit (SEU). The SEU periodically assures the satisfiability of timing and semantics. We demonstrate the proposed design through a case study of an autonomous vehicle modeled using SmartData. The case study considers Mobileye's Responsibility-Sensitive Safety as a ruler for safety vehicle conditions. Finally, the design provides the online verification capabilities inside the SEU by exploring the interpretation of STL specification as property monitors following the RTAMT library. (AU)

• Processo FAPESP: 20/05142-1 - Gateway seguro para a internet das coisas industriais
• Beneficiário: Antônio Augusto Medeiros Fröhlich
• Modalidade de apoio: Auxílio à Pesquisa - Parceria para Inovação Tecnológica - PITE
• Processo FAPESP: 21/02384-7 - Desenvolvimento de um protocolo de verificação de integridade e implementação Gateway IIoT baseado em Ambiente de Execução Segura (TEE)
• Beneficiário: José Luis Conradi Hoffmann
• Modalidade de apoio: Bolsas no Brasil - Programa Capacitação - Treinamento Técnico