Our projects
lack funding and are being developed thanks to the collaboration of undergraduate
students, and graduates students. We are convinced that many of these
projects would have commercial viability if they could be developed with
more resources.
Companies,
universities or any kind of institutions willing to fund any of our projects
are welcome.
Please, contact us!! gidis-info@fceia.unr.edu.ar
Project |
State |
Description |
GIDIS
Trusted Linux |
Seeking
for funding |
It
is Lisex's successor. It incorporates a MLS model clearly different
and superior than Lisex's. It will be developed with Linux and Coq.
Keywords:
MLS, multi-level security, Linux, Coq, formal methods
|
Lisex |
Finished |
MLS
operating system based on Linux. Coq, formal verification of the model,
specification-based testing, are among the techniques used for this
project. A GPL licensed prototype is for public release.
Keywords
: MLS, multi-level security, Linux, Coq, formal methods
|
ModelTest |
Under
development |
Semi-automatic
tool to be used for formal specification-based testing. A system specification
is written in a Z-like formal language, then it is translated to Coq,
and finally some algorithms are executed to extract many model-level
test cases. A second module maps these test cases to the implementation
level, and a test driver executes the program getting its outputs.
Then, inputs and outputs are compared using the specification as an
oracle.
Keywords
: testing, specification-based testing, Z, Coq, functional
testing, formal specification
|
White-Box
Test Assistant |
Under
development |
A
tool to assist the testing activity. It implements data-flow testing
criteria. Programs to be tested may contain arrays. Although it
currently only works with Cobol, it is designed to support any imperative
programming language. A GUI has been developed to help the engineering
in selecting inputs in order to verify standardized white-box testing
criteria.
Keywords:
testing, structural testing, data-flow, COBOL
|
|
Some
of our members are participating or
have participated in R+D projects or consulting activities at
the institutions listed below. All the activities involved either
Formal Methods or Computer Security. |
- Stevens Institute of Technology (USA)
- Universidade Nova de Lisboa (Portugal)
- ATX Software (Portugal)
- Oblog (Portugal)
- Uruguay Presidency
- IPcom S.A. (Uruguay)
- Pragma Consultores (Argentina)
- Neoris Argentina (ex Amtec)
|
|
©
2003 por Grupo Gidis. Todos los derechos reservados.
Sitio diseñado por: Lorena
Cantarini
|
|
|