CS511 - Spring 2006Preliminary Presentation

Project 3 - Team 1

Ching ChangPanagiotis PapapetrouRaymond Sweha

Outline

Project Management

Progress Diagrams

Requirements Specification

Web-site

Demo

Conclusions

Purpose of the Project Creation of a graphical "programming" interface for a sensor network

tasking language STEP (Sensor Task Execution Plan). 

The graphical interface allows the user to specify a program

execution graphically and save the results as a properly formatted

STEP file.

The software will be able to load a file in STEP format and convert it

to the corresponding graphical representation. 

During both phases a type-checker will be running on the

background to ensure that both the graphical representation and the

STEP file are syntactically correct. 

Project Management (1/3)The Waterfall Model

RequirementsDefinition

System andSoftware Design

Implementationand Unit Testing

Integration andSystem Testing

OperationalMaintanance

Project Management (2/3)Pert Diagram

Project Management (3/3) Gantt Diagram

Requirements Specification (1/2)Functional Requirements

Design of a graphical “programming”

interface for STEP.

Recognize STEP-formatted execution files.

Have the ability to handle syntax errors online.

Recognize SNAFU-formatted execution files.

Requirements Specification (2/2)Interface Requirements GUI

Set of buttons that offer the user all the functionalities needed to design the appropriate modules of a STEP program. 

Area where the user designs the execution and where all the objects are placed. 

Current version of the STEP file. Area where the syntax errors are shown.

INPUT STEP-formatted file or SNAFU-formatted file.

OUTPUT A syntactically correct STEP file, created based on the graphical

execution design.

Type-checker One function – two :

Validate online after each step Validate on demand

Types of Exceptions: IllegalChildException:

ForwardIllegalChildException: a node links to the wrong forward child. BackwardIllegalChildException: a node links to the wrong backward child

(feedback). UnlinkedNodeException: a node is not linked (has no children or parent or

both). RepeatedIdException: the id of a node already exists. InvalidLeafException: the type of a Leaf node should be: LastTriggerEval,

Value, Constant, ... InvalidRootTypeException: the type of the Root should be "stepgraph".

Web-site

http://cs-people.bu.edu/panagpap/511

Demo

Conclusions So far…

Preliminary GUI design

GUI-to-STEP

Type-checker (preliminary version)

Next…

Step-to-GUI

Complete Type-checker

Recognize SNAFU files