Key points are not available for this paper at this time.
Sistemas ciber-físicos (CPSs) conectam suas partes cibernéticas e físicas para fornecer serviços críticos para a missão, incluindo assistência médica automatizada e pervasiva, rede elétrica inteligente, computação em nuvem verde e vigilância com veículos aéreos não tripulados (UAVs). Os CPSs podem usar as informações disponíveis do ambiente físico para oferecer funcionalidades ubíquas, energeticamente eficientes e de baixo custo. Sua operação precisa garantir três propriedades-chave, coletivamente denominadas S3: 1) segurança: evitamento de perigos; 2) proteção: garantia de integridade, autenticidade e confidencialidade da informação; e 3) sustentabilidade: manutenção da operação de longo prazo dos CPSs utilizando fontes de energia verde. Garantir as propriedades S3 em um CPS é uma tarefa desafiadora, dada a dinâmica espaço-temporal do ambiente físico subjacente. Neste artigo, as bases formais das recentes soluções S3 para CPSs estão alinhadas em um framework teórico para interações ciber-físicas, capacitando os pesquisadores de CPS a projetar sistematicamente soluções para garantir segurança, proteção ou sustentabilidade. A aplicabilidade geral deste framework é demonstrada com várias soluções exemplares para S3 em diversos domínios de CPS. Além disso, são fornecidas percepções sobre alguns dos problemas de pesquisa em aberto para garantir S3 em CPSs.
Banerjee et al. (Wed,) estudaram esta questão.