ch8 - Chapter 8 Model-Based Design Concurrency model-based...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
Concurrency: model-based design 1 ©Magee/Kramer 2 nd Edition Chapter 8 Model-Based Design
Background image of page 1

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

View Full Document Right Arrow Icon
Concurrency: model-based design 2 ©Magee/Kramer 2 nd Edition Design Concepts :   design process: requirements  to   models   to  implementations    Models : check properties of interest:   -  safety  on the appropriate (sub)system   -  progress  on the overall system Practice :  model interpretation - to infer actual system  behavior threads and monitors Aim :  rigorous design process.
Background image of page 2
Concurrency: model-based design 3 ©Magee/Kramer 2 nd Edition  goals of the system  scenarios  (Use Case models)  properties of interest 8.1 from requirements to models Requirement s Model  identify the main events, actions, and interactions  identify and define the main processes  identify and define the properties of interest  structure the processes into an  architecture  check traces of interest  check properties of interest Any  appropriate  design  approach can  be used. 
Background image of page 3

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

View Full Document Right Arrow Icon
Concurrency: model-based design 4 ©Magee/Kramer 2 nd Edition a Cruise Control System - requirements When the car ignition is  switched on and the  on   button is pressed, the  current speed is recorded  and the system is enabled:  it maintains the speed of  the car at the recorded  setting.  Pressing the brake,  accelerator or  off  button  disables the system.  Pressing  resume  or  on   re-enables the system. buttons
Background image of page 4
Concurrency: model-based design 5 ©Magee/Kramer 2 nd Edition a Cruise Control System - hardware Wheel revolution sensor generates interrupts to enable the car  speed  to be calculated. Parallel Interface Adapter (PIA) is polled every 100msec. It records the actions of the  sensors:  buttons ( on off resume )   brake  (pressed)   accelerator  (pressed)   engine  ( on off ). buttons engine accelerator brake PIA polled wheel interrupt CPU throttle D/A Output : The cruise control system controls the car speed by setting the  throttle  via  the digital-to-analogue converter.
Background image of page 5

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

View Full Document Right Arrow Icon
Concurrency: model-based design 6 ©Magee/Kramer 2 nd Edition model - outline design outline processes and  interactions . Input Speed  monitors the  speed when the engine is on,  and provides the current speed  readings to speed control. Sensor Scan  monitors  the buttons, brake,  accelerator and engine  events. Cruise Controller  triggers clear  speed and record speed, and enables  or disables the speed control. Speed Control  clears and  records the speed, and sets the  throttle accordingly when enabled.
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 32

ch8 - Chapter 8 Model-Based Design Concurrency model-based...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online