SENSATION Public Deliverables

  • Workpackage 1
  • Workpackage 2
  • Workpackage 3
  • Workpackage 4
  • Workpackage 5
  • Workpackage 6
  • Workpackage 1

    Id Title Due month
    D1.1 Extensions of SDF with energy constraints 24
    D1.2 Energy-aware automata 12
    D1.3 Energy-centric property specification 24

    Workpackage 2

    Id Title Due month
    D2.1 Analysis optimizing energy usage 12

    Workpackage 3

    Id Title Due month
    D3.1 Worst-case energy consumption via model checking 24
    D3.2 Energy optimal scheduling 12
    D3.4 Parametric analysis 24

    Workpackage 4

    Id Title Due month
    D4.1 Description of case studies 6
    D4.2 First application of the techniques to case studies 24

    Workpackage 5

    Id Title Due month
    D5.1 SENSATION website 3
    D5.2 Plan for use and dissemination of foreground, preliminary 24

    Workpackage 6

    Id Title Due month
    D6.1 First Periodic Progress Report 12