posted by organizer: marcow || 2115 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

Microservices 2017   Microservices - Special Issue at IEEE Software
ESWeek 2017   Embedded Systems Week
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
RTCSA 2017   The 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
ICRAE - IEEE 2017   IEEE--2017 2nd International Conference on Robotics and Automation Engineering (ICRAE 2017) - IEEE Xplore and Ei Compendex
ICCSS 2017   IEEE-2017 7th International Conference on Circuits, System and Simulation (ICCSS 2017)-Ei Compendex
ISCMI - IEEE 2017   2017 4th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2017)--IEEE Xplore, Ei Compendex
IEEE MCSOC 2017   IEEE 11th International Symposium on Embedded Multicore/Many-core Systems-on-Chip
COMIT 2017   International Conference on Computer Science and Information Technology
SI-SoftMM 2017   Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications