4th Brazilian Symposium on Computing Systems Engineering, Manaus, Brasilien

Abbrevation

SBESC

Link

http://sbesc.lisha.ufsc.br/sbesc2014

City

Manaus

Country

Brazil

Deadline Paper

2014-07-20

Start Date

2014-11-03

End Date

2014-11-07

Abstract

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