Matches in SemOpenAlex for { <https://semopenalex.org/work/W417083076> ?p ?o ?g. }
Showing items 1 to 24 of
24
with 100 items per page.
- W417083076 abstract "Cette these traite de la verification en ligne, par des moyens materiels, du flot de controle d'un systeme a base de microprocesseur. Une technique de compaction est utilisee pour faciliter cette verification (analyse de signature). La plupart des methodes proposees jusqu'ici imposent une modification du programme d'application, afin d'introduire dans celui-ci des proprietes invariantes (la signature en chaque point de l'organigramme est independante des chemins prealablement parcourus). Les methodes proposees ici, au contraire, ont comme caracteristique principale de ne pas modifier le programme verifie et utilisent un dispositif de type processeur, disposant d'une memoire locale, pour assurer l'invariance de la signature. Deux methodes sont ainsi decrites. La premiere est facilement adaptable a differents microprocesseurs et presente une efficacite qui la place parmi les meilleures methodes proposees jusqu'ici. La seconde methode a ete derivee de la premiere dans le but de diminuer la quantite d'informations necessaire au test. Cette derniere methode a ete implantee sur un prototype d'unite centrale d'automate programmable (avec la societe telemecanique) et son efficacite a ete evaluee par des experiences d'injection de fautes. Le cout d'implantation particulierement faible dans le cas du prototype realise peut permettre d'envisager une evolution de celui-ci vers un produit industriel" @default.
- W417083076 created "2016-06-24" @default.
- W417083076 creator A5002032260 @default.
- W417083076 date "1993-03-05" @default.
- W417083076 modified "2023-09-23" @default.
- W417083076 title "Test en ligne des systèmes à base de microprocesseur" @default.
- W417083076 hasPublicationYear "1993" @default.
- W417083076 type Work @default.
- W417083076 sameAs 417083076 @default.
- W417083076 citedByCount "1" @default.
- W417083076 countsByYear W4170830762013 @default.
- W417083076 crossrefType "dissertation" @default.
- W417083076 hasAuthorship W417083076A5002032260 @default.
- W417083076 hasConcept C121332964 @default.
- W417083076 hasConcept C138885662 @default.
- W417083076 hasConcept C15708023 @default.
- W417083076 hasConceptScore W417083076C121332964 @default.
- W417083076 hasConceptScore W417083076C138885662 @default.
- W417083076 hasConceptScore W417083076C15708023 @default.
- W417083076 hasOpenAccess W417083076 @default.
- W417083076 isParatext "false" @default.
- W417083076 isRetracted "false" @default.
- W417083076 magId "417083076" @default.
- W417083076 workType "dissertation" @default.