Verification and Validation techniques used by EAST partners
Identifieur interne : 003A79 ( Crin/Curation ); précédent : 003A78; suivant : 003A80Verification and Validation techniques used by EAST partners
Auteurs : Alice Halter ; Gerardo Satriano ; Françoise Simonot-Lion ; Jens Hermann ; Mikael NolinSource :
English descriptors
- KwdEn :
Abstract
In this document, we analyze the different techniques that can be applied in order to validate an electronic embedded system. These techniques are classified in Model Checking, Static Analysis, Simulation, Test, Timing Analysis. Furthermore, we identify the objects and their attributes that have to be described by the language EAST-ADL.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :003A79
Links to Exploration step
CRIN:halter03aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="208">Verification and Validation techniques used by EAST partners</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:halter03a</idno>
<date when="2003" year="2003">2003</date>
<idno type="wicri:Area/Crin/Corpus">003A79</idno>
<idno type="wicri:Area/Crin/Curation">003A79</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003A79</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Verification and Validation techniques used by EAST partners</title>
<author><name sortKey="Halter, Alice" sort="Halter, Alice" uniqKey="Halter A" first="Alice" last="Halter">Alice Halter</name>
</author>
<author><name sortKey="Satriano, Gerardo" sort="Satriano, Gerardo" uniqKey="Satriano G" first="Gerardo" last="Satriano">Gerardo Satriano</name>
</author>
<author><name sortKey="Simonot Lion, Francoise" sort="Simonot Lion, Francoise" uniqKey="Simonot Lion F" first="Françoise" last="Simonot-Lion">Françoise Simonot-Lion</name>
</author>
<author><name sortKey="Hermann, Jens" sort="Hermann, Jens" uniqKey="Hermann J" first="Jens" last="Hermann">Jens Hermann</name>
</author>
<author><name sortKey="Nolin, Mikael" sort="Nolin, Mikael" uniqKey="Nolin M" first="Mikael" last="Nolin">Mikael Nolin</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>model checking</term>
<term>simulation</term>
<term>test</term>
<term>validation</term>
<term>verification</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="803">In this document, we analyze the different techniques that can be applied in order to validate an electronic embedded system. These techniques are classified in Model Checking, Static Analysis, Simulation, Test, Timing Analysis. Furthermore, we identify the objects and their attributes that have to be described by the language EAST-ADL.</div>
</front>
</TEI>
<BibTex type="techreport"><ref>halter03a</ref>
<crinnumber>A03-R-339</crinnumber>
<category>13</category>
<author><e>Halter, Alice</e>
<e>Satriano, Gerardo</e>
<e>Simonot-Lion, Françoise</e>
<e>Hermann, Jens</e>
<e>Nolin, Mikael</e>
</author>
<title>Verification and Validation techniques used by EAST partners</title>
<institution>ITEA</institution>
<year>2003</year>
<type>Rapport Intermédiaire</type>
<month>Jun</month>
<keywords><e>validation</e>
<e>verification</e>
<e>model checking</e>
<e>simulation</e>
<e>test</e>
</keywords>
<abstract>In this document, we analyze the different techniques that can be applied in order to validate an electronic embedded system. These techniques are classified in Model Checking, Static Analysis, Simulation, Test, Timing Analysis. Furthermore, we identify the objects and their attributes that have to be described by the language EAST-ADL.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003A79 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 003A79 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Curation |type= RBID |clé= CRIN:halter03a |texte= Verification and Validation techniques used by EAST partners }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |