L6 - Model Driven Design Flashcards

1
Q

Modeling

A

A model represents the reality by recreating system characteristics (replication, simulation) and therefore makes verification possible.

  • PRO: easy to understand, simulation of systems, evaluation of different designs, formal methods to test code against models
  • CON: difficult underlying processes can lead to unwanted behaviour still possible
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Design

A

In model-driven design, models of hardware/software/environment are necessary.

Important are:

  • guaranteed performance
  • fault tolerance
  • verification against model.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Analysis

A

By conducting reachability analysis; model checking; evaluating execution times and testing the fault tolerance; we aim to understand the system.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Which type of model is discrete in time; expressed as system of ODEs and discretized with time step T?

A

Dynamic Models.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Finite State Machines (FSM)

A

Finite State Machines (FSM) are …

  • discrete in states (time is implicit)
  • expressed as finite set of states
  • having transitions which are activated by guard expression transition
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

What is temporal control?

A

Temporal control determines instants in the real time domain when computations have to be executed.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Synchronous Reactive Systems

A

Synchronous Reactive Systems produce outputs synchronously to changes of inputs.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Event Triggered Control (Reactive Systems)

A

Event Triggered Control (Reactive Systems) produce output for each input event. Emphasis is placed on safety and determinism but execution of events can overlap.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Principles Of Composability

A
  • Independent Development Of Component: platform independent model (PIM) complies with Linking Interface (LIF).
  • Stability Of Prior Service: services validated in isolation.
  • Non-Interfering Interactions: communication of subgroups should not interfere with each other.
  • Preservation Of Component Abstraction: redundancy in order to detect faulty components.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Dataflow (Model Of Computation)

A

Execution depends on data and has to wait until data is ready. Especially Discrete Dynamics (Labview; Simulink)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Time-Triggered Execution (Model Of Computation)

A

Execution is planned for each instant in time. Especially real time control (Giotto; FTOS)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Component Interaction (Model Of Computation)

A

Composition of data and query driven execution. Especially web servers.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Process Networks (Model Of Computation)

A

Processes communicate through channels that message in a queue (asynchronous). Especially in distributed systems.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Rendezvous (Model Of Computation)

A

Processes communicate via synchronous messages (wait until both sender and receiver is ready).

Ex.: CSP, Ada

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What is a Deterministic System?

A

In a deterministic system the worst case response time is predictable. Sufficient for RTS.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

ESTEREL

A
  • synchronous language that was developed to program reactive systems
  • Esterel programs are divided into modules that can be executed sequentially, parallel or repeadtedly where the communication works via a broadcast mechanism.
17
Q

MATLAB/Simulink is a ___________________ environment for continuous and discrete dynamics. What is its functionality?

A

Synchronous block diagram.

Matlab enables simulation, controller design, prototyping; code generation, verification, validation and Hardware-/Software-In-The-Loop.