Module 1

Question 1

Whats a RTC system?

Answer 1

Real-time computing system. (Subject to real-time constraints)

Question 2

What does V&V stand for?

Answer 2

Verifaction and Validation (Software Testing)

Question 3

What’s two forms of V&V?

Answer 3

Deductive Verification and Model Checking (Formal Verification)

Question 4

What is Model Checking?

Answer 4

Model checking is an automated technique that, given a finite-state model of a system and a formal property, systematically checks whether this property holds for (a given state in ) that model

Question 5

What are models?

Answer 5

Transition systems and expressivity

Question 6

Examples of properties

Answer 6

“Can the system reach a deadlock situation?)”
“Can two processes ever be simultaneously in a critical section?”
“On termination, does a program provide the correct output?”

Question 7

in terms of Design, what does BDD stand for?

Answer 7

Binary Decision Diagram

Question 8

Examples for modeling behavior

Answer 8

Event-based (State Machine), flow-based(Activities) and message-based (Intereactions)

Question 9

State Machine Diagram represent that life cycle of?

Answer 9

A block.