{"id":2301,"date":"2025-05-13T19:47:58","date_gmt":"2025-05-13T19:47:58","guid":{"rendered":"https:\/\/inforum2025.xdi.uevora.pt\/?page_id=2301"},"modified":"2025-05-21T09:55:36","modified_gmt":"2025-05-21T09:55:36","slug":"sistemas-ciber-fisicos-confiaveis-e-aplicacoes-cpsapps","status":"publish","type":"page","link":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/sistemas-ciber-fisicos-confiaveis-e-aplicacoes-cpsapps\/","title":{"rendered":"Sistemas Ciber-F\u00edsicos Confi\u00e1veis e Aplica\u00e7\u00f5es (CPS&amp;Apps)"},"content":{"rendered":"\n<p>Os avan\u00e7os nos t\u00f3picos de sistemas embebidos, potenciados pelas diversas tecnologias de comunica\u00e7\u00e3o digitais t\u00eam vindo a dar origem a uma nova gera\u00e7\u00e3o de sistemas, caracterizados pela sua pr\u00f3xima intera\u00e7\u00e3o com o ambiente f\u00edsico e os humanos \u2013 os sistemas ciber-f\u00edsicos. Estes sistemas, t\u00eam frequentemente, por estas raz\u00f5es, requisitos extremamente exigentes em termos de confiabilidade e seguran\u00e7a, verifica\u00e7\u00e3o e valida\u00e7\u00e3o, desempenho, resposta temporal, determinismo, consumo energ\u00e9tico, dissipa\u00e7\u00e3o de pot\u00eancia, e de interliga\u00e7\u00e3o com outros sistemas e ambientes atrav\u00e9s de sensores e atuadores. Por essa raz\u00e3o, as interfaces hardware-software necessitam de ser projetadas considerando a sua interdepend\u00eancia, nas dimens\u00f5es dos sistemas embebidos, comunica\u00e7\u00f5es e controlo, impondo novas compet\u00eancias que combinam o conhecimento de hardware com o de software.<\/p>\n\n\n\n<p><br>Esta gera\u00e7\u00e3o de sistemas ciber-f\u00edsicos, componente fundamental no paradigma da Ind\u00fastria 4.0, s\u00e3o utilizados numa vasta gama de aplica\u00e7\u00f5es em \u00e1reas como as comunica\u00e7\u00f5es, a rob\u00f3tica, o espa\u00e7o ou os ve\u00edculos aut\u00f3nomos n\u00e3o tripulados. Em particular, \u00e9 de salientar a cada vez maior depend\u00eancia de comunica\u00e7\u00f5es sem fios, como da \u201cIoT &#8211; Internet of Things\u201d, para suportar servi\u00e7os que se querem cada vez mais ub\u00edquos, potenciando a coopera\u00e7\u00e3o entre diversos sistemas ciber-f\u00edsicos, originando sistemas de sistemas (SoS) de maior complexidade &#8211; sistemas ciberf\u00edsicos cooperantes como forma\u00e7\u00f5es de ve\u00edculos terrestres e a\u00e9reos.<\/p>\n\n\n\n<p><br>Este tipo de sistemas t\u00eam sido explorados no contexto nacional por diferentes grupos de investiga\u00e7\u00e3o, dinamizado num leque abrangente de disciplinas ao n\u00edvel do ensino p\u00f3s-graduado e concretizado por um n\u00famero crescente de projetos desenvolvidos por empresas nacionais (e.g. Critical Software, Deimos Engenharia, EDISOFT, EFACEC, EMPORDEF-TI, GMV Skysoft, PDM&amp;FC, NAV Portugal EPE, Nokia, Siemens Networks, Bosch, Capgemini).<\/p>\n\n\n\n<p><br>Nesta sess\u00e3o em Sistemas Ciber-F\u00edsicos Confi\u00e1veis e Applica\u00e7\u00f5es, pretende-se manter a liga\u00e7\u00e3o \u00e0 ind\u00fastria, institu\u00edda logo na primeira edi\u00e7\u00e3o da sess\u00e3o original (SETR &#8211; Sistemas Embebidos e de Tempo Real) e que tem vindo a ser progressivamente atualizada, inclusivamente no seu \u00e2mbito, abra\u00e7ando aplica\u00e7\u00f5es de sistemas ciber-f\u00edsicos mais gen\u00e9ricas, tocando as \u00e1reas de IoT, rob\u00f3tica e Ind\u00fastria 4.0.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">T\u00f3picos de Interesse<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Tecnologias de suporte a sistemas ciber-f\u00edsicos\n<ul class=\"wp-block-list\">\n<li>Computa\u00e7\u00e3o e comunica\u00e7\u00e3o em tempo-real<\/li>\n\n\n\n<li>Tecnologias de redes para sistemas embebidos<\/li>\n\n\n\n<li>Redes de sensores sem fios<\/li>\n\n\n\n<li>Autonomia e reconfigura\u00e7\u00e3o<\/li>\n\n\n\n<li>Confiabilidade e seguran\u00e7a em sistemas embebidos<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Desenho e m\u00e9todos em sistemas ciber-f\u00edsicos\n<ul class=\"wp-block-list\">\n<li>Desenho e implementa\u00e7\u00e3o<\/li>\n\n\n\n<li>Metodologias de desenho e ferramentas<\/li>\n\n\n\n<li>Co-desenho hardware\/software<\/li>\n\n\n\n<li>Sistemas cr\u00edticos<\/li>\n\n\n\n<li>Processos de desenvolvimento<\/li>\n\n\n\n<li>Modelos de computa\u00e7\u00e3o e m\u00e9todos formais<\/li>\n\n\n\n<li>Verifica\u00e7\u00e3o, valida\u00e7\u00e3o e qualifica\u00e7\u00e3o<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Componentes e plataformas em sistemas ciber-f\u00edsicos\n<ul class=\"wp-block-list\">\n<li>Sistemas distribu\u00eddos<\/li>\n\n\n\n<li>Sistemas integrados e arquiteturas<\/li>\n\n\n\n<li>N\u00facleos, sistemas operativos e middleware<\/li>\n\n\n\n<li>Linguagens de programa\u00e7\u00e3o e compiladores<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Algoritmos e controlo em sistemas ciber-f\u0129sicos\n<ul class=\"wp-block-list\">\n<li>Gest\u00e3o de recursos em tempo-real e escalonamento<\/li>\n\n\n\n<li>Controlo da qualidade de servi\u00e7o<\/li>\n\n\n\n<li>Perce\u00e7\u00e3o e redu\u00e7\u00e3o do consumo energ\u00e9tico<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Sistemas Ciberf\u00edsicos na Internet das Coisas e Ind\u00fastria 4.0\n<ul class=\"wp-block-list\">\n<li>Aquisi\u00e7\u00e3o, processamento e transmiss\u00e3o de dados<\/li>\n\n\n\n<li>Tecnologias de transmiss\u00e3o de dados: 5G, NB-IOT, LoRa, \u2026<\/li>\n\n\n\n<li>Controlo e rob\u00f3tica<\/li>\n\n\n\n<li>Aspetos de seguran\u00e7a e confiabilidade<\/li>\n\n\n\n<li>Middleware e protocolos de comunica\u00e7\u00e3o<\/li>\n\n\n\n<li>Processamento e an\u00e1lise de dados em tempo-real<\/li>\n\n\n\n<li>Aplica\u00e7\u00f5es e computa\u00e7\u00e3o na nuvem para a Internet das Coisas<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Estudos de caso e aplica\u00e7\u00f5es\n<ul class=\"wp-block-list\">\n<li>Estudos de caso: automa\u00e7\u00e3o industrial, dom\u00f3tica, rob\u00f3tica, ve\u00edculos autom\u00f3veis, avia\u00e7\u00e3o, aeroespacial, telecomunica\u00e7\u00f5es, sa\u00fade, \u2026<\/li>\n\n\n\n<li>Aplica\u00e7\u00f5es: condu\u00e7\u00e3o aut\u00f3noma, monitoriza\u00e7\u00e3o ambiental, e Agricultura<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Comiss\u00e3o T\u00e9cnica<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Jos\u00e9 Cec\u00edlio (LASIGE\/FCUL) \u2014\u00a0<strong>Chair<\/strong><\/li>\n\n\n\n<li>Lu\u00eds Pinto (LASIGE\/FCUL) \u2014\u00a0<strong>Chair<\/strong><\/li>\n\n\n\n<li>Aleksandar Ilic (INESC-ID\/IST)<\/li>\n\n\n\n<li>Carlos Almeida (IST-U.Lisboa)<\/li>\n\n\n\n<li>David Pereira (CISTER\/ISEP &#8211; IPP)<\/li>\n\n\n\n<li>Filipe Cabral Pinto (Altice Labs)<\/li>\n\n\n\n<li>Jo\u00e3o Bispo (FEUP\/INESC TEC)<\/li>\n\n\n\n<li>Jo\u00e3o Carlos Ferreira (ISCTE-IUL \/ Inov)<\/li>\n\n\n\n<li>Jo\u00e3o Cunha, ISEC (IPCoimbra \/ CISUC)<\/li>\n\n\n\n<li>Joaquim Ferreira (IT\/ESTGA-UAveiro)<\/li>\n\n\n\n<li>Jorge Pinto (HASLab\/INESC TEC\/U.Minho)<\/li>\n\n\n\n<li>Jos\u00e9 Cec\u00edlio (LASIGE\/FCUL)<\/li>\n\n\n\n<li>Lu\u00eds Gomes (UNINOVA-CTS\/UNLisboa)<\/li>\n\n\n\n<li>Luis Moutinho (IT\/ESTGA-UAveiro)<\/li>\n\n\n\n<li>Lu\u00eds Pinto (LASIGE\/FCUL)<\/li>\n\n\n\n<li>Nelson Blanco (PDMFC)<\/li>\n\n\n\n<li>Nuno Macedo (INESC TEC \/ Universidade do Porto)<\/li>\n\n\n\n<li>Paulo Bartolomeu (IT\/DETI-UAveiro)<\/li>\n\n\n\n<li>Paulo Pedreiras (IT\/DETI-UAveiro)<\/li>\n\n\n\n<li>Pedro Ferreira (LASIGE\/FCUL)<\/li>\n\n\n\n<li>Sandro Pinto (UMinho)<\/li>\n\n\n\n<li>Maria Clara Silveira (IPG)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Os avan\u00e7os nos t\u00f3picos de sistemas embebidos, potenciados pelas diversas tecnologias de comunica\u00e7\u00e3o digitais t\u00eam vindo a dar origem a uma nova gera\u00e7\u00e3o de sistemas, caracterizados pela sua pr\u00f3xima intera\u00e7\u00e3o com o ambiente f\u00edsico e os humanos \u2013 os sistemas ciber-f\u00edsicos. Estes sistemas, t\u00eam frequentemente, por estas raz\u00f5es, requisitos extremamente exigentes em termos de confiabilidade &hellip; <\/p>\n","protected":false},"author":6,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2301","page","type-page","status-publish","hentry"],"rttpg_featured_image_url":null,"rttpg_author":{"display_name":"Jo\u00e3o Cardoso","author_link":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/author\/joao-pedro-cardoso\/"},"rttpg_comment":0,"rttpg_category":null,"rttpg_excerpt":"Os avan\u00e7os nos t\u00f3picos de sistemas embebidos, potenciados pelas diversas tecnologias de comunica\u00e7\u00e3o digitais t\u00eam vindo a dar origem a uma nova gera\u00e7\u00e3o de sistemas, caracterizados pela sua pr\u00f3xima intera\u00e7\u00e3o com o ambiente f\u00edsico e os humanos \u2013 os sistemas ciber-f\u00edsicos. Estes sistemas, t\u00eam frequentemente, por estas raz\u00f5es, requisitos extremamente exigentes em termos de confiabilidade&hellip;","_links":{"self":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages\/2301","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/comments?post=2301"}],"version-history":[{"count":3,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages\/2301\/revisions"}],"predecessor-version":[{"id":2391,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages\/2301\/revisions\/2391"}],"wp:attachment":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/media?parent=2301"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}