108-11-05 GUI for development of REMES models REMES GUI group.

Slides:



Advertisements
Similar presentations
Timed Automata.
Advertisements

10/24/2010 Distributed Software Development. 10/24/2010 Content Recommendation and Reuse Current state – Beta Prototype Hamid Riaz, Loredana Baračić.
Documenting a Software Architecture By Eng. Mohanned M. Dawoud.
2004 Cross-Platform Automated Regression Test Framework Ramkumar Ramalingam, Rispna Jain IBM Software Labs, India.
A Brief Introduction. Acknowledgements  The material in this tutorial is based in part on: Concurrency: State Models & Java Programming, by Jeff Magee.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
Modular Specification of Hybrid Systems in CHARON R. Alur, R. Grosu, Y. Hur, V. Kumar, I. Lee University of Pennsylvania SDRL and GRASP.
Testing Without Executing the Code Pavlina Koleva Junior QA Engineer WinCore Telerik QA Academy Telerik QA Academy.
Implementation of MAS issues M. Birna van Riemsdijk ProMAS TFG 2005.
Demystifying Architectural Styles Nikunj Mehta 3/11/02Demystifying Architectural Styles2 Agenda Architectural Styles The Alfa Project Architectural framework.
University of Pennsylvania 1 SDRL CHARON SDRL and GRASP University of Pennsylvania Funded by DARPA ITO.
DIVES Alur, Lee, Kumar, Pappas: University of Pennsylvania  Charon: high-level modeling language and a design environment reflecting the current state.
Senior Design – Acceptance Test Plan Review The goal is to: define the criteria for approving the application. Tightly coupled to the Requirements document.
Computer Software.
110/29/12 These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
Lecture 4 Component Behavioral Modeling with REMES Advanced Component-Based Software Engineering.
GUI for development of REMES models REMES GUI group.
S/W Project Management
1 Using Technology in ELI Emerging Leaders Institute 2000.
UML - Development Process 1 Software Development Process Using UML (2)
Public Advice Traveling Help DSD Course – Project final Presentation School of Innovation, Design and Engineering Malardalen University Jan 15 th, 2008.
This presentation will be all about s, etiquette and software. I will be going through each one of these individually and thoroughly step.
EasyBoard Share schedule and ideas in a twinkle. EasyBoard Goals Application features Technologies used Schedule Problems that we can meet Questions?
1 CSE 2102 CSE 2102 CSE 2102: Introduction to Software Engineering Ch9: Software Engineering Tools and Environments.
(C) 2009 J. M. Garrido1 Object Oriented Simulation with Java.
Group 8: Shenanigans Mike Ostrowski Josh Patsey Michelle Boomer Tom Parks Levent Niazi.
4 - 1 Copyright © 2006, The McGraw-Hill Companies, Inc. All rights reserved.
 The ability to develop step by step procedures for solving problems  She uses algorithmic thinking by setting up her charts.
1/10/2010 These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
The Multimedia Team. Careers in Multimedia u Executive Producer u Production Manager u Multimedia Director/Architect u Art Director u Interface Designer.
Transformation of Timed Automata into Mixed Integer Linear Programs Sebastian Panek.
Page 1, CBSE graduate course Lecture 4 Component Behavioral Modeling with REMES.
Ch 1. A Python Q&A Session Spring Why do people use Python? Software quality Developer productivity Program portability Support libraries Component.
Project Plan for nSite Central Michael Dunn Ryan Sessions Kyle Kerrigan.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
- 1 - Embedded Systems - SDL Some general properties of languages 1. Synchronous vs. asynchronous languages Description of several processes in many languages.
Selected Topics in Software Engineering - Distributed Software Development.
Advanced Topics in Software Engineering Marjan Sirjani Tehran University Faculty of Engineering ECE Department Tehran,
1 Construction Chapter Key Concepts Be familiar with the system construction process. Understand different types of tests and when to use Understand.
Ensures project work is divided evenly and everyone has the necessary resources to keep the project on track as well as making sure all members contribute.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer Science.
Page 1, CBSE graduate course Lecture 4 Component Behavioral Modeling with REMES.
GUI for development of REMES models REMES GUI group.
William Sanborn Pfeiffer Kaye Adkins
FORESTUR How to work… …with this training platform? …with this methodology?
THE POSTMORTEM Chapter 10 Introduction to Team Software Process.
Project Management Organization Scheduling 31 January.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
111/07/07 SaveUML Project Mälardalen University (MDH), Västerås, Sweden Faculty of Electrical Engineering (FER), Zagreb, Croatia.
Oman College of Management and Technology Course – MM Topic 7 Production and Distribution of Multimedia Titles CS/MIS Department.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
CSC480 Software Engineering Lecture 7 September 16, 2002.
Page 1, CBSE graduate course Lecture 4 Component Behavioral Modeling with REMES.
10/24/2010 Distributed Software Development. 10/24/2010 Content Recommendation and Reuse Current state – Alpha Prototype Hamid Riaz, Loredana Baračić.
Supervisor: Aneta Vulgarakis transfoREMES.
Business Communication Workshop Course Coordinator:Ayyaz Qadeer Lecture # 7.
Intro to Distributed Systems Hank Levy. 23/20/2016 Distributed Systems Nearly all systems today are distributed in some way, e.g.: –they use –they.
Introduction to UML and Rational Rose UML - Unified Modeling Language Rational Rose 98 - a GUI tool to systematically develop software through the following.
GroupRocket.net. Years back checking s in the morning was the first ever thing most of the professionals would start their day with. And with the.
Supervisor: Tran Dinh Tri Group Members: Duong Ngoc Nhat-NhatDN01687 Nguyen Quang Minh-MinhNQ01717 Nguyen Quang Minh-MinhNQ01717 Duong Hoang Nam-NamDH01552.
1 Using Technology in ELI Emerging Leaders Institute 2000.
Chapter4 COMPUTER HARDWARE. Goal: … Learning outcome:... Objective: – Describe several important trends occurring in computer software. – Explain the.
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
Compositional Refinement for Hierarchical Hybrid Systems
PPT and video are due no later than March 1, 2019
Joint Application Development (JAD)
Presentation transcript:

