{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

lecture06-handout4

# lecture06-handout4 - Esterel Programming Pragmatics...

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

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

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

View Full Document
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 [
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### What students are saying

• 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.

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

• 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.

Dana University of Pennsylvania ‘17, Course Hero Intern

• 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.

Jill Tulane University ‘16, Course Hero Intern