{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

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

Info iconThis preview shows pages 1–8. 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 theappropriate(sub)system - progress on theoverall 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 thesystem scenarios (UseCasemodels) properties of interest 8.1 from requirements to models Requirement s Model identify themain 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 thesystem. 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 outlineprocesses 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. Throttle sets the actual throttle. Sensors Prompts Engine speed setThrottle
Background image of page 6
Concurrency: model-based design 7 ©Magee/Kramer 2 nd Edition model -design Main events, actions and interactions. on , off , resume , brake , accelerator engine on , engine off , speed, setThrottle clearSpeed,recordSpeed, enableControl,disableControl Identify main processes.
Background image of page 7

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

View Full Document Right Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}