SlideShare une entreprise Scribd logo
1  sur  15
Télécharger pour lire hors ligne
©M. S. Ramaiah University of Applied Sciences
1
Faculty of Engineering & Technology
Microwave Oven Controller
Sree Nikhilendra Prasad DJ
FT 2014 Batch, Reg. No.: 14ETCS037010
M. Tech. in Real Time Embedded Systems
Module Leader: Padma Priya Darshini P.
Module Name: Embedded Computer Architecture and
Programming
Module Code : CSE502
©M. S. Ramaiah University of Applied Sciences
2
Faculty of Engineering & Technology
Marking
Head Maximum Score
Technical Content 5
Grasp and Explanation 5
Quality of Slides and
Delivery
5
Q & A 5
Total 20
©M. S. Ramaiah University of Applied Sciences
3
Faculty of Engineering & Technology
Presentation Outline
• Introduction
• Linear Programming
• Integer Linear Programming
• Implicit Path Enumeration Techniques
• State Transition Diagram
• System Requirements
• CDFG
• Output
• Test Cases
• Conclusion
• References
©M. S. Ramaiah University of Applied Sciences
4
Faculty of Engineering & Technology
Introduction
• Worst Case Execution Time is vital for real-time
embedded software.
• Worst Case Execution bounds are useful to
determine whether the given software
implementation will provide stable performance
or not.
©M. S. Ramaiah University of Applied Sciences
5
Faculty of Engineering & Technology
Linear Programming
• Linear programming is methodology to code the
requirements of the system in form of a linear
constraints
• The main elements of any constrained
optimization problem
– Variables
– Object function
– Variable bounds
©M. S. Ramaiah University of Applied Sciences
6
Faculty of Engineering & Technology
Integer Linear Programming
• An integer linear programming problem is a
mathematical optimization or
feasibility program in which some or all of the
variables are restricted to be integers.
• Components of integer linear programming
– Integer hulls
– Branch-and-bound
– Branch-and-cut
©M. S. Ramaiah University of Applied Sciences
7
Faculty of Engineering & Technology
Implicit Path Enumeration Techniques
• Implicit path enumeration technique is used to
find the WCET of control-intensive programs.
• Considers path of execution as sets of basic blocks.
• It can be used to analyze hardware schemes.
• It expresses the search of the worst case execution
time as an integer linear programming.
©M. S. Ramaiah University of Applied Sciences
8
Faculty of Engineering & Technology
State Transition Diagram
©M. S. Ramaiah University of Applied Sciences
9
Faculty of Engineering & Technology
System Requirements
• The system should read the mode and perform the cooking.
• The system should read the cooking time given as input
through keypad.
• The system should display the time required for cooking on
LCD display.
• The system shall ON the LED during cooking.
• The system shall OFF the LED at the end of the cooking.
• The system shall raise the alarm at the end of the cooking
for 5 seconds.
©M. S. Ramaiah University of Applied Sciences
10
Faculty of Engineering & Technology
CDFG
©M. S. Ramaiah University of Applied Sciences
11
Faculty of Engineering & Technology
Output
©M. S. Ramaiah University of Applied Sciences
12
Faculty of Engineering & Technology
Output contd..
©M. S. Ramaiah University of Applied Sciences
13
Faculty of Engineering & Technology
Test Cases
Test Case Test Procedure Expected Result Result
Test1 Input the mode value and select the mode according
to inputted value
The system should show “respective
mode”
Pass
Test2 Output timer running for the given timer value The system should show “timer running” Pass
Test3 Output the cooking end when timer is elapsed The system should show “cooking is
done”
Pass
Test4 Buzzer is made on when cooking progress is
completed
The system should enable the buzzer
sound
Pass
Test5 Buzzer is made off after the delay of buzzer on
progress
The system should stop the buzzer sound pass
©M. S. Ramaiah University of Applied Sciences
14
Faculty of Engineering & Technology
Conclusion
• To calculate WCET with less calculation overhead
implicit path enumeration technique is best
suited.
• Mixed-integer linear programming introduces less
calculation overhead.
©M. S. Ramaiah University of Applied Sciences
15
Faculty of Engineering & Technology
References
• Padma Priya Darshini P. Embedded Computer Architecture and
Programming, Course Notes, M.S. Ramaiah University of Applied
Sciences, Bangalore, October, 2014.
• John W. Chinneck, Practical Optimization: A Gentle Introduction, 2001.
• Reinhard Wilhelm, Jakob Engblom, Adreas Ermedahl, Niklas Holsti,
Stephan Thesing, David Whalley, Guillem Bernat, Christian Fedinand,
Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter
Puschner, Jan Staschulat and Per Stenstrom, The Worst-Case Execution
Time Problem – Overview of Methods and Survey of Tools, ACM
Transactions on Programming Languages and Systems.
• Ambros M. Gleixner, Daniel E. Steffy and Kati Wolter, Improving the
Accuracy of Linear Programming Solves with Iterative Refinement, Berlin,
Germany, May, 2012.

