{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

lecture06-handout4 - Esterel Programming Pragmatics...

Info icon This preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Esterel Programming Pragmatics Property Verification Homework 03—Due: 5 May 2005 Homework 04—Due: 19 May 2005 Modeling/Distributed RT Systems—Lecture 06 Prof. Dr. Reinhard von Hanxleden Christian-Albrechts Universit¨ at Kiel Department of Computer Science and Applied Mathematics Real-Time Systems and Embedded Systems Group 28 April 2005 Last compiled: 4th May 2005, 17:33 hrs Esterel—The Language Part III WS 2004/05 Modeling/Distributed RT Systems—Lecture 06 Slide 1 Esterel Programming Pragmatics Property Verification Homework 03—Due: 5 May 2005 Homework 04—Due: 19 May 2005 Overview Esterel Programming Pragmatics People Counter Example Vending Machine Example Tail Lights Example Traffic-Light Controller Example Interfacing with the Environment Property Verification Introduction Example: ABRO Homework 03—Due: 5 May 2005 Homework 04—Due: 19 May 2005 WS 2004/05 Modeling/Distributed RT Systems—Lecture 06 Slide 2 Esterel Programming Pragmatics Property Verification Homework 03—Due: 5 May 2005 Homework 04—Due: 19 May 2005 The 5-Minute Review Session 1. What are Statecharts? 2. What is the synchronous model of execution? 3. What transition types do we distinguish in SSMs? 4. What is the difference between valued signals and variables in Esterel/SSMs? WS 2004/05 Modeling/Distributed RT Systems—Lecture 06 Slide 3 Esterel Programming Pragmatics Property Verification Homework 03—Due: 5 May 2005 Homework 04—Due: 19 May 2005 People Counter Example Vending Machine Example Tail Lights Example Traffic-Light Controller Example Interfacing with the Environment People Counter Example Construct an Esterel program that counts the number of people in a room. People enter the room from one door with a photocell that changes from 0 to 1 when the light is interrupted, and leave from a second door with a similar photocell. These inputs may be true for more than one clock cycle. The two photocell inputs are called ENTER and LEAVE . There are two outputs: EMPTY and FULL , which are present when the room is empty and contains three people respectively. Source: Mano, Digital Design , 1984, p. 336 Thanks to Stephen Edwards ( http: // www1. cs. columbia. edu/ ~sedwards/ ) for providing this and the following examples WS 2004/05 Modeling/Distributed RT Systems—Lecture 06 Slide 4
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Esterel Programming Pragmatics Property Verification Homework 03—Due: 5 May 2005 Homework 04—Due: 19 May 2005 People Counter Example Vending Machine Example Tail Lights Example Traffic-Light Controller Example Interfacing with the Environment Overall Structure ENTER LEAVE Conditioner Conditioner Counter EMPTY FULL ADD SUB Conditioner detects rising edges of signal from photocell. Counter tracks number of people in the room. WS 2004/05 Modeling/Distributed RT Systems—Lecture 06 Slide 5 Esterel Programming Pragmatics Property Verification Homework 03—Due: 5 May 2005 Homework 04—Due: 19 May 2005 People Counter Example Vending Machine Example Tail Lights Example Traffic-Light Controller Example Interfacing with the Environment Implementing & Testing the Conditioner module CONDITIONER : input A; output Y; loop await A; emit Y; await [
Image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern