Supporting industrial use of probabilistic timing analysis with explicit argumentation

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2013, Pages 734-740

  Stephenson, Zoë ^a   Abella, Jaume ^b   Vardanega, Tullio ^c  

^a RAPITA SYSTEMS LTD   (United Kingdom)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

^c UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE AND SOFTWARE; INDUSTRIAL PRACTICES; INDUSTRIAL USE; MEASUREMENT-BASED; SOFTWARE PROGRAM; TIMING ANALYSIS; UPPER BOUND; WORST-CASE EXECUTION TIME ANALYSIS;

INDUSTRIAL APPLICATIONS; INFORMATION SCIENCE;

INDUSTRY;

EID: 84889013872     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2013.6622975     Document Type: Conference Paper

References (24)

1. P.Clarke, "Automotive chip content growing fast, says gartner," in http://www.eetimes.com/electronics-news/4207377/Automotive-chipcontent- growing-fast, 2011.
2. R.Charette, "This car runs on code," in IEEE Spectrum online, 2009.
3. Wilhelm R.et al., "The worst-case execution-time problem overview of methods and survey of tools," ACM Transactions on Embedded Computing Systems, vol.7, pp.1-53, May 2008.
4. L.Kosmidis, J.Abella, E.Quinones, and F.Cazorla, "A cache design for probabilistic real-time systems," in DATE, 2013.
5. E.Quinones, E.Berger, G.Bernat, and F.Cazorla, "Using Randomized Caches in Probabilistic Real-Time Systems," in ECRTS, 2009.
6. L.Cucu-Grosjean, L.Santinelli, M.Houston, C.Lo, T.Vardanega, L.Kosmidis, J.Abella, E.Mezzeti, Q.E., and F.Cazorla, "Measurement-based probabilistic timing analysis for multi-path programs," in ECRTS, 2012.
7. F.Cazorla, E.Quinones, T.Vardanega, L.Cucu-Grosjean, B.Triquet, G.Bernat, E.Berger, J.Abella, F.Wartel, M.Houston, L.Santinelli, D.Maxim, L.Kosmidis, and C.Lo, "Proartis: Probabilistically analyzable real-time system," To appear in ACM Transactions on Embedded Computing Systems, 2013.
8. PROARTIS, "Probabilistically analysable real-time systems," feb 2010, http://www.proartis-project.eu/.[Online].Available: http://www.proartis- project.eu
9. RTCA and EUROCAE, DO-178B / ED-12B, Software Considerations in Airborne Systems and Equipment Certification, 1992.
10. International Organization for Standardization, ISO/DIS 26262.Road Vehicles-Functional Safety, 2009.
11. S.Kotz and S.Nadarajah, Extreme value distributions: theory and applications.World Scientific, 2000.
12. W.Feller, An introduction to Probability Theory and Its Applications.John Willer and Sons, 1996.
13. J.Bradley, Distribution-Free Statistical Tests.Prentice-Hall, 1968.
14. J.Hansen, S.Hissam, and G.A.Moreno, "Statistical-based wcet estimation and validation," in WCET Workshop, 2009.
15. M.Garrido and J.Diebolt, "The ET test, a goodness-of-fit test for the distribution tail," in Methodology, Practice and Inference, 2nd international conference on mathematical methods in reliability, 2000.
16. , "Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment," ARP4761, 2001.
17. T.Kelly and R.Weaver, "The goal structuring notation a safety argument notation," in DSN, Workshop on Assurance Cases, 2004.
18. R.Kirner and P.Puschner, "Obstacles in Worst-Case execution time analysis," in ISORC, 2008.
19. J.-F.Deverge and I.Puaut, "Safe measurement-based WCET estimation," in WCET Workshop, 2005.
20. J.Souyris, E.le Pavec, G.Himbert, V.J́egu, G.Borios, and R.Heckmann, "Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation," in WCET Workshop, 2005.
21. Certification Authorities Software Team (CAST), Guidelines for Proposing Alternate Means of Compliance to DO-178B, 2000.
22. I.Habli and T.Kelly, "A generic goal-based certification argument for the justification of formal analysis," Electronic Notes in Theoretical Computer Science (ENTCS), pp.27-39, 2009.
23. J.Rushby, "Composing safe systems," in 8th International Symposium on Formal Aspects of Component Software (FACS), 2011.
24. J.Rushby, "Software verification and system assurance," in 7th International Conference on Software Engineering and Formal Methods (SEFM), 2009.