posted by organizer: marcow || 1873 views || tracked by 10 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

ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
Internet of Things 2017   Technologies, Applications and Implementations - CRC Press (Taylor & Francis Group)
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
CSEIJ 2016   Computer Science & Engineering: An International Journal
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ICIAE 2017   The 5th IIAE International Conference on Industrial Application Engineering 2017
IEEE-ICCSSE 2017   2017 3rd International Conference on Control Science and Systems Engineering (ICCSSE 2017)--IEEE, Ei Compendex
IETCPS 2017   IET Cyber-Physical Systems: Theory & Applications, Special Issue on Safety-Critical Cyber Physical Systems
ICEMIS 2017   International Conference on Engineering and MIS 2017
IDAACS 2017   Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications