Morro do Careca (Praia de Ponta Negra)


Fortaleza dos Reis Magos (Praia do Forte) Image

Ponte Newton Navarro (Praia da Redinha) Image

Arena das Dunas Image

Parque da Cidade Image

Fonte: Prefeitura de Natal
Modern computing systems are becoming increasingly diversified. Nowadays we hear about Systems of Systems, Cyber-Physical Systems, Ubiquitous Systems and so on. Many of these systems are embedded, many are subject to real-time constraints and most of them run an operating system. In this context, the term Computing Systems Engineering involves techniques related to a safe, correct and deadline-compliant development methodology for these systems.

The Brazilian Symposium on Computing Systems Engineering (SBESC) is an initiative of the research community originally associated with three events, the Operating Systems Workshop (WSO), Embedded Systems Workshop (WSE) and Real-Time Systems Workshop (WTR), acknowledging the strong synergy between these three areas, and also motivated by the fact that the design of computing systems is an increasingly multidisciplinary task. Since 2013, the Brazilian Conference on Critical Embedded Systems (CBSEC) is also part of SBESC. In order to further strengthen the integration between these communities and to better represent the interdisciplinarity found in many research initiatives, since 2015 SBESC is no longer divided into separated tracks. Instead, a broad list of topics of interest is presented, covering the main aspects of the original SBESC tracks. SBESC 2019 became an IEEE-IES sponsored event.

This year the event will be co-located with LADC 2019: https://ladc2019.imd.ufrn.br/


Poster template: same used for Embedded System Competition: https://sbesc.lisha.ufsc.br/sbesc2019/tiki-download_file.php?fileId=2523

SBESC 2019 definitive program is available!

Tutorial 2 has changed to Aplicação de Técnicas de Verificação no Processo de Desenvolvimento de Sistemas Embarcados Críticos, by Fernando S. Gonçalves, IFSC.