ArtistDesign Noe jpia year 4
Staff Mobility and Exchanges
Download 382.33 Kb.
|
- Navigate this page:
- -- All new text: this entire chapter pertains only to activity in Year 4.
- 3.2SW Synthesis, Code Generation and Timing Analysis cluster
- -- The above is new material, not present in the Y3 deliverable
3.Staff Mobility and ExchangesStaff Mobility and Exchanges between teams are essential for integration within and beyond the NoE, including mobility of students and/or researchers, between core teams, or between core teams and affiliated teams. Mobility should be justified by and refer to involvement in an activity from the JPRA or JPIA, or one of the following: co-funded scholarships with industry; exchange of students and personnel within the consortium. -- All new text: this entire chapter pertains only to activity in Year 4.--3.1Modelling and Validation clusterDuring the 4th year the collaboration between partners has been intensified, with a high number of joint acitivities and publications involving exchange of staff: We highlight the following collaborative efforts referring to the more detailed description in the activity reports on Modeling and Validation:
The activites involve more than 25 exchange vistist of more than 1 week duration. 3.2SW Synthesis, Code Generation and Timing Analysis clusterVisiting researcher: Prof. Reinhard Wilhelm (Saarland University) Team visited: IRIT, Université Paul Sabatier Grenoble, November 2011, Purpose: Habilitation of Christine Rochange
Team visited: Compiler Design Lab, Saarland University, November 2011 Mihail visited Reinhard Wilhelm’s group and AbsInt to learn about the Saarland timing-analysis technology and in particular about the derivation of abstract processor models. Mihail cooperates on the K framework.
Reason for the visit: Discuss connections and cooperation between the flow-analysis research at Mälardalen University and Benedikt Huber’s work with building an open timing analysis platform at TU Vienna. Jan Gustafsson also made a presentation of a current paper, published at RTNS 2011: “Automatic Generation of Timing Models for Timing Analysis of High-Level Code” for Peter Puschner’s group and invited listeners. Conclusions/objectives reached: Benedikt Huber’s work on an open timing analysis platform was published at the WCET workshop in Porto 2011. His work includes using an open compiler framework (LLVM), flow analysis (using the SWEET tool from Mälardalen University), low-level analysis (using aiT from AbsInt) and a target platform (using LEON3). During the meetings during the visit, Mälardalen University and TU Vienna decided to intensify the cooperation to enhance our methods and tools. Especially, we will together enhance the development the C to ALF translator (developed at TU Vienna) and SWEET (developed at Mälardalen University, with the goal of a fully automatic WCET analysis of C programs. Areas that will be explored are handling of library functions and absolute addresses in C, and the different merging strategies that need to be used in SWEET. We also discussed cooperation in the area of automatic generation of timing models for timing analysis of high-level code, and timing measurement techniques. Visiting student: Volker Seeker (Technical University of Berlin) Team visited: Compiler and Architecture Design Group, Björn Franke (University of Edinburgh) Edinburgh, United Kingdom – October 2010 to January 2011 Reason for the visit: Volker Seeker was a student of Computer Science at the Technical University of Berlin. He spent a couple of months at the University of Edinburgh to work on his master thesis. The topic of his thesis is “Design and Implementation of an Efficient Instruction Set Simulator for an Embedded Multi-Core Architecture”. Volker’s thesis has been jointly advised by Björn Franke (Edinburgh) and Sabine Glesner (Berlin). In September 2011, Volker Seeker’s master thesis won the SET (Science, Engineering and Technology) award in the category “Best Information Technology Student” in London. Since November 2011, Volker Seeker has been a PhD student at the University of Edinburgh -- The above is new material, not present in the Y3 deliverable --Directory: docs -> Events -> 2012 -> ArtistDesign Y4 Review -> Deliverables -> reference versions docs -> Traditional British values docs -> From Warfighters to Crimefighters: The Origins of Domestic Police Militarization docs -> Borzoi Club of America Register of Merit Program I. What is a Register Of Merit docs -> Protecting the rights of the child in the context of migration docs -> United Nations E/C. 12/Esp/5 docs -> 9th May 1950 the schuman declaration docs -> Getting To Outcomes® in Services for Homeless Veterans 10 Steps for Achieving Accountability reference versions -> Cluster: Hardware Platform and mpsoCs D13- 2)-Y4 reference versions -> Cluster: Modeling and Validation D6- 2)-Y4 Events -> Augmented Reality Games Sources Download 382.33 Kb. Share with your friends:
|