GUI for development of REMES models REMES GUI group

Summary of contents What is REMES GUI and Tools Project Group & roles Project Risks Communication Project Plan

What is REMES? 1/4 REsource Model for Embedded Systems Graphical modeling language –Component behaviours Formally analysable models by translation into priced timed automata models Functional and extra-functional behavior of a system –Functional behavior –Component wise, resource consumption of systems Various kinds of resources: memory, cpu, ports, bandwidth, etc

What is REMES? 2/4 Language constructs –Modes Two types: atomic, composite Control interface: entry, exit, init Data interface: shared variables (global, local)‏ Constraints: invariants over continuous variables Urgent mode –Composite modes Internal structure with inner modes and edges Edge types: entry, exit, init, conditional top, conditional discrete, internal –System as composition of composite modes

What is REMES? 3/4 Illustration

What is REMES? 4/4 REMES Language Semantics E xecutional behavior of modes In terms of 'delay' and 'discrete' transitions –Delay transitions: occur at a mode and represents activeness of the mode –Discrete transitions: where action transitions i.e. Edges between modes execute and hence mode changes Internal modes of a composite mode execute sequentially Composite modes can be composed and execute in parallel

Java Swing SVN Tool and GUI

Project Groups Josip MaričevićKrešimir Krečak Anuradha Suryadevara (Project Leader) Bariša Obradović (Team Leader) Aneta Vulgarakis (Main supervisor) Vidar RinneGuido DiodatoPablo Ibanez Ana Petričić (Secondary supervisor) MdHFER

Roles and Work Distribution NamesSchoolRoles Anuradha SuryadevaraMdHProject Leader, document manager, domain acknowledgement Guido DiodatoMdHDesign, testing, coding Vidar RinneMdHDesign, coding Pablo IbanezMdHGUI Bariša ObradovićFERTeam Leader, GUI Josip MaričevićFERSVN Manager, testing, coding Krešimir KrečakFERTesting, coding

INTERNAL COMMUNICATION PROBLEMS. CUSTOMER COMMUNICATION PROBLEMS MEMBERS DROPPING OF TOOLS LACKING FUNCIONALITY. BEING LATE. Project Risks

HOW TO AVOID THIS?? EVERYONE SHOULD USE GOOGLE GROUP TO SCHEDULE TIME FOR AVAILABILITY AND SHARE FILES. TRY TO SCHEDULE MEETINGS WELL IN ADVANCE. LIMIT TO S WHEN THE COMMUNICATION ARE NOT POSSIBLE KEEP GOOD WORKING ATMOSPHERE Project Risks

HOW TO AVOID THIS?? MAKE THOROUGH ANALYSIS OF AVAILABLE OPTIONS BEFORE COMMITTING TO ONE TOOL. DO AS MANY TASKS AS POSSIBLE IN PARALLEL. BE PREPARED TO WORK OVERTIME. Project Risks

Impossible to meet face to face Communication technologies are indispensable Communication 1/4

 Many technologies are available for communicating... Chat and video conference (Skype) (Gmail) Web group and mailing list (Google Groups) Communication 2/4

Communication 3/4 .. and for choosing the meeting day? Doodle (opinion poll)

Communication 4/

Activity plan