posted by organizer: marcow || 4892 views || tracked by 10 users: [display]

SBESC 2014 : 4th Brazilian Symposium on Computing Systems Engineering

FacebookTwitterLinkedInGoogle

Link: http://sbesc.lisha.ufsc.br/sbesc2014
 
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)
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)

Related Resources

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
IJME 2024   International Journal of Microelectronics Engineering
Sensors journal 2024   Special Issue on Energy-Efficient Communication Networks and Systems: 2nd Eition
IJPLA 2024   International Journal of Programming Languages and Applications
AICCC 2024   ACM--2024 7th Artificial Intelligence and Cloud Computing Conference (AICCC 2024)
ELELIJ 2024   Electrical and Electronics Engineering: An International Journal
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
MathSJ 2024   Applied Mathematics and Sciences: An International Journal
LAJC 2024   Latin-American Journal of Computing
BDPC 2025   2025 3rd International Conference on Big Data and Privacy Computing (BDPC 2025)