SElec-10 SysSpec-Intro (1)

# SElec-10 SysSpec-Intro (1) - LECTURE 10: Specifying Systems...

This preview shows pages 1–8. Sign up to view the full content.

Ivan Marsic Rutgers University LECTURE 10: Specifying Systems - Intro

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

View Full Document
2 Topics Domains, Phenomena States, Events Context Diagrams Systems and System Descriptions Basic Formalisms for Specifications Boolean Logic Finite State Machines
3 World, Parts, Phenomena WORLD Par t / Domain I Par t / Domain J Par t/ Domain K Phenomena in Part i Phenomena in Part j Phenomena in Part k Shared phenomena

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

View Full Document
4 Example of Problem Domains PROBLEM WORLD & DOMAINS (PARTS) Software-to-be (1) Tenant (4) List of valid keys (3) Lock (6) Photosensor (7) Light (8) Alarm bell (9) Desktop computer (2) Landlord (3) Key (5) Device preferences (10) Tenant accounts (11) Log of accesses
5 Example of Problem Domains PROBLEM WORLD & DOMAINS (PARTS) Software-to-be (1) Tenant (4) List of valid keys (3) Lock (6) Photosensor (7) Light (8) Alarm bell (9) Desktop computer (2) Landlord (3) Key (5) Device preferences (10) Tenant accounts (11) Log of accesses

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

View Full Document
6 Example of Problem Domains Software-to-be (1) Tenant (4) List of valid keys (3) Lock (6) Photosensor (7) Light (8) Alarm bell (9) Desktop computer (2) Landlord (3) Key (5) Device preferences (10) Tenant accounts (11) Log of accesses
7 Definitions … phenomenon   is a fact or object or occurrence that appears or is  perceived to exist An  event  is an individual happening, occurring at a  particular point in time Events are indivisible and instantaneous state  is a relation among individual entities and values,  which can change over time Individuals are in  relation  if they share a certain  characteristic RelationName ( Individual 1 , …, Individual n )

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/21/2012 for the course ECE 452 taught by Professor Parashar during the Spring '08 term at Rutgers.

### Page1 / 27

SElec-10 SysSpec-Intro (1) - LECTURE 10: Specifying Systems...

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

View Full Document
Ask a homework question - tutors are online