CU-Boulder CSCI 5828 - Model- Based Design (34 pages)

Previewing pages 1, 2, 16, 17, 18, 33, 34 of 34 page document View the full content.
View Full Document

Model- Based Design



Previewing pages 1, 2, 16, 17, 18, 33, 34 of actual document.

View the full content.
View Full Document
View Full Document

Model- Based Design

39 views


Pages:
34
School:
University of Colorado at Boulder
Course:
Csci 5828 - Foundations of Software Engineering
Foundations of Software Engineering Documents

Unformatted text preview:

Concurrency model based design 1 Magee Kramer 2nd Edition Concurrency model based design 2 Magee Kramer 2nd Edition Chapter 8 Model Based Design Concurrency model based design 3 Magee Kramer 2nd 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 threads and monitors behavior Aim rigorous design process Concurrency model based design 4 Magee Kramer 2nd Edition 8 1 from requirements to models Requirements Any appropriate design approach can be used Model Concurrency model based design goals of the system scenarios Use Case models properties of interest 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 5 Magee Kramer 2nd 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 buttons Concurrency model based design Pressing the brake accelerator or off button disables the system Pressing resume or on reenables the system 6 Magee Kramer 2nd Edition a Cruise Control System hardware Parallel Interface Adapter PIA is polled every 100msec It records the actions of the sensors buttons on off resume buttons brake polled PIA accelerator accelerator pressed CPU engine wheel brake pressed interrupt engine on off D A throttle Wheel revolution sensor generates interrupts to enable the car speed to be calculated Output The cruise control system controls the car speed by setting the throttle via the digital to analogue converter Concurrency model based design 7 Magee Kramer 2nd Edition model outline design outline processes and interactions Sensor Scan



View Full Document

Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Model- Based Design and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Model- Based Design and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?