# source:Deliverables/D6.2/supplement.tex@2002

Last change on this file since 2002 was 2002, checked in by Ian Stark, 9 years ago

Supplement to D6.2

• Property svn:eol-style set to native
• Property svn:mime-type set to text/x-latex
File size: 6.8 KB
Line
1% CerCo: Certified Complexity
2%
3% Supplement to Deliverable 6.2
4%
5% Plan for Dissemination and Use
6%
7% At the end of year 1, this deliverable was rejected by the reviewers and
8% they asked for an addendum, which I wrote shortly after the review.  At the
9% end of year 1, that was itself rejected by the reviewers.  They said:
10%
11% "The reviewers request the resubmission of the addenda to deliverables D2.1
12% and D6.2 within one month from the receipt of this report.
13%
14% ...
15%
16% Deliverable D6.2 does not contain a specific and clear dissemination
17% strategy or plan till the end of the project.  The reviewers request the
18% resubmission of D6.2 detailing an event targeting at the promoting the
19% results of the CerCo project.  It should be planned at least as a half-day
20% event solely presenting the CerCo project.  In order to attract an audience
21% from academia as well as from industry the event should try to focus on case
22% studies for the dependent labelling approach in more modern processor
23% architectures, e.g., as applied in the embedded domain."
24%
25% I'm writing this supplement to D6.2 as our response to this.  At the May
26% 2012 meeting in Bologna we discussed:
27%
28%  - Plans for the CerCo workshop at ETAPS 2013
29%  - Subject areas for papers to be written and submitted
30%
31% Strictly, the reviewers request only mentions the event.  However, if we can
32% make a good job of the paper list, then that would be an advance on the
33% addendum as of last year — and resubmitting the addendum is what was
34% requested.
35%
36% Ian Stark
37% 2012-05-24
38
39\documentclass[11pt,a4paper]{article}
40\usepackage{../style/cerco}
41
42\hypersetup{bookmarksopenlevel=2}
43
44\title{
45INFORMATION AND COMMUNICATION TECHNOLOGIES\\
46(ICT)\\
47PROGRAMME\\
48\vspace*{1cm}Project FP7-ICT-2009-C-243881 {\cerco}}
49
50\date{}
51\author{}
52
53\begin{document}
54\thispagestyle{empty}
55
56\vspace*{-1cm}
57\begin{center}
58\includegraphics[width=0.6\textwidth]{../style/cerco_logo.png}
59\end{center}
60
61\begin{minipage}{\textwidth}
62\maketitle
63\end{minipage}
64
65\vspace*{0.5cm}
66\begin{center}
67\begin{LARGE}
68\bfseries
69Supplement to Deliverable 6.2\\[\jot]
70CerCo Workshop and Dissemination Plans
71\end{LARGE}
72\end{center}
73
74\vspace*{2cm}
75\begin{center}
76\begin{large}
77Version 1.0
78\end{large}
79\end{center}
80
81\vspace*{0.5cm}
82\begin{center}
83\begin{large}
84Main Authors:\\
85I. Stark
86\end{large}
87\end{center}
88
89\vspace*{\fill}
90\noindent
91Project Acronym: {\cerco}\\
92Project full title: Certified Complexity\\
93Proposal/Contract no.: FP7-ICT-2009-C-243881 {\cerco}
94
96
97\section{Summary}
98
99In March~2012 the second-year review panel for the {\cerco} project requested
100details of specific plans to promote the final results of the project.  This
101document is a response to that, with the following two contributions.
102\begin{itemize}
103\item Plans for the {\cerco} workshop at the ETAPS~2013 conference in
104  Rome (Deliverables 6.4 and~6.5).
105\item A list of proposed publications reporting {\cerco} results.
106\end{itemize}
107This report supplements the \emph{Plan for the Use and Dissemination of
108  Foreground}, Deliverable~6.2, from August 2010 and addendum \emph{Future
109  Dissemination Plans} of April 2011.
110
111\section{CerCo Workshop}
112
113The organisers of ETAPS~2013 have accepted a {\cerco} workshop proposal.  The
114ETAPS conferences run for a week during March 2013, in Rome, with workshops
115and tutorials in the adjacent weekends.  {\cerco} will have a full one-day
116workshop as part of this programme.
117
118This {\cerco} workshop has two objectives:
119\begin{itemize}
120\item To publicise the results of {\cerco} to members of the relevant
121  industrial and academic research communities.
122\item To stimulate discussion between the industrial and academic participants
123  about future work building on the current state of the art.
124\end{itemize}
125To support these objectives, we propose to send invitations to a dozen
126industrial and academic research groups working in the field.  While the
127workshop will be open to anyone at ETAPS who wishes to register, we consider
128an invitational workshop to be the most direct way to bring together {\cerco}
129researchers with potential users of the project results.  A list of invitees
130appears below.
131
132The workshop, with these objectives, is designed to meet the requirements of
133Deliverables 6.4 and~6.5 as set out in the original {\cerco} proposal (Annex~I
134Description of Work'', Workplan Table 3, Work package~6).  In particular,
135that proposal envisioned overlapping the presentation of {\cerco} results to
136invited industrial and scientific audiences at an event co-located with an
137international conference.
138
139We plan the following draft structure for the workshop:
140\begin{itemize}
141\item Morning: Short talks by {\cerco} partners presenting the project and its
142  results.
143  \begin{itemize}
144  \item Project overview: a trustworthy framework for cost analysis of
145    embedded code.
146  \item Demonstration of Frama-C plugin: high-level static reasoning about
147    global runtime complexity.
148  \item Demonstration of Lustre plugin: automatic analysis of component
149    reaction time.
150  \item The {\cerco} compiler: what makes a certified compiler trustworthy.
151  \item The labelling approach to cost analysis: a modular way to prove
152    correctness.
153  \item Structured traces: tracking high-level structure in low-level
154    execution.
155  \item Dependent labels: managing refined cost information for richer
156    architectures.
157  \item Future directions: the latest very-low-power embedded processors;
158    other runtime costs; further languages.
159  \end{itemize}
160\item Afternoon: Presentations by some of the invited participants on the
161  state of the art in static analysis of execution costs for embedded systems.
162\item Conclusion: Round-table discussion on potential applications and future
163  challenges.
164\end{itemize}
165This structure addresses both of the listed objectives, with the morning
166dedicated to dissemination of {\cerco} results and the afternoon to promoting
167interaction between academic and industrial researchers working in the field.
168
169We have identified the following relevant groups to invite to the {\cerco}
170workshop.
171
172\hrule
173
174\begin{itemize}
175\item AbsInt
176\item Frama-C
177\item Rapita Systems
178\item Falk (WCET-aware compilation)
179\item PASTA EnCore / ARC / Arm
180\item St Andrews EmBounded Hume Hammond
181\item Fox / Myreen / Gordon - Cambridge ARM model - Sewell / x86-TSO CompCert TSO
182\item Artemis
183\item ADSIG - ArtistDesign Special Interest Group on Embedded Systems Design
184\item Köpf - IMDEA - quantitative analysis for timing attacks on security
185\end{itemize}
186
187
188\section{Publication Planning}
189
191
192Labelling
193
194Dependent labelling
195
196The CerCo Frama-C plugin
197
198Automated analysis by CerCo of component reaction time in Lustre
199
200Certifying compilation to object code (or is it certifying the costs?)
201
202Branch displacement and proving correctness of branch selection
203
204Structured traces
205
206The CerCo formalisation
207
208A survey of CerCo results
209
210\end{document}
Note: See TracBrowser for help on using the repository browser.