Vai al contenuto

  • Uniweb
  • Departments
  • Schools
  • Webmail
  • Contacts
  • 800 years

Università degli Studi di Padova

  • SCEGLI IL
    TUO PROFILO
  • Search
  • MENU
  • IT EN CN
CLOSE
  • Studying in Padua

    • Salta al menu teaching and research
    • Admission
    • Study with us
    • Courses
    • Courses held in English
    • International Joint Programmes
    • Funding and Fees
    • Student administration and support
    • Arriving and living
    • Opportunities
    • Services
  • Teaching and Research

    • Salta al menu business and networking
    • Research Excellence
    • Supporting Research
    • Doctoral Degrees - PhD Programmes
    • International Mobility
    • Opportunities for Researchers
    • Services for International Scholars
    • On-line resources
    • Scientific and Academic Structures
  • Business and networking

    • Salta al menu about us
    • Tools for innovation
    • Industry-Academic relations
    • Professional and continuing education
    • Industry-Research relations
  • About us

    • Salta al menu going global
    • The University
    • Cultural Heritage
    • Welcome to Padua
    • Governance
    • Scientific and Academic Structures
  • Going global

    • Salta al menu study in english
    • Erasmus and other Exchange Programmes
    • International Joint Programmes
    • International Staff Training Week
    • Arqus Alliance
    • International Academic Networks
    • Map
    • Opportunities for researchers
    • Opportunities for refugees
  • Study in English

    • Salta al menu exchange students
    • Courses held in English
  • Exchange students

    • Salta al menu graduate programmes
    • Erasmus+ for Studies - incoming
    • Bilateral Agreements - incoming
    • Erasmus+ for Studies - outgoing
    • Ulisse - outgoing
    • Erasmus+ for Traineeship
    • Internships and Job Placement
    • Coimbra Group - Student Exchange Network (SEN)
    • European Credit Transfer and Accumulation System - ECTS
    • ICPU - Industry Community Project
    • Other opportunities
    • Welcome Days
  • Graduate programmes

    • Salta al menu visiting the university
    • Doctoral Degrees - PhD Programmes
    • Specialisation Schools
    • Short specialisation programmes
    • Higher level training courses
    • Professional courses
  • Visiting the University

    • Salta al menu home
    • Guided tours
  • Home

    • Salta al menu vivipd
    • Webmail
    • Data protection
    • About this site
    • An Inclusive University
    • Unipd.it
  • Menu
    • Menu Apri menu
    • Single-cycle degrees
    • The Italian education system
    • The university
    • History
    • Cultural Heritage
    • Research
    • Governance
    • Services
    • Courses held in English
    • Scientific and Academic Structures
    • Events
    • Galilean School of Higher Education
    • Short Specialisation degrees
    • Doctoral degrees - PhD Programmes
    • Getting here
    • General Information Offices
    • Specialisation Schools
    • Language courses
    • Other opportunities
    • Studying in Padua
    • Capacities - FP7
    • Cooperation - FP7
    • Euratom - FP7
    • Ideas - FP7
    • Joint Technology Initiatives - FP7
    • People - FP7
    • Other European Projects
  • Cooperation - FP7
    • Cooperation - FP7
    • Energy
    • Environment
    • KBBE
    • Health
    • ICT
    • NMP
    • Security
    • SSH
    • Space
    • Transport
  • ICT
    • ICT
    • AP@HOME
    • BE AWARE
    • BIOMOT
    • BRAVEHEALTH
    • CEEDS
    • CLAM
    • CSN
    • CSNII
    • CULTAR
    • CULTURA
    • CYBERRAT
    • CYBERRAT
    • FEEDNETBACK
    • HIPOSWITCH
    • HYCON2
    • IOT-A
    • MEDIEVAL
    • MINDSEE
    • MOSAIC
    • MULTI
    • PAPETS
    • PREFORMA
    • PROARTIS
    • PROMISE
    • PROXIMA
    • RAMP
    • REALNET
    • REWIRE
    • SAFERIDER
    • TERENCE
    • DIADVISOR
    • TREBLE-CLEF
  • IndietroPROARTIS

PROARTIS

PROBABILISTICALLY ANALYSABLE REAL-TIME SYSTEMS

Reference: 249100

Call: FP7-ICT-2009-4

Theme: ict

Scientist: Tullio Vardanega

Department: Mathematics

UNIPD: participant

Total cost: 2,425,654 €

Eu Funding: 1,800,000 €

Email: tullio.vardanega@unipd.it

Project Description

There is an ever-increasing demand both for new functionality and for reduced development and production costs for all kinds of Critical Real- Time Embedded (CRTE) systems (safety, mission or business critical). Moreover, new functionality demands can only be delivered by more complex software and aggressive hardware acceleration features like memory hierarchies and multi-core processors. However, these greatly increase system complexity, making it much more difficult to analyse applications for their temporal behaviour. Another key problem of CRTE systems is the need to prove that they operate correctly, satisfying all temporal constraints. The current generation of platforms, despite being based on comparatively simple and old processor technologies, are already extremely difficult to analyse for their temporal behaviour, and resulting errors in operation, cost EU industries billions of Euros annually in warranty and post-production costs. The PROARTIS thesis is that the timing behaviour of systems that use advanced hardware features like multi-core CPUs and complex memory hierarchies can be analysed effectively by probabilistic timing analysis techniques that reduce the risk of temporal pathological cases to quantifiably negligible levels. Preliminary research results in cache replacement policies by members of the PROARTIS consortium strongly support this claim. PROARTIS defines new hardware and software architecture paradigms based on the concept of randomisation that, with minimal changes to current processes and methods, guarantee timing behaviours that can be analysed with probabilistic techniques. PROARTIS uses a holistic approach in which probabilistic analysis extends from hardware design, compiler and real time operating system to applications. On top of this platform, we will build probabilistic timing analysis methods based on current commercial tools. We will validate our approach via an industrial case study. 

Partners

Coordinator: Barcelona Supercomputing Center - Centro Nacional de Supercomputacion

Participants: Rapita Systems Limited, Airbus Operations Sas, Institut National de Recherche en Informatique et en Automatique, Università degli Studi di Padova

UNIVERSITY OF PADUA

  • Departments
  • Schools
  • Centres
  • Libraries
  • Official list
  • Exchange students
  • Student Admissions
  • Study in English
  • Visiting the University

CONTACTS

Via 8 Febbraio, 2 - 35122 Padova

Switchboard: +39 049 827 5111
Call Centre: +39 049 827 3131
  • Certified mail: amministrazione.centrale@pec.unipd.it
  • Email: urp@unipd.it
Università inclusiva
© 2021 University of Padua - All rights reserved P.I. 00742430283 C.F. 80006480281
  • About this site
  • Privacy