|
Dr.
Alfredo Cruz
Research
Grants
Research
Genetic
Algorithms
An
evolutionary algorithm (EA) approach is proposed
in the development of a test vector generation
application for single and multiple fault
detection of shrinkage faults in Programmable
Logic Arrays (PLA). The main trust of this
research is in the area of genetic algorithms
based solution to the problem of generating
vectors for testing programmable logic arrays.
The computational complexity of existing methods
grows exponentially with the size of the
problem. Our proposed algorithm overcomes this
problem to generate good solutions efficiently.
Three basic steps are performed during the
generation of the test vectors: crossover,
mutation and selection. A new mutation operator
is introduced that helps increase the Hamming
distance among the candidate solutions. Once
crossover and mutation have occurred, the new
candidate test vectors with higher fitness
function scores replace the old ones. With this
scheme, population members steadily improve
their fitness level with each new generation.
The resulting process yields improved solutions
to the problem of the PLA test vector generation
for shrinkage faults. PLA testing and fault
simulation computational time is prohibitive in
uniprocessor machines, however PLAGA is well
suited for powerful parallel processing MIMD
machines with vectorization capability. While
the preliminary results are encouraging, further
testing with larger size PLA is necessary to
validate these results. Genetic algorithms are
inherently parallel algorithms and may be easily
scaleable to multiple processor systems with
shared memory. The algorithm proposed for this
work is well suited for parallel processing. PLA
fault simulation in parallel using GA should
help to overcome the well-known bottleneck of
serial simulation.
Software
Testing
The
software testing process is one that consumes at
least half of the labor expended to produce
working program. Also the cost of testing in
life critical software can cost three to five
times as much as all other activities combined.
For that reason the development of techniques to
test a program in order to reduce the time and
cost becomes necessary. The main trusts of this
research are in the areas of software
engineering, especially in the area of
electronic commerce as well as security in the
field of formal verification with model
checkers. The problem of formal verification
methods as model checking is the state
explosion, which restrict the feasibility of
formal verification for small systems. The
proposed work will explored the possibilities of
formal verification (i.e., to decomposed the
system in different modules, verify local
properties for the whole system in basis of
local properties). The specific objectives are:
• To develop a methodology that integrates
testing and formal verification of software •
To study the feasibility of new testing
techniques and security improvement techniques
applied to electronic commerce.
Related
Publications
Grants
|
Dr.
Alfredo Cruz
wins award
for a second DoD infrastructure grant
|
|
|
Prof. Cruz will
receive close to $200, 000.00
in funds from the DoD for the following
project:
Window
to the Caribbean: Focus in Complex
Multi-dimensional Distributed Scenarios
|
|
| Previous
awards for Dr. Cruz have included DoD
funds for the development of a High
Performance Computing Facility. |
High
Performance Computing (link)
(DoD
Grant, Awarded: 05/2004, P.I.: Dr. Alfredo Cruz)
The
Polytechnic University of Puerto Rico won
$199,644.20 from the Department of Defense (DoD)
for the acquisition of computer hardware, software
and workstations for the development of a high
performance computing center utilizing Beowulf PC
Clusters to be utilized for: (1)
multi-disciplinary research and research training
in chemical engineering, computer science and
computer engineering (2) development of joint
research projects and software development between
university-industry partnerships. This will enable
the institution to assist in the scientific,
technological, and economic transformation of
Puerto Rico and in meeting national unmet needs in
scientific
Master
Programs
(PRIDCO
Grant, Start Date: 05/2004, P.I.: Dr. Alfredo
Cruz)
The
Polytechnic University of Puerto Rico obtained
$329,327 of PRRCA CITI funds to continue its
efforts to increase the number of women and
minorities prepared for graduate studies or
careers in Computer Science and Computer
Engineering. Thereby, it seeks to assist in the
scientific, technological, and economic
transformation of Puerto Rico and in meeting
national unmet needs in scientific areas. The
funds will be used to 1) assist PUPR in
establishing two graduate programs at the master
level: Computer Engineering (Cp Eng) and Computer
Science (CS); 2) assist PUPR in sustaining and
enhancing current faculty member’s research
projects; 3) assist in attracting four
research-oriented faculties for the graduate
programs; 4) development of joint research
projects and software development between
university and industry partnerships; and 5)
acquisition of 25 workstations to support the two
new graduate programs for student use.
|
