Critical Systems Track

The Critical Systems Track of the Brazilian Symposium on Computing System Engineering was established with the aim to bring together academia and industry to discuss key issues and practical techniques for the development of critical embedded systems.

Embedded systems are digital systems incorporated into other systems in order to increase or optimize functionalities and are subject to several constraints, such as low power consumption, timing constraints, low memory, low processing power, etc. Some systems have a critical nature, that is, some system's behavior can result in loss of equipment or properties, extensive damage, environmental problems, or even death of human lives. Therefore, we aim to put together a comprehensive display of relevant scientific and technological tools, applications and methodologies with social and economic impact in strategic areas such as agriculture, security and defense, automotive, aviation, satellite and environment protection.

This track has began in May 2011 through the First Brazilian Conference on Critical Embedded Systems, held in Sao Carlos, Brazil. The second edition took place in Campinas-SP, in May 2012. From 2013, we decided to join efforts with the Brazilian Symposium on Computer System Engineering.

Main Topics of Interest

The non-exhaustive list of topics may include any aspect of computing to handle critical systems, for instance:

Certification and Safety
Data Communication and Computer Networks
Secure Mobile and Wireless Communication
Model Driven Engineering
Tools and Applications
Development Methodologies
Integration and Architecture of Systems and Software
Modeling Languages ​​and Formal Methods
Industrial Projects
Vehicular and Sensor Networks
Unmanned Systems
Embedded Operating Systems
Verification, Validation and Test of Systems

Program Committee Co-chair

Raimundo da Silva Barreto (UFAM)

Program Committee

Alex Roschildt Pinto - UNESP
Antonio Augusto Fröhlich - UFSC
Avelino Francisco Zorzo – PUCRS
Bert-Jan van Beijnum – UTWENTE, NL
Cesar Marcondes – UCLA, EUA
Cesar Zeferino – UNIVALI
Edson Dos Santos Moreira – ICMC/USP
Eduardo Bezerra – EEL/UFSC
Eduardo Todt – INF/UFPR
Eulanda Miranda Santos - ICOMP/UFAM
Flavio Wagner – INF/UFRGS
Fabiano Hessel – PUCRS
Geraldo Silveira – DRVC/CTI
Guilherme Augusto Silva – UFMG
Horácio Braga Fernandes Oliveira - ICOMP/UFAM
Itana Gimenes – DIN/UEM
Jerome Hugues – ISAE, FR
João Batista Camargo Júnior – POLI/USP
Jose Carlos Maldonado – ICMC/USP
José Francisco Magalhães Netto - ICOMP/UFAM
José Raul Azinheira – IST/UTL. PR
José Reginaldo Hughes Carvalho – ICOMP/UFAM
Josué Júnior Guimarães Ramos – DRVC/CTI
Kalinka Castelo Branco – ICMC/USP
Luciana Martimiano – DIN/UEM
Mario Montenegro – DCC/UFMG
Marcelo Pias – CL/Univ. Cambrige, UK
Onofre Trindade Júnior – ICMC/USP
Paulo Cesar Masiero – ICMC/USP
Paulo Romero Martins Maciel - UFPE
Raimundo da Silva Barreto – ICOMP/UFAM
Regina Lúcia de Oliveira Moraes – FC/UNICAMP
Rodolfo Azevedo – IC/UNICAMP
Romulo Silva de Oliveira - UFSC
Tayana Uchôa Conte - ICOMP/UFAM