Contenu connexe

En vedette

The iPhone/iPod Touch Revolution
The iPhone/iPod Touch RevolutionThe iPhone/iPod Touch Revolution
The iPhone/iPod Touch RevolutionChris Penny
 
Vox mobile product_range_2010
Vox mobile product_range_2010Vox mobile product_range_2010
Vox mobile product_range_2010Saurabh Jain
 
Imported mp3 & mp4 players final
Imported mp3 & mp4 players finalImported mp3 & mp4 players final
Imported mp3 & mp4 players finalAyaNabil
 
BT Youview Plus Set Top Box User Guide
BT Youview Plus Set Top Box User GuideBT Youview Plus Set Top Box User Guide
BT Youview Plus Set Top Box User GuideTelephones Online
 
Bluetooth smart technology(description about all versions)
Bluetooth smart technology(description about all versions)Bluetooth smart technology(description about all versions)
Bluetooth smart technology(description about all versions)lurdhu agnes
 
Fuzzy logic control of washing m achines
Fuzzy logic control of washing m achinesFuzzy logic control of washing m achines
Fuzzy logic control of washing m achinespradnya patil
 
Direct to home(DTH) Technical seminar
Direct to home(DTH) Technical seminarDirect to home(DTH) Technical seminar
Direct to home(DTH) Technical seminarram mettu
 
Bluetooth Technology
Bluetooth TechnologyBluetooth Technology
Bluetooth Technologybaralsashank
 
Lcd led and plasma tv
Lcd led and plasma tv Lcd led and plasma tv
Lcd led and plasma tv Lalit Sharma
 
Fax Machines
Fax MachinesFax Machines
Fax MachinesLisa S.
 
3d tv technology
3d tv technology3d tv technology
3d tv technologySai Ganesh
 

En vedette (17)

The iPhone/iPod Touch Revolution
The iPhone/iPod Touch RevolutionThe iPhone/iPod Touch Revolution
The iPhone/iPod Touch Revolution
 
Vox mobile product_range_2010
Vox mobile product_range_2010Vox mobile product_range_2010
Vox mobile product_range_2010
 
I pod
I podI pod
I pod
 
Imported mp3 & mp4 players final
Imported mp3 & mp4 players finalImported mp3 & mp4 players final
Imported mp3 & mp4 players final
 
I pods
I podsI pods
I pods
 
BT Youview Plus Set Top Box User Guide
BT Youview Plus Set Top Box User GuideBT Youview Plus Set Top Box User Guide
BT Youview Plus Set Top Box User Guide
 
Bluetooth smart technology(description about all versions)
Bluetooth smart technology(description about all versions)Bluetooth smart technology(description about all versions)
Bluetooth smart technology(description about all versions)
 
Fuzzy logic control of washing m achines
Fuzzy logic control of washing m achinesFuzzy logic control of washing m achines
Fuzzy logic control of washing m achines
 
Direct to home(DTH) Technical seminar
Direct to home(DTH) Technical seminarDirect to home(DTH) Technical seminar
Direct to home(DTH) Technical seminar
 
Ipod
IpodIpod
Ipod
 
Bluetooth Technology
Bluetooth TechnologyBluetooth Technology
Bluetooth Technology
 
