Towards a Platform for Widespread Embedded Intelligence - ERCIM

More documents

Recommendations

Info

JJOINT ERCIM ACTIONS ERCIM Working Group on Software Evolution Spawns Local Chapters by Tom Mens, Jean-Marie Favre and Salah Sadou The ERCIM Working Group on Software Evolution has begun to establish some local chapters in order to achieve a better dissemination of results at a national level and to achieve a better interaction with local companies. This is important since the language barrier is still an issue in many countries and the introduction of national activities that are carried out in the native tongue address this problem. The first national chapter of the Working Group, RIMEL (an acronym for Rétro- Ingénierie, Maintenance et Evolution des Logiciels), was set up in France in spring 2006. Its main objective is to bring together French teams working on reverse engineering, maintenance and software evolution. In France, RIMEL will become part of a national Groupement De Recherche (GDR) on Programming and Software Engineering, an ongoing initiative. RIMEL brings together more than 20 groups from academia and five groups from industry. It promotes software evolution as a major topic in the French research and education community, as well as in industry. In order to tackle the many scientific challenges that arise in this vast and important research domain, RIMEL includes teams from various disciplines, for example database systems, model-driven engineering, software 8 ERCIM News No. 67, October 2006 visualisation, and service-oriented architecture to name but a few. In 2006, RIMEL organised four important events in France in collaboration with the WG on Software Evolution: • In March 2006, a one-day workshop on software evolution took place, attached to the French-speaking conference Langages et Modèles à Objets (LMO) in Nîmes. The workshop's main goal was to provide PhD students with the opportunity to present their ongoing research in their mother tongue. The workshop style gave plenty of room for lively discussions. • In April 2006, the main annual workshop of the WG on Software Evolution in Lille was organised in close collaboration with some of the RIMEL members. As such, it attracted 14 French participants, making up more than one third of the total number of participants. ERCIM Environmental Modelling Workshop by Thomas Lux The 13th workshop of the ERCIM Working Group Environmental Modelling was held on 31 August - 1 September 2006 at Fraunhofer FIRST, Berlin, Germany. Members of the ERCIM Working Group Environmental Modelling participated along with researchers from Fraunhofer FIRST and their co-operation partners in the 13th workshop in order to present their recent research work and to discuss the current trends and developments in the field of environmental modelling. Research issues that have been addressed include: European operational air quality forecast, satellite data assimilation for air quality forecast, modelling and simulation of processes in the soil and groundwater zone, and especially current aspects of using Grids and Grid workflows for different environmental applications. It was an enjoyable meeting with interesing scientific subjects and fruitful discussions as well as a pleasant social event which gave reason to remember the founding of the working In June 2006, the official kick-off meeting took place, as part of the French days on Model-Driven Engineering (Ingénierie Dirigée par les Modèles – IDM). • In September 2006, during the first French-speaking Conference on Software Architectures in Nantes (Conférence sur les Architectures Logicielles - CAL), RIMEL organised two working sessions devoted to architectural evolution and software maintenance and re-engineering, respectively. RIMEL will continue to be very active in the future, and we hope to exploit the success of this initiative to start similar initiatives in other European countries. Links: Working Group web site: http://w3.umh.ac.be/evol/ RIMEL website: http://planetmde.org/rimel Please contact: Jean-Marie Favre, Laboratoire LSR, Institut d'Informatique et Mathématiques Appliquées de Grenoble Tel: +33 4 76 63 55 71 E-mail: jean-marie.favre@imag.fr group which was quite exactly ten years ago. Link: Working Group web site: http://wwwold.first.fhg.de/ercim/ Please contact: Achim Sydow, ERCIM Environmental Modelling Working Group coordinator E-mail: achim.sydow@first.fraunhofer.de
FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems by Luboš Brim and Martin Leucker The 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 06) was held in Bonn, Germany, on August 26-27, 2006 as a satellite event to the 17th International Conference on Concurrency Theory (CONCUR 2006). The workshop, being also an annual meeting of the ERCIM Working Group, continued successfully the aim of FMICS workshop series - to promote the use of formal methods for industrial applications, by supporting research in this area and its application in industry. The emphasis in these workshops is on the exchange of ideas between researchers and practitioners, in both industry and academia. Previous workshops were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2000), Malaga (July 2002), Trondheim (July 2003), Linz (September 2004), and Lisbon (July 2005). The 2006 workshop was organized by the Masaryk University Brno and the Technical University Munich. Forty two registered participants from academia and industry from about eleven countries attended the workshop. This year the program committee received a record number of submissions. The 16 accepted regular contributions and 2 accepted tool papers, selected out of a total of 47 submissions, cover formal methodologies for handling large state spaces, model based testing, formal description and analysis techniques as well as a range of applications and case studies. The workshop program included two excellent invited talks, respectively by Anna Slobodova from Intel on 'Challenges for Formal Verification in Industrial Setting' and by Edward A. Lee from University of California at Berkeley on 'Making Concurrency Mainstream'. The award for the best paper was granted this year to Michael Weber and Moritz Hammer for their excellent paper 'To Store or Not To Store' Reloaded: Reclaiming Memory on Demand" on the techniques for handling extremely large state spaces in model checking of computer systems. The award was granted Best paper award winners Michael Weber and Moritz Hammer. with the support of the European Association of Software Science and Technology (EASST). The final proceedings of the workshop will be published jointly with the 5th International workshop on Parallel and Distributed Methods in Verification (PDMC 2006) as post-proceedings in the Springer's Lecture Notes in Computer Science. Selected papers will be invited for publication in a special issue of the International Journal on Software Tools for Technology Transfer. The organizers wish to thank CONCUR for hosting the FMICS 2006 workshop and taking care JOINT ERCIM ACTIONS of many administrative aspects, and ERCIM for its financial support of the workshop. Additionally, the organizers would like to thank EASST (European Association of Software Science and Technology), Faculty of Informatics, Masaryk University Brno and the Technical University Munich for supporting this event. Link: FMICS Working Group: http://www.inrialpes.fr/vasy/fmics/ Please contact: Pedro Merino Gómez, ERCIM FMICS Working Group coordinator, Universidad de Málaga / SpaRCIM Tel: +34 952 132752 E-mail: pedro@lcc.uma.es http://www.lcc.uma.es/~pedro ERCIM News No. 66, Otober 2006 9
Page 1 and 2: European Research Consortium for In
Page 3 and 4: 37 Materials with Intelligence by S
Page 5 and 6: Cor Baayen Award 2006 for Oliver He
Page 7: 7 Joint DELOS - MUSCLE Summer Schoo
Page 11 and 12: 2.Europe-specific security and depe
Page 13 and 14: COPRAS 'ICT Research and Standardiz
Page 15 and 16: tems and on a very specialised aspe
Page 17 and 18: Figure 2: TTIP - Time-Triggered Ima
Page 19 and 20: Each car is equipped with a receive
Page 21 and 22: iCat - A Friendly Robot that Helps
Page 23 and 24: Triggered Ethernet) can be a basis
Page 25 and 26: iments. We tested and evaluated sev
Page 27 and 28: New Tool to Design the Behaviour of
Page 29 and 30: threads is based on the ticks of a
Page 31 and 32: A European Ambient Intelligence Res
Page 33 and 34: Ecology is defined by EASE as resea
Page 35 and 36: Towards a Platform for Widespread E
Page 37 and 38: Figure 2: Extending SOA with intero
Page 39 and 40: The CRUISE Project - Network Initia
Page 41 and 42: leading the project, VTT (Finland),
Page 43 and 44: taking pictures at an event to merg
Page 45 and 46: Formally Bounded Embedded Systems b
Page 47 and 48: cases with separate proposals, all
Page 49 and 50: embedded devices, but threaten the
Page 51 and 52: Figure 1: Contacting a single molec
Page 53 and 54: The devices in the ad-hoc network r
Page 55 and 56: Databases Modular Access to Large S
Page 57 and 58: BELIEF digital library web interfac
Page 59 and 60:
study. However, one result of the T
Page 61 and 62:
strated at the Heraklion prefecture
Page 63 and 64:
One problem for these more widely d
Page 65 and 66:
Figure 1: The Pondcaster interactiv
Page 67 and 68:
67 EVENTS ECDL 2006 - 10th European
Page 69 and 70:
Participation Participation was up
Page 71 and 72:
XP2006 - Extreme Programming and Ag
Page 73 and 74:
Call for Papers ECOOP 2007 - 21st E
Page 75 and 76:
ISTI-CNR - Donatella Castelli coord
show all

Towards a Platform for Widespread Embedded Intelligence - ERCIM

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?