SERVANTEC-SURLOG, laboratoire d'essais indépendant, a pour vocation
l'évaluation de la Qualité et de la Sûreté des Système Logiciels. Aussi
SERVANTEC-SURLOG propose-t-elle aux organisme en charge de certifier les
équipements et aux constructeurs un ensemble de compétences, de méthodes
et d'outils pour l'analyse, l'évaluation et le contrôle de la sûreté des
logiciels.

D'autre part, un effort constant de R&D nous permet d'explorer le
domaine de la Sûreté de Fonctionnement du Logiciel en amont des besoins
exprimés par notre clientèle et ainsi de développer les méthodes et les
outils d'aide à l'évaluation de la Sûreté de Fonctionnement. 
Aujourd'hui, nous développons en OCaml les outils supportant nos
méthodes d'évaluation.

Afin d'augmenter la puissance de traitement de ces outils, nous sommes à
la recherche de librairies Ocaml sur les sujets suivants  :
   - gestion générique de DAG (Direct Acyclic Graph)
   - interface ODBC afin de pouvoir manipuler une base de données
(INGRES ou autres) directement à partir d'un programme Ocaml
   - extension de la librairie Tcl/Tk existante permettant d'utiliser la
widget TkEmacs, ainsi que la widget TkTree
   - outil générant le graphe d'appel d'un ensemble de fichier source
OCaml.

Nous mettons à disposition une interface OCaml/SCCS permettant
d'effectuer de la gestion de configuration de code source directement en
Ocaml basé sur le gestionnaire SCCS de SUN System.

Merci de nous contacter par mail.

Cordialement

	Philippe Ayrault

-- 
Servantec-Surlog
Velizy Plus, Bat. E
1 bis, Rue du Petit Clamart
78140 VELIZY-VILLACOUBLAY
Tel: 01-40-83-00-00  Fax: 01-40-83-18-17