Voluntary exercise II Solution Tor Stålhane IDI / NTNU.

Slides:



Advertisements
Similar presentations
Detecting Bugs Using Assertions Ben Scribner. Defining the Problem  Bugs exist  Unexpected errors happen Hardware failures Loss of data Data may exist.
Advertisements

RWD CONTROLLERS TECHNICAL
White Box and Black Box Testing Tor Stålhane. What is White Box testing White box testing is testing where we use the info available from the code of.
Heating element Temperature sensor Heating element 220V AC Controller I/O panel.
House. Cold outside air house Heat loss Cold outside air.
Digital Thermostat and Data Logger Brandon Wagner and David Southwick.
The Dewi Sant Greenhouse Control Project Lesson 2.
Lecture 5 Random Errors in Chemical Analysis - II.
Software Development Study Fawzi Emad Chau-Wen Tseng Department of Computer Science University of Maryland, College Park.
Ultra Roasting Oven X3000. Goals A micro-controlled rotisserie Cooks to user desired level Easy to use interface.
EG1003: Introduction to Engineering and Design Introduction to LabVIEW.
Gaylen Atkinson March 16, AGENDA Market Potential Customer Need Tridium Solution Benefits to Users Customer “Hot” Buttons Product Offerings How.
Introduction to TDT 4235 Tor Stålhane IDI / NTNU.
White Box vs. Black Box Testing Tor Stålhane. What is White Box testing White box testing is testing where we use the info available from the code of.
Chapter 1: Using Scientific Inquiry
Essays for TDT4235 Tor Stålhane IDI / NTNU. Intro The essay counts for 30 of the 100 points used to grade the students of this course The essay must be.
Requirements and boilerplates
Power Control System for a Concrete Durability Test Cabinet – Phase 2 Jacob Jameson Madhav Kothapalli Thomas Persinger Andrew Versluys.
TDT 4242 Inah Omoronyia and Tor Stålhane Guided Natural Language and Requirement Boilerplates TDT 4242 Institutt for datateknikk og informasjonsvitenskap.
For Multiple refrigeration system
By the end of this session you should be able to...
Start Presentation October 25, th Homework - Solution In this homework, we shall exercise the modeling of a simple electrical circuit using bond.
INDEX WELCOME DISPLAY DEFAULT DISPLAY MAIN DISPLAY SYSTEM LAYOUT – P105 to P104 SYSTEM LAYOUT – P109 to P106 ROOMS P-109 to P-104 DISPLAY CHANGE SET POINTS.
Updated 710 Turn On/Off procedure Kim Peifley 12/18/14.
Lecture 7. YACC YACC can parse input streams consisting of tokens with certain values. This clearly describes the relation YACC has with Lex, YACC has.
Course summary TDT4235 Tor Stålhane IDI / NTNU. What we try to do QA – Create trust to a product or service SPI – Solve fuzzy problems by –Identifying.
Fan Coils Units Control
What is this course about Tor Stålhane IDI / NTNU.
MCQUAY DIGITAL SCROLL SYSTEM
Service Section Technical Training December 2005.
Speakers: 1 st Gabor Kondas 2 nd Schuyler Wu 3 rd Howard Li 4 th Kevin Seng.
1. 2 INDEX MAIN DISPLAYS3-4 SYSTEM LAYOUT 5-6 ROOM P-109 DISPLAY7 ROOM P-108 DISPLAY8 ROOM P-107 DISPLAY 9 ROOM P-106 DISPLAY 10 ROOM P-105 DISPLAY 11.
GAN: remote operation of accelerator diagnosis systems Matthias Werner, DESY MDI.
Project Description Title: Room temperature monitoring based on ambient light level threshold Overview: An Arduino monitors the ambient light in a room.
Your Brief: You are the lead programmer responsible for designing and implementing the control program that controls all input and output devices in the.
System A collection of parts that perform a function.
Laboratory 5: Introduction to LabVIEW
Advanced control strategies. CONTROL SYSTEMS The process parameters which are measured using probes described in the previous sections may be controlled.
David A. Bader. THE THERMOSTAT THE HEATING PROBLEM A heatpump is ineffective when outside temperature falls below 40º. If you forget to switch the thermostat.
Introduction to LabVIEW. Overview Objectives Background Materials Procedure Report/Presentation Closing.
EG1003: Introduction to Engineering and Design Introduction to LabVIEW.
Transfer Contacts from iPhone to Android From:
Computer Control and Monitoring Today we will look at: What we mean by computer control Examples of computer control Sensors – analogue and digital Sampling.
Algorithms and Flowcharts
HOW TO TROUBLESHOOT HULU ERROR 5003? For more details visit our website
Windows XP Professional Not Finish Yet
How to convert a Demo to Multi-user
Introduction to LabVIEW
Sensors Control Systems with Flowol.
CMPE 280 Web UI Design and Development August 29 Class Meeting
Use Cases and Scenarios
What is meant by ‘Preventive Monitoring’?
Object Modeling Approach
How to Fix Windows 10 Update Error 0x ?.
Facebook Issues Not capable to sign-up or log-in to Facebook. Spam messages happening after regular intervals. Unable to keep personal information from.
“Would I have to do this all by myself …….?”
ASPECT ORIENTATED PROGRAMMING RESEARCH
Introduction to LabVIEW
PLC / SCADA / HMI Controllers: Name : Muhammad Zunair Comsats University Date: 28-October-2018.
Introduction to LabVIEW
Exercise 3 Tor Stålhane IDI / NTNU.
Chapter 5: Control Structure
General Guide to Thermostat Settings
Introduction to LabVIEW
Introduction to LabVIEW
Introduction to LabVIEW
5th Homework In this homework, we shall exercise the modeling of a simple electrical circuit using bond graphs. We shall also model the same electrical.
SAG Infotech Private Limited
Solution for HP laptop screen won’t turn on HP laptop screen won’t turn on.
Presentation transcript:

