Starting Introduction Project description Project demonstration Conclusion Question.

Slides:



Advertisements
Similar presentations
A Tool for the Design and Verification of Composite Web Services María Emilia Cambronero, Gregorio Díaz, Valentín Valero and Enrique Martínez Universidad.
Advertisements

1 Project: Implementation of a Portal for Telenor R&D Presentation at NTNU, IDI. December 12, 2002.
Does God exist? Learning Outcomes Learning Outcomes To know one argument in favour of the existence of God To know one argument in favour of the existence.
Corso di Sistemi in Tempo Reale Laurea in Ingegneria dell‘Automazione a.a Paolo Pagano
MIDDLE EAST TECHNICAL UNIVERSITY COMPUTER ENGINEERING DEPARTMENT CENG 491 – COMPUTER ENGINEERING DESIGN I DSK4BRM.
Hybrid Approach to Model-Checking of Timed Automata DAT4 Project Proposal Supervisor: Alexandre David.
Learning designs Learning Designs Kim Tucker. Learning designs Learners will be able to … Provide a rationale for using multiple learning designs. Draft.
28/11/2001 SOC Metadata Catalogue System Fabio Venuti.
Geographic Information Systems and Science SECOND EDITION Paul A. Longley, Michael F. Goodchild, David J. Maguire, David W. Rhind © 2005 John Wiley and.
BY CHRIS ANDERSON Creating a MIDI Generator Program.
Practical project in software engineering Feed reader project (Feedr) by Michael, Søren, Jonas and Therese.
Human Computer Interaction (HCI)
1 REQUIREMENTS ENGINEERING and SYSTEMS ANALYSIS Elements and Definitions.
Copyright © 2005, GemStone Systems Inc. All Rights Reserved. A Capstone with GemStone David Whitlock April 18, 2005.
FPGA-Based Systems Design Flow in Action By: Ramtin Raji Kermani.
Systems Thinking and Systems Engineering Verification & Validation 14 March 2013 Francois Christophe Galina Medyna Eric Coatanéa.
UPPAAL Ghaith Haddad. Introduction UPPAAL is a tool for modeling, validation and verification of real-time systems. Appropriate for systems that can be.
The Systems Development Methodologies. Objectives  Describe the information Systems Development Life Cycle (SDLC)  Explain prototyping  Explain Rapid.
Pooria Varahram received the Bachelor degree in Electrical, Electronics Engineering from the Khaje Nasir University, Tehran, Iran in Later, he received.
Enhanced State Estimation by Advanced Substation Monitoring PSerc Project Review MeetingTexas A&M University November 7, 2001 College Station, TX PIs:
Requirements Engineering ments_analysis.
LloydBank ATM Project Engineering Project Design Team: Saud Malik Brittany Johnson Joseph Garrison.
Department of Communication Engineering, NCTU
Communication Networks (Kommunikationsnetværk) Specialisations: Distributed Application Engineering Network Planning & Management Ole Brun Madsen Professor.
Martin Nicolay SyncML Client for c´man Framework for Symbian devices
Topic Cafeteria Management System GROUP : 9 TEAM 1.
Mark Dixon 1 Tech – Introduction. Mark Dixon 2 Module Aims give you experience of: –The Software Development Lifecycle Analyse (of Problem / Application.
Resource Manager for Distance Education Systems Goran Kimovski Vladimir Trajkovik Danco Davcev Faculty of Electrical Engineering and Computer Science,
OHTO -99 SOFTWARE ENGINEERING LECTURE 7 Today: - Design principles: - maintainability & localisation - Testing & testing plan.
Teaching Matlab Based Toolbox for Antenna Course Olivier Vidémé Bossou-Juan R. Mosig
OHTO -01 SOFTWARE ENGINEERING LECTURE 3 Today: Requirements Analysis Requirements tell us what the system should do - not how it should do it.
Personal Project. Topic Modeling and Presenting Data from a Publication Objectives –Using XML related techniques to model and present data from a publication.
Performance of New the ACL Cesar Cavazos Accounting Information Technology (AIT)
Author: Alex Groce, Daniel Kroening, and Flavio Lerda Computer Science Department, Carnegie Mellon University Pittsburgh, PA Source: R. Alur and.
Research Report. Introduction Introduce the research problem Introduce the research problem Why is the study important and to whom Why is the study important.
Requirement Engineering. Recap Elaboration Behavioral Modeling State Diagram Sequence Diagram Negotiation.
NSF/STEER Program California State University, Los Angeles Summer 2003 Digital Signal Processing Laboratory Mentored by Dr. Jeffrey Y. Beyon Presented.
1. The Requirements Process Requirements Input Example
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
Requirements Engineering Processes. Syllabus l Definition of Requirement engineering process (REP) l Phases of Requirements Engineering Process: Requirements.
Requirements Engineering ments_analysis.
Metis Matt Huschart June 6, 2002 Flashcard Learning Web Site.
Game Design Document Pertemuan 4 Matakuliah: T0944-Game Design and Programming Tahun: 2010.
29 September 2004Spartacus Computing Solutions1 Welcome Mr. Brian Smith, Siena College Webmaster & Ms. Kate Zimmerman, Siena College Academic Program Administrator.
Presented by SUNIL A.G..  Introduction to embedded systems.  Design of embedded system in general  Amount of hardware needed.  Optimizing power dissipation.
The Development of IEEE Standards for the Rail Transit Industry June 2000 Thomas J. McGean, P.E.
SEESCOASEESCOA SEESCOA Meeting Activities of LUC 9 May 2003.
44222: Information Systems Development Prototyping & The Problem Statement Ian Perry Room: C49 Extension: 7287
Mobile Analyzer A Distributed Computing Platform Juho Karppinen Helsinki Institute of Physics Technology Program May 23th, 2002 Mobile.
Week 1 - Introduction. The Grades Weeks 1 reading week 3 weeks holiday 4 Assignments consisting of 7 Pass Criteria 4 Merit Criteria 2 Distinction.
> Wake up, Davie... > Wake up.... > The MATRIX^H^H^HMeeting Manager has you...
Scripting Languages And Environments Paul Fitzpatrick for Abdur Rahman.
INTEGRATED ONTO-BASED INFORMATION ANALYTICAL ENVIRONMENT OF scientific RESEARCH, PROFESSIONAL HEALING AND E-LEARNING OF CHINESE IMAGE MEDICINE Lupenko.
Conference Registration Management Application
Project Title BACKGROUND RESULTS AIM METHODS SOLUTIONS CONCLUSIONS
CHAPTER 14 Hospitality and Recreation Marketing Research Event
Department of Engineering
(B.P :51) ( B:P52 ).
Level - 3 Process Areas (CMMI-DEV)
PI: Michael Richardson
User Interface Agent Matias Kassala JYPE
Technical Management Processes
{Insert your name here}
ENTSO-E Transparency Platform Vision Project
ELEG 3124 Signals and Systems
Engineering Processes
CEN 5035, Software Engineering
R. Hayden Anderson & Kyle Prouty
Introduction to Modeling
What is a WebQuest? Guided search for information
Presentation transcript:

Starting Introduction Project description Project demonstration Conclusion Question

introduction Group introduction – Group members: Dirk Michael Martin Qing

Introduction Member responseblilies – Dirk – Michael – Marion – Qing

Project description What this project about Purpose Why having that purpose How did we design How we implement How we test problems

Project demonstration Dirk and michael will demostration and explaining the show

Conclution Our simulator has some inspirations from UPPAAL, as UPPAAL has two parts consisting: – Validation (graphical user interface) – Verification ( automatic model-checking) Out simulator has 3 parts: – GUI – Engine – simulator

Technical skills How to implement a protocol. How to implement a graphical user interface. How to implement an engine

Better theory understanding AODV DSDV DSR BP