[Docs] Minor fixes to paper

Signed-off-by: Federico Reghenzani <federico.reghenzani@polimi.it>

Author: federeghe

docs/paper/paper.bib

@@ -1,91 +1,116 @@
 @inproceedings{berg2004requirements,
-  title={Requirements for and design of a processor with predictable timing},
-  author={Berg, Christoph and Engblom, Jakob and Wilhelm, Reinhard},
-  booktitle={Dagstuhl Seminar Proceedings},
-  year={2004},
-  organization={Schloss Dagstuhl-Leibniz-Zentrum f{\"u}r Informatik}
+	author =	{Christoph Berg and Jakob Engblom and Reinhard Wilhelm},
+	title =	{Requirements for and Design of a Processor with Predictable Timing},
+	booktitle =	{Perspectives Workshop: Design of Systems with Predictable Behaviour},
+	year =	{2004},
+	editor =	{Lothar Thiele and Reinhard Wilhelm},
+	number =	{03471},
+	series =	{Dagstuhl Seminar Proceedings},
+	ISSN =	{1862-4405},
+	publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
+	address =	{Dagstuhl, Germany},
+	URL =		{http://drops.dagstuhl.de/opus/volltexte/2004/5}
 }
 
 @article{cullmann2010predictability,
-  title={Predictability considerations in the design of multi-core embedded systems},
-  author={Cullmann, Christoph and Ferdinand, Christian and Gebhard, Gernot and Grund, Daniel and Maiza, Claire and Reineke, Jan and Triquet, Beno{\^\i}t and Wilhelm, Reinhard},
-  journal={Proceedings of Embedded Real Time Software and Systems},
-  pages={36--42},
-  year={2010},
-  publisher={Citeseer}
+	title={Predictability considerations in the design of multi-core embedded systems},
+	author={Cullmann, Christoph and Ferdinand, Christian and Gebhard, Gernot and Grund, Daniel and Maiza, Claire and Reineke, Jan and Triquet, Beno{\^\i}t and Wilhelm, Reinhard},
+	journal={Proceedings of Embedded Real Time Software and Systems},
+	pages={36--42},
+	year={2010}
 }
 
 @inproceedings{reghenzani2017mixed,
-  title={Mixed time-criticality process interferences characterization on a multicore Linux system},
-  author={Reghenzani, Federico and Massari, Giuseppe and Fornaciari, William},
-  booktitle={Digital System Design (DSD), 2017 Euromicro Conference on},
-  pages={427--434},
-  year={2017},
-  organization={IEEE}
+	author={F. Reghenzani and G. Massari and W. Fornaciari}, 
+	booktitle={2017 Euromicro Conference on Digital System Design (DSD)}, 
+	title={Mixed Time-Criticality Process Interferences Characterization on a Multicore Linux System}, 
+	year={2017},
+	pages={427-434},
+	doi={10.1109/DSD.2017.18},
+	month={Aug}
 }
 
 @inproceedings{dasari2013identifying,
-  title={Identifying the sources of unpredictability in COTS-based multicore systems},
-  author={Dasari, Dakshina and Akesson, Benny and Nelis, Vincent and Awan, Muhammad Ali and Petters, Stefan M},
-  booktitle={Industrial Embedded Systems (SIES), 2013 8th IEEE International Symposium on},
-  pages={39--48},
-  year={2013},
-  organization={IEEE}
+	author={D. Dasari and B. Akesson and V. Nélis and M. A. Awan and S. M. Petters}, 
+	booktitle={2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)}, 
+	title={Identifying the sources of unpredictability in COTS-based multicore systems}, 
+	year={2013}, 
+	pages={39-48}, 
+	doi={10.1109/SIES.2013.6601469}, 
+	ISSN={2150-3109}, 
+	month={June}
 }
 
 @inproceedings{bernat2002wcet,
-  title={WCET analysis of probabilistic hard real-time systems},
-  author={Bernat, Guillem and Colin, Antoine and Petters, Stefan M},
-  booktitle={Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE},
-  pages={279--288},
-  year={2002},
-  organization={IEEE}
+	author={G. Bernat and A. Colin and S. M. Petters}, 
+	booktitle={23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002.}, 
+	title={WCET analysis of probabilistic hard real-time systems}, 
+	year={2002}, 
+	volume={}, 
+	number={}, 
+	pages={279-288}, 
+	doi={10.1109/REAL.2002.1181582}, 
+	ISSN={1052-8725}
 }
 
-@INPROCEEDINGS{5591317,
-     author = {Lu, Y. and Nolte, T. and Kraft, J. and Norstrom, C.},
-   keywords = {Analytical models, complex embedded real time system, control engineering computing, Data models, embedded systems, Estimation, extreme value theory, industrial robotic control system, industrial robots, Monte Carlo methods, Monte Carlo simulation, probabilistic WCRT estimate, probability, RapidRT, real time systems, safety-critical software, statistical analysis, statistical approach, Time factors, Upper bound, worst case response time analysis},
-      month = {Aug},
-      title = {A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems},
-  booktitle = {2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications},
-       year = {2010},
-      pages = {153-160},
-       issn = {2325-1271},
-        doi = {10.1109/rtcsa.2010.13}
+@inproceedings{5591317,
+	author = {Lu, Y. and Nolte, T. and Kraft, J. and Norstrom, C.},
+	keywords = {Analytical models, complex embedded real time system, control engineering computing, Data models, embedded systems, Estimation, extreme value theory, industrial robotic control system, industrial robots, Monte Carlo methods, Monte Carlo simulation, probabilistic WCRT estimate, probability, RapidRT, real time systems, safety-critical software, statistical analysis, statistical approach, Time factors, Upper bound, worst case response time analysis},
+	month = {Aug},
+	title = {A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems},
+	booktitle = {2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications},
+	year = {2010},
+	pages = {153-160},
+	issn = {2325-1271},
+	doi = {10.1109/rtcsa.2010.13}
 }
 
-@INPROCEEDINGS{Lesage2015,
-     author = {Lesage, Benjamin and Griffin, David and Soboczenski, Frank and Bate, Iain and Davis, Robert I.},
-      title = {A Framework for the Evaluation of Measurement-based Timing Analyses},
-  booktitle = {Proceedings of the 23rd International Conference on Real Time and Networks Systems},
-     series = {RTNS '15},
-       year = {2015},
-      pages = {35--44},
-  publisher = {ACM},
-   location = {Lille, France},
-    address = {New York, NY, USA},
-       isbn = {978-1-4503-3591-1},
-        doi = {10.1145/2834848.2834858}
+@inproceedings{Lesage2015,
+	author = {Lesage, Benjamin and Griffin, David and Soboczenski, Frank and Bate, Iain and Davis, Robert I.},
+	title = {A Framework for the Evaluation of Measurement-based Timing Analyses},
+	booktitle = {Proceedings of the 23rd International Conference on Real Time and Networks Systems},
+	series = {RTNS '15},
+	year = {2015},
+	pages = {35--44},
+	publisher = {ACM},
+	location = {Lille, France},
+	address = {New York, NY, USA},
+	isbn = {978-1-4503-3591-1},
+	doi = {10.1145/2834848.2834858}
 }
 
 @article{massey1951kolmogorov,
-  title={The Kolmogorov-Smirnov test for goodness of fit},
-  author={Massey Jr, Frank J},
-  journal={Journal of the American statistical Association},
-  volume={46},
-  number={253},
-  pages={68--78},
-  year={1951},
-  publisher={Taylor \& Francis Group}
+	ISSN = {01621459},
+	URL = {http://www.jstor.org/stable/2280095},
+	author = {Frank J. Massey},
+	journal = {Journal of the American Statistical Association},
+	number = {253},
+	pages = {68--78},
+	publisher = {[American Statistical Association, Taylor & Francis, Ltd.]},
+	title = {The Kolmogorov-Smirnov Test for Goodness of Fit},
+	volume = {46},
+	year = {1951}
 }
 
 @article{sinclair1990modified,
-  title={Modified anderson darling test},
-  author={Sinclair, CD and Spurr, BD and Ahmad, MI},
-  journal={Communications in Statistics-Theory and Methods},
-  volume={19},
-  number={10},
-  pages={3677--3686},
-  year={1990},
-  publisher={Taylor \& Francis}
+	author = {C.D.Sinclair and B.D.Spurr and M.I.Ahmad},
+	title = {Modified anderson darling test},
+	journal = {Communications in Statistics - Theory and Methods},
+	volume = {19},
+	number = {10},
+	pages = {3677-3686},
+	year  = {1990},
+	publisher = {Taylor & Francis},
+	doi = {10.1080/03610929008830405}
 }
+
+@inproceedings{santinelli2017revising,
+	author={L. Santinelli and F. Guet and J. Morio}, 
+	booktitle={2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, 
+	title={Revising Measurement-Based Probabilistic Timing Analysis}, 
+	year={2017}, 
+	pages={199-208}, 
+	doi={10.1109/RTAS.2017.16}, 
+	month={April}
+}
+

docs/paper/paper.md

@@ -1,9 +1,10 @@
 ---
-title: 'chronovise: Measurement-Based Probabilistic Timing Analysis'
+title: 'chronovise: Measurement-Based Probabilistic Timing Analysis framework'
 tags:
 - probabilistic real-time
 - mbpta
-- wcet
+- worst-case execution time
+- extreme value theory
 authors:
 - name: Federico Reghenzani
   orcid: 0000-0002-1888-9579
@@ -18,7 +19,7 @@ authors:
 affiliations:
 - name: Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano
   index: 1
-date: 11 April 2018
+date: 13 April 2018
 bibliography: paper.bib
 ---
 
@@ -48,6 +49,9 @@ measured across its input domain and the WCET is provided as a so-called
 probabilistic-WCET (pWCET), i.e. a WCET with a probability of observing higher
 execution times.  The statistical **Extreme Value Theory (EVT)**, typically
 used in natural disaster risk evaluation, is the basis for pWCET estimation.
+However, to obtain a safe pWCET estimation, the execution time traces must
+fulfill the requirements of EVT that can be checked running appropriate testing
+procedures [@santinelli2017revising].
 
 The *chronovise* framework is an open-source software aiming at standardizing
 the flow of MBPTA process, integrating both estimation and testing phases. The