4th Brazilian Symposium on Computing Systems Engineering (SBESC 2014)
http://sbesc.lisha.ufsc.br/sbesc2014/

November 3-7, 2014
Universidade Federal do Amazonas
Manaus, Amazonas, Brazil



---------------
Important Dates
---------------
- Paper Submissions: August 10th, 2014 (extended deadline)
- Notification of acceptance: September 3, 2014
- Camera-ready manuscript due: September 28, 2014
- Symposium Dates: November 03--07, 2014



-----------------
Call for Papers
-----------------
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, some
of them are critical, 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.

SBESC aims at fostering networking and discussions about several
topics related to the engineering of computing systems, aiding the
integration and dissemination of know-how among researchers, students
and professionals of the field. Therefore, we invite authors to submit
original research papers and experimental results related to the
design, implementation, analysis, and evaluation of computing systems
to one of the four symposium's tracks: Operating Systems, Embedded
Systems, Critical Systems, or Real-time Systems.
Each track has its own list of suggested topics.

Suggested topics of interest include (but are not restricted to) the following:

1. Operating Systems Track:
- Development Methodologies and Techniques
- Formal Methods and Verification
- Development Languages and Tools
- Monitoring and Debugging
- Performance Evaluation and Optimization
- Quality of Service, Power Management and Resource Management
- Sensor Networks
- Virtualization
- Distributed Systems
- Multiprocessor Systems

2. Embedded Systems Track:
- Design methodologies
- Formal methods and verification
- Modeling and specification mechanisms
- Estimation techniques
- System synthesis
- Synthesis of hardware dependent software
- Synthesis of interfaces
- Components and platforms
- Automotive System
- Avionics System
- Control and automation
- HW/SW integrated design
- Mobile and ubiquitous computing
- Sensor networks

3. Critical Systems Track
- Certification and Safety
- Data Communication and Computer Networks
- Secure Mobile and Wireless Communication
- Dependability
- Model Driven Engineering
- Tools and Applications
- Development Methodologies
- FPGA, MPSoC, NOC
- Integration and Architecture of Systems and Software
- Modeling Languages ​​and Formal Methods
- Industrial Projects
- Robotics
- Vehicular and Sensor Networks
- Unmanned Systems
- Embedded Operating Systems
- Verification, Validation and Test of Systems

4. Real-time Systems Track
- Component Based Approaches
- Development methodologies
- Energy Efficiency
- Fault-Tolerance
- Formal methods
- Languages and Tools
- Multicore and Manycore Architectures for Real-Time and Safety
- Quality of Service
- Real-time Communications
- Real-time Database
- Real-time Middleware
- Real-time Operating Systems and Kernels
- Scheduling and Schedulability Analysis
- Software Architecture
- Validation and Verification
- Virtualization
- Wireless Sensor Networks
- Worst-Case Execution Time Analysis





------------------
Paper Submission
------------------
SBESC will accept original papers written in Portuguese, Spanish or
English, which will be published in the electronic proceedings of the
symposium. We are discussing with IEEE to index papers in English in
the IEEEXplore. Regular papers may have up to 6 pages and should
follow the IEEE template for conference publications, as shown in:
http://www.ieee.org/portal/cms_docs/pubs/confpubcenter/pdfs/samplems.pdf
and http://www.ieee.org/conferences_events/conferences/publishing/templates.html

Papers should be submitted electronically through JEMS at
https://submissoes.sbc.org.br/sbesc2014

You must select one of the tracks when submitting your paper. Some
tracks will recommend the best papers submitted in English for
publication in a specialized journal (check out track's page). All
accepted papers must be presented in the symposium in order to be
published in the proceedings.



------------------
Venue
------------------
The symposium will take place at Universidade Federal do Amazonas in
Manaus - AM, Brazil. Manaus is a very nice, and somehow different
place to visit. It is located in the middle of the Amazon rainforest,
where the access to the city is basically by boat or airplane. This
isolation helped preserve both the nature as well as the culture of
the city. The city is the main entrance to visit the fauna and flora
of the Brazilian Amazon. Few places in the World afford such a variety
of plants, trees, birds, insects, and fishes. See the nature is the
main touristic attraction. Currently its main economic engine is the
Industrial Pole of Manaus, the famous Free Economic Zone, where its
manufactures include electronics, home appliances, motorcycles,
computers, game consoles, and chemical products. The city's population
is almost 2 million people in 2013, which is the most populous in the
Brazilian Amazon area and the 7th most populous in the country.

Confirmed Keynotes

- John Impagliazzo (Hofstra University)
- Tim Kelly (University of York)
- Herbert Bos (Vrije Universiteit Amsterdam)
- Hermann Kopetz (Vienna University of Technology)
- Nikil Dutt (University of Califórinia at Irvine)



------------------
Organization
------------------
General chair: Raimundo da Silva Barreto (UFAM)

Track coordinators:
- Embedded systems: Marco Aurélio Wehrmeister (UTFPR) and Ricardo Santos Ferreira (UFV)
- Operating systems: Rafael Rodrigues Obelheiro (UDESC)
- Critical systems: Alex Roschildt Pinto (UFSC)
- Real-time systems: Douglas Paulo Bertrand Renaux (UTFPR)

Co-Events:
Industrial Track
Coordinator: José Carlos Maldonado (USP)

Embedded Systems School
Coordinators: Marcio Seiji Oyamada (UNIOESTE) and Edgard de Faria Correa (UFRN)

Intel Embedded Systems Contest
Coordinators: Leandro Buss Becker (UFSC) and Edna Natividade da Silva
Barros (UFPE)

Forum on Education in Computer Engineering
Coordinators: Daltro José Nunes (UFRGS) and Rômulo Silva de Oliveira (UFSC)