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 DocumentRight 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 Requirements 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 DocumentRight Arrow Icon
Concurrency: model-based design ©Magee/Kramer 2 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. records the actions of the sensors: buttons ( ) brake engine ( 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 DocumentRight 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. Throttle sets the actual throttle. Sensors Prompts Engine speed setThrottle
Background image of page 6
©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. Sensor Scan, Input Speed, Cruise Controller, Speed Control and Throttle Identify main properties. safety - disabled when off , brake or accelerator pressed.
Background image of page 7

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

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

Page1 / 32

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

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

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