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