Voluntary exercise II Solution Tor Stålhane IDI / NTNU

Heating element Temperature sensor Heating element 220V AC Controller I/O panel

Requirements – natural language 1.The user shall be able to use a simple panel to define time intervals, consisting of – Starting time – Ending time – Temperature during this interval – Ta 2.The time intervals are not allowed to overlap 3.The user shall be able to use a simple panel to define a temperature tolerance value d. 4.If the user don't set a temperature tolerance, the system shall use default value d = 2 o C 5.If the temperature falls below Ti – d, the heather shall be turned on 6.If the temperature exceeds Ti + d, the heather shall be turned off 7.If time is outside all defined intervals the temperature shall be set to a predefined default value T0.

Requirements – boilerplates 1. shall be able to 2. shall be able to 3. shall be able to 4.If, shall 5. shall have 6. shall have 7. shall have 8.In order to, shall have 9.In order to, shall have 10.If, shall 11.If, shall 12.When, shall 13. shall at least times per 14. shall not allow to 15.If, shall

Tests – 1 Implement observation points for Temperature tolerance d Default temperature T0 Interval start, end and temperature for all defined intervals – for interval “a” we must be able to observe ts, te and Ta

Tests – 2 Controller I/O panel Observation software

Tests – 3 R1, R2, R7: define time interval a = [07h – 12h]. Check Ta = T0. Set Ta = 22 o. Check Ta = 22 o. R14: define time interval b = [11h – 15h]. Check for error message. Check that time interval b does not exist. Define interval c = [08h – 10h] Check for error message Check that interval c dies not exist R3, R4: check d = 2 o. Set d = 1 o. Check d = 1 o. R15: check temperature setting outside interval a = T0.

Tests – 4 Temperature sensor Controller I/O panel Thermostat unit Keeps temperature sensor at pre-set value Temperature setting Switch state logging unit Log

Tests – 5 R10, R11, R12: Define time intervals interval a = [07h – 12h] and b = [19h – 22h]. Ta = 22 o, Tb = 18 o, d = 1 o. Set thermostat unit to 20 o = T0. Start test with controller clock at 06h. We should observe: 07h + max 40s: switch “On” 12h + max 40s: switch “Off” Nothing else should happen.

Tests – 6 Define time intervals interval a = [07h – 12h]. Ta = 22 o, d = 1 o. Set thermostat unit to 20 o = T0. Start test with controller clock at 06. We should observe: 07h + max 40s: switch “On” Set thermostat unit to 24 o at 11. We should observe: 11h + max 40s: switch “Off” Nothing else should happen.