Lcd led and plasma tv
Lcd led and plasma tv Lcd led and plasma tv
Lcd led and plasma tv
 
DTH Technology
DTH TechnologyDTH Technology
DTH Technology
 
Dth Technology
Dth TechnologyDth Technology
Dth Technology
 
Fax Machines
Fax MachinesFax Machines
Fax Machines
 
Apple Case Study
Apple Case StudyApple Case Study
Apple Case Study
 
3d tv technology
3d tv technology3d tv technology
3d tv technology
 

Similaire à Microwave_Oven_Controller

Similaire à Microwave_Oven_Controller (20)

ATM_ppt
ATM_pptATM_ppt
ATM_ppt
 
Lavakumar
LavakumarLavakumar
Lavakumar
 
GSE Gaining Value From Virtual Control Panels CONTE 2019
GSE Gaining Value From Virtual Control Panels CONTE 2019GSE Gaining Value From Virtual Control Panels CONTE 2019
GSE Gaining Value From Virtual Control Panels CONTE 2019
 
Resume_Sanjeeth_PLC_Safety_DCS_Engg_3.6+yrs
Resume_Sanjeeth_PLC_Safety_DCS_Engg_3.6+yrsResume_Sanjeeth_PLC_Safety_DCS_Engg_3.6+yrs
Resume_Sanjeeth_PLC_Safety_DCS_Engg_3.6+yrs
 
About Mechatronics.PDF
About Mechatronics.PDFAbout Mechatronics.PDF
About Mechatronics.PDF
 
MIL_SIL.pdf
MIL_SIL.pdfMIL_SIL.pdf
MIL_SIL.pdf
 
Model based design-Hardware in loop-software in loop
Model based design-Hardware in loop-software in loopModel based design-Hardware in loop-software in loop
Model based design-Hardware in loop-software in loop
 
Kumaran Murugesan CV
Kumaran Murugesan CVKumaran Murugesan CV
Kumaran Murugesan CV
 
Linux_and_Xenomai
Linux_and_XenomaiLinux_and_Xenomai
Linux_and_Xenomai
 
Latest CV
Latest CVLatest CV
Latest CV
 
new
newnew
new
 
6 Month Industrial Automation Training
6 Month Industrial Automation Training6 Month Industrial Automation Training
6 Month Industrial Automation Training
 
6 Month Industrial Automation Training
6 Month Industrial Automation Training6 Month Industrial Automation Training
6 Month Industrial Automation Training
 
CV
CVCV
CV
 
VENKATESH RESUME
VENKATESH RESUMEVENKATESH RESUME
VENKATESH RESUME
 
VENKATESH RESUME
VENKATESH RESUMEVENKATESH RESUME
VENKATESH RESUME
 
solving restaurent model problem by using queueing theory
solving restaurent model problem by using queueing theorysolving restaurent model problem by using queueing theory
solving restaurent model problem by using queueing theory
 
POWER PLANT, QA/QC ENGINEER, WELDING INSPECTOR
POWER PLANT, QA/QC ENGINEER, WELDING INSPECTORPOWER PLANT, QA/QC ENGINEER, WELDING INSPECTOR
POWER PLANT, QA/QC ENGINEER, WELDING INSPECTOR
 
CSD-01 - Introduction to Control System Design.ppt
CSD-01 - Introduction to Control System Design.pptCSD-01 - Introduction to Control System Design.ppt
CSD-01 - Introduction to Control System Design.ppt
 
Design of Mechatronics System
Design of Mechatronics SystemDesign of Mechatronics System
Design of Mechatronics System
 

