12
November 15, 2017 Sam Siewert CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples

CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

November 15, 2017 Sam Siewert

CEC450 Real-Time Systems

Lecture 15 – Block Diagram Design Examples

Page 2: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Design Elements for Proof-of-Concept Top N Capability Oriented Requirements – State and Explain – Hold Q&A and Ask for Reviewer Input on Completeness, Errors and

Omissions

Top N Real-Time Requirements [Ci, Ti, Di or each Si] – State and Explain Service request frequency drivers and relative deadlines – How did you estimate or measure Ci WCET

Single Page High Level Block Diagram of Software System – Show End-to-End Elements and Dataflow – Source to Sink (Top Left Corner to Bottom Right)

CFD/DFD, Flow Charts, State Machines or Other Design Models Proof-of-Concept Time-Stamp Tracing Analysis Sam Siewert 2

Page 3: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Design Example

STS-85 Payload (Flown 1997, U. of Colorado)

Sam Siewert

3

Page 4: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Payload Operations 1. The Embedded System Shall Operate 3 Instruments (LASIT, SXEE, FARUS) According

to a Scheduled Observing Plan of the Sun within STS Imposed Constraints 2. The Health & Status of Each Instrument Shall be Reported to the Ground Continuously 3. Science Data Collected by Each Instrument Shall be Streamed to the Ground While an

Instrument is Observing 4. Observing Plan Updates Can be Uplinked from the Ground Systems as Command(s) with

Response 5. Commands to Operate Instruments Interactively Can be Uplinked from the Ground and

Status Indication Response Will be Provided 6. The Embedded System Must Interface to Low-Rate Uplink and Downlink interfaces on

STS for Command/Response, H&S Telemetry Streaming 7. The Ground Software at GSFC Must Interface to the ACCESS LRDU 8. Telemetry Must be Stored in a Time-stamped Database 9. A HMI GUI Must Display H&S Telemetry at GSFC and Provide a Command/Response

Interface 10. GSFC Ground Systems Must Host a Planning and Operations Rules and Constraints

Database and Engine 11. GSFC Ground Systems Must Host H&S Telemetry Monitoring to Detect Anomalous

Behavior to Generate Alerts for the HMI/GUI 12. A Data Bridge Between GSFC Ground Systems and CU Boulder Must Provide a

Command/Response and H&S Telemetry Network Interface 13. CU Boulder Ground Systems Must Interface an Automated Planning and Scheduling

Software Application and Allow it to Generate Uplink Commands to Modify or Replace the Current Embedded System Observing Plan

14. The CU Boulder Ground Systems Must Provide and HMI/GUI for H&S Telemetry, Command/Response and Automated Planning and Scheduling

15. A CU Boulder to NASA JPL Data Bridge Must Provide H&S Telemetry for Beacon Monitoring to NASA JPL for Display on a High Level Status HMI/GUI

Sam Siewert 4

Page 5: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Hardware End-to-End System DATA Hitchhiker Payload, flown STS-85, Summer 1997 Designed, Built and Operated by U. of Colorado Students

Sam Siewert 5

Page 6: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Software End-to-End System

Sam Siewert 6

Page 7: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

SE300 RT Design Models

Examples from SE300 (Specific to Real-Time Design)

Sam Siewert

7

Page 8: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Copyright {c} 2014 by the McGraw-Hill Companies, Inc. All rights Reserved.

13-8

transformational processes, representing computations or information processing activities

control processes, representing system’s state dependent behavior, which is modeled by a Mealy type state machine

ordinary or discrete data flow

event flow or control flow that triggers a transition of the state machine of a control process, or a command from a control process to a transformational process

continuous data flow, which must be processed in real time

Real Time Systems Design

Page 9: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Copyright {c} 2014 by the McGraw-Hill Companies, Inc. All rights Reserved.

13-9

Real Time Systems Design

a

b

P indicates that both data flow a and data flow b are required to begin executing process P

a

b

P indicates that either data flow a or data flow b is required to begin executing process P

+

These logical connector can be applied to both data flow and control flow and transformation process and control process.

Page 10: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Copyright {c} 2014 by the McGraw-Hill Companies, Inc. All rights Reserved.

13-10

Real Time Systems Design

Z

Z

X

Y

Y

X Z

Z

Two subsets of Z are used by two different successor processes.

All of Z is used by two different successor processes.

Z is composed of Two subsets provided by two different predecessor processes.

All of Z is provided by either one of two predecessor processes.

Page 11: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Copyright {c} 2014 by the McGraw-Hill Companies, Inc. All rights Reserved.

13-11

CFD/DFD Cruise Control Example

Cruise Control

2.2.1

Record Rotation

Rate 2.2.2

Increase Speed 2.2.3

Maintain Constant

Speed 2.2.4

Return to Previous

Speed 2.2.5

resume brake

enable/disable

start/stop increase speed

rotation rate trigger

speed reached

enable/ disable

throttle control

rotation rate

throttle position

rotation rate set point

rotation rate

throttle position

throttle control throttle

position

enable/ disable

rotation rate

enable/ disable

throttle control

Page 12: CEC450 Real-Time Systemsmercury.pr.erau.edu/~siewerts/cec450/documents/Lectures/...CEC450 Real-Time Systems Lecture 15 – Block Diagram Design Examples Design Elements for Proof-of-Concept

Copyright {c} 2014 by the McGraw-Hill Companies, Inc. All rights Reserved.

Sam Siewert

Maintain Speed

Increase Speed

Resume Speed

Interrupted

enable[] / trigger RRR; enable MCS

brake[] / disable MCS

stop increasing speed[] / disable IS; trigger RRR; enable MCS

brake[] / disable RPS resume[] / enable RPS

start increase speed[] / disable MCS; enable IS

brake[] / disable IS

speed reached[] / disable RPS; enable MCS

disable[] / disable MCS