posted by user: vaniaon || 2120 views || tracked by 1 users: [display]

BWare 2019 : I Brazilian Workshop on lArge-scale cRitical systEms


When Sep 23, 2019 - Sep 27, 2019
Where Salvador/Brazil
Submission Deadline Jul 8, 2019
Notification Due Aug 6, 2019
Final Version Due Aug 13, 2019
Categories    software engineering   critical systems

Call For Papers

I Brazilian Workshop on lArge-scale cRitical systEms (BWare 2019)
Salvador, Brazil, September 23-27, 2019



# Workshop overview #

Brazilian Workshop on lArge-scale cRitical systEms (BWare) aims to bring together researchers, students, and professionals from Brazil and abroad interested in issues related to Large-scale Critical Systems (LSCS).

LSCS have become increasingly common, especially if we consider the emerging needs of using software to mitigate relative risks and proactively act to prevent and assist large-scale environmental and urban disasters such as fires, floods, landslides, and dam breaks.

LSCS use is not restricted to disasters, and it is becoming a system of primary importance in several other scenarios, such as smart cities and smart agriculture, Industry 4.0, and e-health. If, on the one hand, it is of the utmost importance that these systems have high quality in order to avoid as much as possible a failure, on the other hand, we also must to provide mechanisms to react to failures that result in a major event and to manage them efficiently and effectively to minimize the damage.

We invite the scientific community, industry, and other practitioner communities interested in this area submit a paper that relates experience as well as scientific and theoretical research details. We will mainly consider works related to emergencies and disasters prevention and emergencies and disasters risk management in the domains of cities and smart farms, Industry 4.0 and e-health; however, other related and/or similar areas will also be taken into account.

# Important dates #

Submission: July 8th (firm)
Notification: August 6h
Camera-ready: August 13th

# Topics of interest #

BWare’19 topics of interest include (but are not limited to) the following aspects for large-scale critical systems:
LSCS Architecture and Modeling

Requirements Engineering for LSCS

Formal Methods for LSCS

LSCS Software Verification, Validation, and Testing

LSCS Reliability and Security

LSCS Dynamic Architectures

Self-adaptive systems in the context of LSCS

Systems-of-Systems, Information Systems-of-Systems and Software Ecosystems in LSCS domains

Simulation of LSCS

Advanced Methods for Detection, Fault Tolerance, and Debugging of LSCS

Software quality, metrics and measures, quality/reliability estimation and prediction of LSCS

Reliability, resilience, and survival capacity studies of LSCS

Automation and tools to support LSCS

Case studies, applications, and experimentation of LSCS

Experiences reports in LSCS

Techniques, methods, and processes for LSCS development

Systems for Citizen Engagement in LSCS Contexts

LSCS to support environmental modeling

# Submission #

In this workshop edition, we will accept submissions for two categories:

* Full technical papers *
We welcome papers with 6 to 8 pages describing works and tools with partial or complete results already obtained. We hope that in these papers the research problem, the proposed solution, the form of evaluation, the results obtained, and the comparison with related works are clear.

* Short papers *
We welcome papers with 2 to 4 pages describing ongoing research to enable attendees at different stages in their research process to participate in the workshop.

# Submission Format #

Papers can be written either in Portuguese or in English. Submissions must conform to ACM format for conferences, available at The pages numbers must be within the minimum and maximum limits established for each submission category, including title, authors data, authors affiliates, abstract, sections, figures, tables, frames, references, and attachments. All papers will be reviewed by at least three members of the program committee. The two work categories should be submitted in pdf format through the Easy Chair submissions system ( ).
Judging criteria for technical papers are suitability for workshop scope, relevance, technical quality, presentation clarity, and originality. The validation of the results is desirable, but it is not a precondition for submitting papers to the workshop. Papers should present comparisons with other relevant works in the field. Theoretical papers should emphasize the contribution to one of the great areas of CBSoft: Software Engineering, Software Testing, or Software Components, Architectures, and Reuse. Papers on practical experiments should describe the method used and interpret the qualitative and quantitative results.

# Organizing Committee #

** Program Co-Chairs**
Bruna Diirr (UNIRIO)
Flávio Eduardo Aoki Horita (UFABC)
Vânia de Oliveira Neves (UFF)

** Steering Committee **
Felicita Di Giandomenico (ISTI/CNR)
Marcos Roberto da Silva Borges (UFRJ)
Valdemar Graciano Neto (UFG)

** Program Committee **
Antonia Bertolino (ISTI-CNR, Italy)
Breno Miranda (UFPE)
Brian M. Tomaszewski (University of Rochester, NY)
Bruna Diirr (UNIRIO)
Camilo Restrepo-Estrada (Universidad de Antioquia/Colombia)
Carlos Alberto Kamienski (UFABC)
Danilo Ardagna (Politecnico di Milano, Italy)
Davi Viana (UFMA)
Diego Pérez-Palacin (LNU, Sweden)
Everton Cavalcante (UFRN)
Felicita Di Giandomenico (ISTI-CNR, Italy)
Flávio Horita (UFABC)
Guglielmo De Angelis (CNR, Italy)
Lina Garcés (ICMC-USP)
Luca Ferrucci (ISTI-CNR, Italy)
Luciano Baresi (Politecnico di Milano, Italy)
Marcello Bersani (Politecnico di Milano, Italy)
Márcio Eduardo Delamaro (ICMC-USP)
Marcos Borges (UFRJ)
Paulo Pires (UFRJ)
Renato Novais (IFBA)
Rodrigo Santos (UNIRIO)
Rogério Ishibashi (Cemaden/MCTIC)
Silvana Morita (UFGD)
Simone Senger (ICMC-USP)
Sofia Larissa da Costa (UFSJ)
Valdemar Graciano Neto (UFG)
Vânia de Oliveira Neves (UFF)
Zeno Franco (Marquette University, USA)

Related Resources

MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
AMS 2022   Advanced Medical Sciences: An International Journal
SBMF 2022   25th Brazilian Symposium on Formal Methods
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
VLSI-SOC 2022   30th IFIP/IEEE International Conference on Very Large Scale Integration
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
LSDVE 2022   LSDVE'22: 9th International Workshop on Large Scale Distributed Virtual Environments
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
SeWeBMeDA 2022   SeWeBMeDA 2022 : 5th International workshop on Semantic Web solutions for large-scale biomedical data analytics
SEMIT 2022   3rd International Conference on Software Engineering and Managing Information Technology