SElec-10 SysSpec-Intro (1)

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

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

View Full Document Right Arrow Icon
Ivan Marsic Rutgers University LECTURE 10: Specifying Systems - Intro
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 Topics Domains, Phenomena States, Events Context Diagrams Systems and System Descriptions Basic Formalisms for Specifications Boolean Logic Finite State Machines
Background image of page 2
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
Background image of page 3

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

View Full DocumentRight Arrow Icon
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
Background image of page 4
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
Background image of page 5

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

View Full DocumentRight Arrow Icon
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
Background image of page 6
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 )
Background image of page 7

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

View Full DocumentRight Arrow Icon
Image of page 8
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 Right Arrow Icon
Ask a homework question - tutors are online