Microwave_Oven_Controller

  • 1. ©M. S. Ramaiah University of Applied Sciences 1 Faculty of Engineering & Technology Microwave Oven Controller Sree Nikhilendra Prasad DJ FT 2014 Batch, Reg. No.: 14ETCS037010 M. Tech. in Real Time Embedded Systems Module Leader: Padma Priya Darshini P. Module Name: Embedded Computer Architecture and Programming Module Code : CSE502
  • 2. ©M. S. Ramaiah University of Applied Sciences 2 Faculty of Engineering & Technology Marking Head Maximum Score Technical Content 5 Grasp and Explanation 5 Quality of Slides and Delivery 5 Q & A 5 Total 20
  • 3. ©M. S. Ramaiah University of Applied Sciences 3 Faculty of Engineering & Technology Presentation Outline • Introduction • Linear Programming • Integer Linear Programming • Implicit Path Enumeration Techniques • State Transition Diagram • System Requirements • CDFG • Output • Test Cases • Conclusion • References
  • 4. ©M. S. Ramaiah University of Applied Sciences 4 Faculty of Engineering & Technology Introduction • Worst Case Execution Time is vital for real-time embedded software. • Worst Case Execution bounds are useful to determine whether the given software implementation will provide stable performance or not.
  • 5. ©M. S. Ramaiah University of Applied Sciences 5 Faculty of Engineering & Technology Linear Programming • Linear programming is methodology to code the requirements of the system in form of a linear constraints • The main elements of any constrained optimization problem – Variables – Object function – Variable bounds
  • 6. ©M. S. Ramaiah University of Applied Sciences 6 Faculty of Engineering & Technology Integer Linear Programming • An integer linear programming problem is a mathematical optimization or feasibility program in which some or all of the variables are restricted to be integers. • Components of integer linear programming – Integer hulls – Branch-and-bound – Branch-and-cut
  • 7. ©M. S. Ramaiah University of Applied Sciences 7 Faculty of Engineering & Technology Implicit Path Enumeration Techniques • Implicit path enumeration technique is used to find the WCET of control-intensive programs. • Considers path of execution as sets of basic blocks. • It can be used to analyze hardware schemes. • It expresses the search of the worst case execution time as an integer linear programming.
  • 8. ©M. S. Ramaiah University of Applied Sciences 8 Faculty of Engineering & Technology State Transition Diagram
  • 9. ©M. S. Ramaiah University of Applied Sciences 9 Faculty of Engineering & Technology System Requirements • The system should read the mode and perform the cooking. • The system should read the cooking time given as input through keypad. • The system should display the time required for cooking on LCD display. • The system shall ON the LED during cooking. • The system shall OFF the LED at the end of the cooking. • The system shall raise the alarm at the end of the cooking for 5 seconds.
  • 10. ©M. S. Ramaiah University of Applied Sciences 10 Faculty of Engineering & Technology CDFG
  • 11. ©M. S. Ramaiah University of Applied Sciences 11 Faculty of Engineering & Technology Output
  • 12. ©M. S. Ramaiah University of Applied Sciences 12 Faculty of Engineering & Technology Output contd..
  • 13. ©M. S. Ramaiah University of Applied Sciences 13 Faculty of Engineering & Technology Test Cases Test Case Test Procedure Expected Result Result Test1 Input the mode value and select the mode according to inputted value The system should show “respective mode” Pass Test2 Output timer running for the given timer value The system should show “timer running” Pass Test3 Output the cooking end when timer is elapsed The system should show “cooking is done” Pass Test4 Buzzer is made on when cooking progress is completed The system should enable the buzzer sound Pass Test5 Buzzer is made off after the delay of buzzer on progress The system should stop the buzzer sound pass
  • 14. ©M. S. Ramaiah University of Applied Sciences 14 Faculty of Engineering & Technology Conclusion • To calculate WCET with less calculation overhead implicit path enumeration technique is best suited. • Mixed-integer linear programming introduces less calculation overhead.
  • 15. ©M. S. Ramaiah University of Applied Sciences 15 Faculty of Engineering & Technology References • Padma Priya Darshini P. Embedded Computer Architecture and Programming, Course Notes, M.S. Ramaiah University of Applied Sciences, Bangalore, October, 2014. • John W. Chinneck, Practical Optimization: A Gentle Introduction, 2001. • Reinhard Wilhelm, Jakob Engblom, Adreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Fedinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat and Per Stenstrom, The Worst-Case Execution Time Problem – Overview of Methods and Survey of Tools, ACM Transactions on Programming Languages and Systems. • Ambros M. Gleixner, Daniel E. Steffy and Kati Wolter, Improving the Accuracy of Linear Programming Solves with Iterative Refinement, Berlin, Germany, May, 2012.