1º Congresso Brasileiro de Sistemas Embarcados Críticos recebe submissão de trabalhos

O Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC) realizará, de 11 a 13 de maio de 2011, o 1º Congresso Brasileiro de Sistemas Embarcados Críticos.

 O evento acontecerá no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP em São Carlos e a submissão de artigos pode ser feita até o dia 4 de fevereiro de 2011.

 Promovido pelo 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 <http://www.ieee.org/publications_standards/publications/authors/authors_journals.html#sect2> , 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 <http://www.easychair.org/conferences/?conf=cbsec2011> , 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 <http://www.inct-sec.org/cbsec2011> .