Download CS5111 - Spring 2006 Preliminary Presentation Project 3

CS511 - Spring 2006
Preliminary Presentation
Project 3 - Team 1
Ching Chang
Panagiotis Papapetrou
Raymond 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
Requirements
Definition
System and
Software Design
Implementation
and Unit Testing
Integration and
System Testing
Operational
Maintanance
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