CoSys/cosys2011.toc at master · jmbruel/CoSys · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
\select@language {french}
\contentsline {section}{\numberline {1}\textsc {\leavevmode {\color {purple}R\'esum\'e de la proposition }}}{2}{section.1}
\contentsline {section}{\numberline {2}\textsc {\leavevmode {\color {purple}Contexte, positionnement et objectifs de la proposition }}}{3}{section.2}
\contentsline {subsection}{\numberline {2.1}\leavevmode {\color {navy}\textsc {Contexte et enjeux \'economiques et soci\'etaux }}}{3}{subsection.2.1}
\contentsline {subsection}{\numberline {2.2}\leavevmode {\color {navy}\textsc {Positionnement du projet }}}{3}{subsection.2.2}
\contentsline {subsubsection}{\numberline {2.2.1}Les contributions du projet (\`a discuter)}{4}{subsubsection.2.2.1}
\contentsline {subsubsection}{\numberline {2.2.2}Impact sur les \'etudes}{4}{subsubsection.2.2.2}
\contentsline {subsection}{\numberline {2.3}\leavevmode {\color {navy}\textsc {\'Etat de l'art }}}{4}{subsection.2.3}
\contentsline {subsubsection}{\numberline {2.3.1}Mod\'elisation/outils pour le Mat\'eriel et logiciel et choix SysML}{5}{subsubsection.2.3.1}
\contentsline {subsubsection}{\numberline {2.3.2}V\'erification des mod\`eles SysML}{5}{subsubsection.2.3.2}
\contentsline {subsubsection}{\numberline {2.3.3}Ing\'enierie des exigences et leurs transformations}{5}{subsubsection.2.3.3}
\contentsline {subsubsection}{\numberline {2.3.4}Transformation de mod\`ele vers mod\`ele mat\'eriel}{5}{subsubsection.2.3.4}
\contentsline {subsubsection}{\numberline {2.3.5}Mod\'elisation/outils pour expliquer le choix de VHDL-AMS et/ou Verilog et/ou SystemC et/ou ROSETTA}{5}{subsubsection.2.3.5}
\contentsline {subsubsection}{\numberline {2.3.6}V\'erification de propri\'et\'es mat\'erielles choix PSL et/ou autres}{5}{subsubsection.2.3.6}
\contentsline {subsubsection}{\numberline {2.3.7}G\'en\'eration de Tests}{5}{subsubsection.2.3.7}
\contentsline {subsection}{\numberline {2.4}\leavevmode {\color {navy}\textsc {Objectifs et caract\`ere ambitieux/novateur du projet }}}{5}{subsection.2.4}
\contentsline {section}{\numberline {3}\textsc {\leavevmode {\color {purple}Programme scientifique et technique, organisation du projet }}}{6}{section.3}
\contentsline {subsection}{\numberline {3.1}\leavevmode {\color {navy}\textsc {Programme scientifique et structuration du projet }}}{6}{subsection.3.1}
\contentsline {subsection}{\numberline {3.2}\leavevmode {\color {navy}\textsc {Description des travaux par t\^ache }}}{7}{subsection.3.2}
\contentsline {subsection}{\numberline {3.3}\leavevmode {\color {navy}\textsc {Management du projet }}}{14}{subsection.3.3}
\contentsline {subsection}{\numberline {3.4}\leavevmode {\color {navy}\textsc {Calendrier des t\^aches, livrables et jalons }}}{14}{subsection.3.4}
\contentsline {section}{\numberline {4}\textsc {\leavevmode {\color {purple}Strat\'egie de valorisation, de protection et d'exploitation des r\'esultats }}}{15}{section.4}
\contentsline {section}{\numberline {5}\textsc {\leavevmode {\color {purple}Description du partenariat }}}{15}{section.5}
\contentsline {subsection}{\numberline {5.1}\leavevmode {\color {navy}\textsc {Description, ad\'equation et compl\'ementarit\'e des partenaires }}}{15}{subsection.5.1}
\contentsline {subsubsection}{\numberline {5.1.1}FEMTO-ST}{16}{subsubsection.5.1.1}
\contentsline {subsubsection}{\numberline {5.1.2}LIFC}{16}{subsubsection.5.1.2}
\contentsline {subsubsection}{\numberline {5.1.3}LISI}{16}{subsubsection.5.1.3}
\contentsline {subsubsection}{\numberline {5.1.4}INESS}{16}{subsubsection.5.1.4}
\contentsline {subsubsection}{\numberline {5.1.5}IRIT}{16}{subsubsection.5.1.5}
\contentsline {subsubsection}{\numberline {5.1.6}SMA}{17}{subsubsection.5.1.6}
\contentsline {subsection}{\numberline {5.2}\leavevmode {\color {navy}\textsc {Qualification du coordinateur du projet }}}{17}{subsection.5.2}
\contentsline {subsection}{\numberline {5.3}\leavevmode {\color {navy}\textsc {Qualification, r\^ole et implication des participants }}}{17}{subsection.5.3}
\contentsline {section}{\numberline {6}\textsc {\leavevmode {\color {purple}Justification scientifique des moyens demand\'es }}}{18}{section.6}
\contentsline {subsection}{\numberline {6.1}\leavevmode {\color {navy}\textsc {IRIT }}}{18}{subsection.6.1}
\contentsline {subsection}{\numberline {6.2}\leavevmode {\color {navy}\textsc {... }}}{19}{subsection.6.2}
\contentsline {section}{\numberline {7}\textsc {\leavevmode {\color {purple}Annexes }}}{20}{section.7}
\contentsline {subsection}{\numberline {7.1}\leavevmode {\color {navy}\textsc {R\'ef\'erences bibliographiques }}}{20}{subsection.7.1}
\contentsline {subsection}{\numberline {7.2}\leavevmode {\color {navy}\textsc {Biographies }}}{20}{subsection.7.2}
\contentsline {subsection}{\numberline {7.3}\leavevmode {\color {navy}\textsc {Implication des personnes dans d'autres contrats }}}{20}{subsection.7.3}