Adilson Marques da Cunha
Instituto Tecnológico de Aeronáutica
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Adilson Marques da Cunha.
international conference on information technology: new generations | 2010
Gabriel de Souza Pereira Moreira; Roberto Pepato Mellado; Denis Ávila Montini; Luiz Alberto Vieira Dias; Adilson Marques da Cunha
This paper describes a framework for a software internal quality measurement program with automatic metrics extraction. This framework was successfully implemented in an Industrial Software Factory. That was possible through the implementation of a proposed Continuous Integration CI) environment to periodically analyze source codes and extract metrics. These metrics were consolidated in a Data Warehouse by allowing On-line Analytical Processing (OLAP) and Key Performance Indicator (KPI) analysis with high-performance and user-friendly interface. The measurement program followed GQ(I)M paradigm for metrics selection to ensure that collected metrics are relevant from the Software Factory goals perspective. Finally, the Measurement and Analysis Process Area of the Capability Maturity Model integration - CMMi was used for measurement and analysis planning and implementation.
international conference on information technology: new generations | 2009
Gláucia Braga e Silva; Breno Lisi Romano; Henrique Fernandes de Campos; Ricardo Godoi Vieira; Adilson Marques da Cunha; Luiz Alberto Vieira Dias
This paper tackles a logical database integration process implemented for existing databases from the Brazilian National Water Agency (ANA). It describes an important part of a Brazilian Project between ANA and Brazilian Aeronautics Institute of Technology (ITA). The integration process started with a detailed analysis of four existing databases, followed by logical modeling elaboration and integration. Its major contributions are the description of main processes, documentations, model auditing, and human resources involved. At the end, the best practices used for applying main data modeling and database design techniques together with a successful use of a modeling tools are also presented.
international conference on information technology: new generations | 2015
Emanuel Mineda Carneiro; Luiz Alberto Vieira Dias; Adilson Marques da Cunha; Lineu Fernando Stege Mialaret
Data normalization for use in Artificial Neural Networks often requires extensive statistical analysis. This paper presents an initial investigation of a case study involving credit card fraud detection, where Cluster Analysis was applied to data normalization. Early results obtained from the use of Artificial Neural Networks and Cluster Analysis on fraud detection has shown that neuronal inputs can be reduced by clustering attributes.
international conference on information technology: new generations | 2009
Breno Lisi Romano; Gláucia Braga e Silva; Henrique Fernandes de Campos; Ricardo Godoi Vieira; Adilson Marques da Cunha; Alexandre Carlos Brandão Ramos
This paper tackles the use of software testing techniques for Web-Application non-functional requirements. It also shows load and performance testing application in a case study. At the end, a successful new approach for the navigability testing for Web-Applications is proposed.
ieee/aiaa digital avionics systems conference | 2006
Denis Silva Loubach; João Carlos Silva Nobre; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Marcos Ribeiro do Nascimento; Walter Abrahão dos Santos
This paper reports an academic experience at the Brazilian Aeronautical Institute of Technology using automated software testing tools applied to a critical real time embedded systems. The work uses a problem-based learning
international conference on information technology: new generations | 2014
Juliano de Almeida Monte-Mor; Adilson Marques da Cunha
PBL teaching methodology, a Rational unified process - RUP tailoring, and the IBM-Rational Quality Architect RealTime and the IBM-Rational Test Real Time tools. This academic experience has been originated on the needs and specifications of the Brazilian Aeronautics and Space Institute - IAE and the Brazilian National Institute for Space Research - INPE. The case study is based upon three ongoing realistic software projects, all of them using real time embedded software respectively named unmanned aerial vehicles - UAV, student satellite - SSAT, and ground control station - GCS. This experience has involved 15 senior computer engineering undergrads and 18 graduate students to develop, test, verify, and validate the system, in just 17 academic weeks, and four aggregation levels: computer software units -CSU, computer software components - CSC, computer software configuration items
ieee/aiaa digital avionics systems conference | 2011
Guilherme Correa; Adilson Marques da Cunha; Luiz Alberto Vieira Dias; Osamu Saotome
CSCI in just one computer software system - CSS demanding software engineering state-of-the-art processes, and real time notations and tools. The major contribution of this paper is the proper utilization of available tools to perform automated testing, improving deliverable software quality, reliability and safety, and increasing the expertise of involved professionals, as well as reducing the necessary time to perform unit, integration and system testing
international conference on information technology: new generations | 2009
Claudio Goncalves Bernardo; Denis Ávila Montini; Danilo Douradinho Fernandes; Daniela America da Silva; Luiz Alberto Vieira Dias; Adilson Marques da Cunha
During the software development several interrelated artifacts are created. Despite the common version control of artifacts by existing Software Configuration Management (SCM) tools, current mechanisms do not provide full support for reusing and changing propagation between artifacts. This occurs because they are focused mainly on source-codes and their compilations. Few efforts have been made in order to provide suitable versioning of artifacts in structured or semi-structured formats. This paper proposes a method named GALO, which seeks to provide an automated knowledge configuration management within Software Engineering projects. In order to validate the proposed method, we developed a case study, involving both the creation of composed artifacts and the traceability of changes between artifacts.
Archive | 2018
Romulo Alceu Rodrigues; Lineu Alves Lima Filho; Gildarcio Sousa Goncalves; Lineu Fernando Stege Mialaret; Adilson Marques da Cunha; Luiz Alberto Vieira Dias
The use of automated generated code tools has been increasing in the last years mainly because it helps engineers to faster and better develop documented software in comparison with hand coded development. Nowadays, there are many tools available from different vendors. However, the most used tools for critical environments and real-time applications are the Rational Rose Real Time (RRRT) and the Rational Rhapsody. Recently, National Instruments, the LabVIEW software vendor, has released a toolkit to develop C code from its visual programming language. This represented a breakthrough for LabVIEW developers, allowing verification of what is being properly developed. Mathworks, the Matlab software vendor, has provided a similar toolkit to the LabVIEW. A case study comparing source codes generated by CASE Tools with hand coded was presented at the ITNG 2008 Conference. In this case study, authors have concluded that hand-made source code is less complex than CASE tools source codes. However, the cost/benefit becomes better when using CASE tools. The main purpose of this paper is to provide an insight about automated generated code using Model Based Development (MBD) tools (LabVIEW, Matlab, and Rational Rose Real Time). The case study presents the modeling of a 100 points sine wave application. A comparison between code metrics is performed, in order to verify which tool best fits into your project.
international conference on computational science and its applications | 2014
Adilson Marques da Cunha; Maria Lúcia Blanck Lisbôa
This article describes a methodology named Causal Analysis and Resolution (CAR) based on Goals, Questions, and Metrics (GQM) principles. Indicators are defined based on metrics for a decision-making process. Its main contributions are the construction of an information process system model and a prototype, involving GQM approach, in a quantitative definition and qualitative metrics. The CAR methodology is a Process Area (PA) of the Capability Maturity Model Integrated (CMMi) for software development from Carnegie Mellon University. This PA was used to eliminate systematic error cases listed in a Technical Report (TR) generated by CAR. An information system model was created to allow the elimination of defects, errors, and failures in a design pattern named IO Manager, during the test phase, and before its publication in a components library. The prototype was created using Rational Rose RealTime (RRRT) with focus on verification tests. It provided a quality assessment to the IO Manager design pattern. The use of this methodology was based on GQM and CAR along with the information process system model. The developed prototype aimed to monitor errors on design pattern tests in real-time embedded system of a software production line.