|
|
Comp 601 - overall
Jan, 7th 2008
Research strategic plan
-
Comp 601:
- General Testing techniques.
- Testing Matrix - Papers.
- Challenges
-
Proposed Solution
- Testing framework using DEVS
- Implementation and application
- Advantages and Dis-Advantages
-
More efficient implementation
- Testing framework running using Distributed DEVS
- Testing framework using time-warp (Distributed) DEVS
- Advantages and Dis-Advantages of each.(which testing context will this make easier and more systematic ?)
-
Semantic domain testing
- Using Testing framework in the context of doing semantic equivlance - petri-nets
two more aspects that are related, I would like to work on:
-
Testing of Embedded/Distributed Systems
- Instrumentation
- Product Lines
- Automatic Test of Requirements, Transformations.
-
HOT (higher order transformation)
- Implement Mutation testing framework for ATOM3 rules
Places to look for papers:
- ICMT
- ICST
- Sosym
- Models Conferences
- SLE Conferences
Mind Map - Paper gap analysis - Trac
Sept, 17th 2008
Mind Map of Research
Will be added in its own section.
Paper gap analysis
Things still need to be added.....
Trac
Repository, branches, what to check in. naming scheme, naming schemes....
Fall Courses and Projects - 2
Sept, 10th 2008
The meeting minutes are summarized in the following mind map
Fall Courses and Projects
Sept, 4th 2008
Distributed Motif Project
This project has three parts:
- implement the class diagram to RDBMS transformation using MoTif. this will allow for an automatic transformation of any
meta model ( specified in class diagrams formalism) into a database schema. where records representing model instances can be described
- implement the rules compiler ( the GG grammer visual rules) into efficient queries on the previously produced schema.
After this step, Any Motif transformation can run on a database end, helping dealing with very large models. this work has been done
by varro, and could be mimicked.
- Distribute the execution of MoTif. this is still slightly vague, we will need to disscuss this with Eugene
Simulation Project Possibilities
The Project need to be based on simulation. most of the ideas were based on enhancing or extending the DEVS simulator. here is a list:
- Symbolic Flattening
- Symbolic Optimization
- Hierachy -> Direct connections
- Activity Tracking
- Distributed ( performance , state space )
- Nested Time ( related to testing )
Trac stuff
Talk to Andrew and setup trac
Summer plans and thesis
June, 20th 2008
- Discussion about the thesis:
- Courses: I still have to take three courses. I have chosen Software Evolution, Distributed Systems, and the Simulation course.
Hans highly encourges me to take prakash's course on model consistency.
- Reading Course: I have registered for this course the past year, but have not yet finished it. in fact the outcome of this course should
form the first chapter of my thesis, and hence I need to start keeping track of the papers i read so I can synthesize them.
- Thesis Mind Map: I need to start sketching a mind map that describes the different chapters of my thesis.
I think i will add soon a page to this navigation menu to display it. it's understood that the evolution of this map will always exist.
- Thesis Work: the thesis will need and be evaluated by work and contributions.
-
Work related to the paper:
- Add more example test cases
- demonstrate finding bugs
- Compare to gray's framework
- demonstrate variability:
- Input generator : Use XMI translator, maybe to get Sagar's generated inputs, and maybe XML
- Acceptor blocks:
- Post Conditions through criteria
- XML diff
- Criteria matching for models
Summer's big picture
May, 11th 2008
-
This was a massive MSDL meeting; Hans, Reehan, Eugene, Charles, Nicolae, Xiaoxi and me were there. We introduced ourselves and
the projects we're working on. Hans made a huge diagram on the blackboard, wrote down the topics/projects and, under them, the
names of the present and future members of the lab.
-
Kernel: Xiaoxi Dong will be working in developing the new kernel
of AToM3 (AToM3 Redux). AToM3's meta-model is Class Diagrams and, while in the current version constraints and actions must
be coded using Python, in the new AToM3 constraint and actions will me modelled too, as it should be! This is a huge project,
and will affect everyone, so very probably we'll all have something to do with the kernel.
-
Textual: Reehan Shaikh is already working on a Modelica compiler for AToM3.
-
Visual: If I understood correctly, Nicolae Rusan is going to help Jacob Beard
on improving the visual appearance of model editing in AToM3, plus building a web-based model editing version of AToM3 (because, ultimately,
we'd like AToM3 to be completely web-based). Nicolae may perform further work on this after Jake.
-
Transformation/Version control: This is almost entirely Eugene Syriani's territory.
I guess he will be performing some more work on the MoTif compiler. The main difficulty of developing the version control is detecting differences
between models.
-
Testing: Amr Al Mallah will be performing further work on his personal project for the
course COMP763, about testing model transformations. Sagar Sen and
Benoit Baudry, from Universite de Rennes, and Massimo Tisi, from Politecnico di Milano, are also joining the lab during the Summer,
and are going to work on model testing too.
-
Multi-view & multi-user: Our AToM3 partners in Madrid, Juan de Lara and Esther Guerra,
have been working on this for a long time already. We'll intend to have semi-regular Skype meetings with them. Apparently, Eugene is also going to be
involved in this part too.
-
Statecharts/Applications: Raphael Mannadiar may be joining the lab to perform further work on his PhoneApps/Google Android application.
I'll be working with the iRobot Create. Hans suggested the possibility of building a visual application to easily model the robot's behaviour,
a tool that could be used by anyone. Chahe Adourian, working for the Canadian Space
Agency, is also joining the lab during the Summer to perform work on consistency between mechanical CAD and mechanical dynamics.
|