Teaching CMES - 2016-2017

Computational Models for Embedded Systems


  • CMES - Information - overview
  • CMES - announcements- RetakeSession- updated 12 June 2017

  • CMES - grades (references) + updated 16 June 2017 - hour: 18:40 (See exam paper on 16June2017-hour 16:00-16:30, room 404)
  • CMES - Participation to final exam - normal and retake session - updated 27 May 2017 - hour:8:25

    CMES - Final-Exam-Structure + Feedback-Questions + Maindmap-CMES-Notion + ExaminationDatePlanToAttend - updated 28 May 2017 - hour: 11:15

    CMES - retake session = FinalExamStructure + FeedbackQuestions+MaindmapRetake

     Seminar (Laboratory)


    Lecture (tentative)

    3.03.2017

    Lab01.

    Team report

    Teams


     3 march

    Lecture 1

    Introduction-administrative

    Introduction - ES

    10 march

    Lecture 2

    Model checking_a

    Model checking_b_JSpin

    JSpinDemo

    (Delivery - Report team)

    KIT JSpin-5.0

    17.03.2017

    Lab02.

    JSpin-project

    JSpin-project-alternative

    Deadline: 12 May 2017



     17 march

    Lecture 3

    Synchronous reactive models

    24 march

    Lecture 4

    Asynchronous models

    31.03.2017

    Lab03.

    Remark Options:

    Option 1) Problem description 1+Problem description 2

    Option 2) Problem description 1+Problem description 3

    Option 3) Problem description 2 + Problem description 3

    Option 4) Problem description 3 (first problem) + Problem description 3 (second problem)

    Assignment

    AdditionalFiles

    Remark: You can work in teams (min 3 to max 6 students/team)

    NTT Data presentation

    Lab exercices

    When: Friday, 31 March 2017, 18:00-20:00

    Where: Room L308

    Attendance: Compulsory

    LPCXPRESSO-information-here

    Teams here


    Deadline: 12 May 2017

      31 march

      Lecture 5

      NTT Data presentation

      Lecture on Embedded systems here

      When: Friday, 31 March 2017, 16:00-18:00

      Where: Room C335

        7 april

      Lecture 6

      EmbeddedBoard

      FSM

      Demo source-code LPCEXPRESSO+JSpin

      FSM in LPC - here (from page 94)

      (Delivery - Report topic)

      14.04.2017

      moved to 12 May 2017, room L308

      Lab04

      ARM






        14 apr

      Lecture 7

      Petri nets


      17-23 april

      Holidays

      28 april

      Lecture 8

      Dynamical systems

      5.05.2016

      Lab05.

      LabVIEW presentation = prezenta OBLIGATORIE

      Location: NI, The Office Building


        5 may

      Lecture 9

      NI - presentation LabVIEW -

      Location: NI, The Office Building


      12 may

      Lecture 10

      Timed models

      19.05.2016

      Lab06.

      Lab delivery



        19 may

      Lecture 11

      Hybrid models

      (Delivery - File Report by email)

        26 may

      Lecture 12

      Final exam structure  Exam information - here (see info above table)

      Delivery - Report presentations by students

      Please schedule your team presentation here

      Powered by Drupal - Modified by Danger4k