posted by organizer: marcow || 2437 views || tracked by 9 users: [display]

SBESC 2014 : 4th Brazilian Symposium on Computing Systems Engineering


When Nov 3, 2014 - Nov 7, 2014
Where Manaus - Brazil
Submission Deadline Jul 20, 2014
Notification Due Sep 3, 2014
Final Version Due Sep 13, 2014
Categories    embedded systems   real-time systems   operating systems   critical systems

Call For Papers

4th Brazilian Symposium on Computing Systems Engineering (SBESC 2014)

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

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
- 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:

Papers should be submitted electronically through JEMS at

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.

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)

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)

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)

Related Resources

Edge of Things for Smart Healthcare 2017   Special Issue on Edge-of-Things Computing for Smart Healthcare Systems: Opportunities and Challenges at Computer and Electrical Engineering Journal
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
ICCCS--Ei Compendex and Scopus 2018   2018 3rd International Conference on Computer and Communication Systems (ICCCS 2018)--Ei Compendex and Scopus
ICICM - IEEE 2017   IEEE--2017 the 2nd International Conference on Integrated Circuits and Microsystems (ICICM 2017)--Ei Compendex and Scopus
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
IJESA 2017   International Journal of Embedded Systems and Applications
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
ICMSET - EI 2017   2017 6th International Conference on Material Science and Engineering Technology (ICMSET 2017)--SCOPUS, Ei Compendex
COMIT 2017   International Conference on Computer Science and Information Technology
IEEE TETC SI 2017   IEEE Transactions on Emerging Topics in Computing, Special Issue on Scholarly Big Data