Fonte: http://www.icmc.usp.br/comunicacao/index.php?id=29
O 1º Congresso Brasileiro de Sistemas Embarcados Críticos será realizado de 11 a 13 de maio de 2011, no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP em São Carlos. A submissão de artigos pode ser feita até o dia 4 de fevereiro de 2011.
Promovido pelo Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC) e pela Sociedade Brasileira de Computação (SBC), o congresso pretende agregar conhecimentos e competências necessárias para o desenvolvimento de sistemas embarcados críticos. Essa tecnologia é importante para apoiar a melhoria de áreas estratégicas do país, como a de controle do meio ambiente, a de segurança e defesa nacional e a de agricultura. Os veículos autônomos serão o foco do evento, cujo objetivo principal é ampliar a colaboração da academia e da indústria no ensino, pesquisa e desenvolvimento da área.
Artigos
Alguns tópicos relacionados a sistemas embarcados críticos são:
- Model-Driven Engineering
- Certification and Safety
- Wireless mobile and secure communication
- Embedded Operating Systems
- Data Communication and Computer Networks
- FPGA, MPSOC, NOC
- Industrial designs
- Product lines
- Prototyping case studies
- Robotics
- Sensor and Vehicular networks
- Software and systems architecture and integration
- System verification and validation
- Tools, methodologies, and dependability aspects
- Training and teaching methodologies
- Unmanned systems
- Modeling Languages for embedded systems
- Formal Methods for embedded systems
Além desses, os trabalhos a serem enviados para participação no congresso também podem abordar outros temas relacionados à área. Os artigos precisam ser enviados em inglês, no formato pdf, com no máximo seis páginas, seguindo o padrão IEEE, e não estar sob avaliação de outra publicação. É importante que descrevam claramente a natureza e as principais características do trabalho, sua importância e seu estágio de desenvolvimento.
A submissão deve ser feita pelo site, no qual também são encontradas orientações mais detalhadas. Os autores dos melhores trabalhos serão convidados a publicá-los em uma edição especial do Journal of the Brazilian Computer Society. O evento ainda conta com o apoio da SBµicro, SBTA – Sociedade Brasileira em Pesquisa e Transporte Aéreo - e SBA.
O ICMC fica no Campus 1, Av. Trabalhador são-carlense, 400.
Informações complementares podem ser acessadas no site: www.inct-sec.org/cbsec2011.
Artigos
Alguns tópicos relacionados a sistemas embarcados críticos são:
- Model-Driven Engineering
- Certification and Safety
- Wireless mobile and secure communication
- Embedded Operating Systems
- Data Communication and Computer Networks
- FPGA, MPSOC, NOC
- Industrial designs
- Product lines
- Prototyping case studies
- Robotics
- Sensor and Vehicular networks
- Software and systems architecture and integration
- System verification and validation
- Tools, methodologies, and dependability aspects
- Training and teaching methodologies
- Unmanned systems
- Modeling Languages for embedded systems
- Formal Methods for embedded systems
Além desses, os trabalhos a serem enviados para participação no congresso também podem abordar outros temas relacionados à área. Os artigos precisam ser enviados em inglês, no formato pdf, com no máximo seis páginas, seguindo o padrão IEEE, e não estar sob avaliação de outra publicação. É importante que descrevam claramente a natureza e as principais características do trabalho, sua importância e seu estágio de desenvolvimento.
A submissão deve ser feita pelo site, no qual também são encontradas orientações mais detalhadas. Os autores dos melhores trabalhos serão convidados a publicá-los em uma edição especial do Journal of the Brazilian Computer Society. O evento ainda conta com o apoio da SBµicro, SBTA – Sociedade Brasileira em Pesquisa e Transporte Aéreo - e SBA.
O ICMC fica no Campus 1, Av. Trabalhador são-carlense, 400.
Informações complementares podem ser acessadas no site: www.inct-sec.org/cbsec2011.
















