Formalization of coding conventions for safety-critical systems

• Grant number: 19/06799-7
• Support Opportunities: Scholarships abroad - Research Internship - Master's degree
• Start date: October 01, 2019
• End date: January 31, 2020
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Leonardo Montecchi
• Grantee: Elder de Oliveira Rodrigues Júnior
• Supervisor: Andrea Ceccarelli
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Institution abroad: Università degli Studi di Firenze, Italy
• Associated to the scholarship: 18/11129-8 - A metamodel to support the formalization of coding conventions, BP.MS

Abstract

Coding conventions impose restrictions on source code, and can be established for many reasons, ranging from improving the readability of code to avoiding the introduction of security and safety flaws. Like many other artifacts in a software development process, coding conventions mostly come in the form of textual documents written in natural language, possibly with code examples. It has been argued that in their current form they offer limited benefit, due to the difficulty of actually being managed and enforced. The objective of the associated FAPESP Master Project is to propose an approach for the formalization of coding conventions using model-driven engineering techniques. A first version of the methodology has been defined and evaluated, and submitted to an international conference [1]. The objective of this BEPE project is to apply the proposed methodology in the safety-critical systems domains, and improve it based on the obtained results. To achieve this objective, we will work in collaboration with the RCL group of the University of Florence, Italy, which is specialized in the design and evaluation of safety-critical systems, and which has strong industrial connections in the field. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

RODRIGUES JR, ELDER; MONTECCHI, LEONARDO; CECCARELLI, ANDREA; VIEIRA, M; MADEIRA, H; ANTUNES, N; ZHENG, Z. Model-Driven Fault Injection in Java Source Code. 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), v. N/A, p. 12-pg., 2020-01-01. (18/11129-8, 19/06799-7)

RODRIGUES JR, ELDER; PEREIRA, JOSE D'ABRUZZO; MONTECCHI, LEONARDO. A Model-Driven Approach for the Management and Enforcement of Coding Conventions. IEEE ACCESS, v. 11, p. 20-pg., 2023-01-01. (19/06799-7, 18/11129-8)