Probabilistic timing analysis on time-randomized platforms for the space domain
Autor: | Mikel Fernandez, Carles Hernandez, Paulo Machado, Ian Broster, Jaume Abella, David Corrales Morales, Leonidas Kosmidis, Eduardo Quinones, Francisco J. Cazorla, Luca Fossati, Alen Bardizbanyan |
---|---|
Přispěvatelé: | Barcelona Supercomputing Center |
Jazyk: | angličtina |
Rok vydání: | 2017 |
Předmět: |
Correctness
Computer science Probabilistic timing analysis Distributed computing Real-time computing Lògica informàtica Probabilistic logic Enginyeria electrònica [Àrees temàtiques de la UPC] Static timing analysis Aerospace electronics 02 engineering and technology Space (commercial competition) Program processors Embedded computer systems 020202 computer hardware & architecture Domain (software engineering) Aerospace engineering 020204 information systems Timing circuits--Design and construction--Data processing Sistemes incrustats (Informàtica) 0202 electrical engineering electronic engineering information engineering Timing Real-time systems |
Zdroj: | Recercat. Dipósit de la Recerca de Catalunya instname UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC) DATE |
Popis: | Timing Verification is a fundamental step in real-time embedded systems, with measurement-based timing analysis (MBTA) being the most common approach used to that end. We present a Space case study on a real platform that has been modified to support a probabilistic variant of MBTA called MBPTA. Our platform provides the properties required by MBPTA with the predicted WCET estimates with MBPTA being competitive to those with current MBTA practice while providing more solid evidence on their correctness for certification. The research leading to these results has received funding from the European Community’s FP7 [FP7/2007-2013] under the PROXIMA Project (www.proxima-project.eu), grant agreement no 611085. This work has also been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. Carles Hernandez is jointly funded by the Spanish Ministry of Economy and Competitiveness and FEDER funds through grant TIN2014-60404-JIN. |
Databáze: | OpenAIRE |
Externí odkaz: |