Les modèles de fiabilité du logiciel : application aux essais de validation d'un système informatique critique

Description

Cette étude s'inscrit dans le cadre d'un contrat établi entre le laboratoire Circuits et Systèmes et la SNCF. Ce contrat a pour objectif la conception et la validation d'un système de sécurité fer-rivière à base de microprocesseurs

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00315983
2. http://tel.archives-ouvertes.fr/docs/00/31/59/83/PDF/Kouka.Edmond-Felix_1985_these.pdf

Tags

Fiabilité logiciel

Modélisation

Test

Système informatique

Mise au point programme

Décision statistique

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00315983
Date	20 May 1985
Creators	Kouka, Edmond Félix
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis