ERCIM Working Group Report

Project: DECOS

• Funding: EC FP6
• Status: Active
• Date: 2004-07-01 to 2007-12-31
• Contribution: 9 Mio €
• description:

  DECOS (Dependable Embedded Systems) is an Integretd Project of FP6, Call2, Embedded Systems. It targeted in developing an architecture, middle-ware (\"high-level services\") on top of time-triggered core services (TTA, Layered FlexRay, TT-Ethernet) to enable design, development and vakidation (with certification support) of distrbuted, networked dependable embedded systems and facilitating the shift from federated to integrated architectures. The ERCIM WG was dissemination partner, and ERCIM information was distributed at all DECOS events and workshops. Each year have been 2-3 joint workshops between ERCIM and DECOS, and two ERCIM News covering the special theme of the WG and DECOS as well as several other articels have been published.

Project: Virtual Physiological Human Network of Excellence, VPH NoE

• Funding:
• Status: Active
• Date: 2008-06-01 to 2012-06-01
• Contribution:
• description:

  The DP WG is participating in the VPH NoE through ERCIM who has been assigned 60 person months for this project.

Project: Scalable Modeling and Analysis Techniques to Study Emergent Cell Behavior, EC-MOAN - , FP6-NEST STREP project

• Funding: EU-FTP7
• Status: Active
• Date: 2008-02-01 to 2010-01-31
• Contribution: 1,498,718
• description:

  This project research objectives are: 1. To develop an integrated model of the E. coli stress response system, focusing on the metabolic, genetic and signaling modules that regulate nitrogen and carbon source limitations. 2. To develop mathematical methods for system reduction and approximation, in order to deal with large-scale models in which different time scales and many unknown parameter values occur. 3. To develop parallel algorithms and prototype tools for exploring the models, predicting outcomes of experiments, and verifying specific properties at the model. 4. To apply the developed methods and techniques to the E. coli stress response model in order to identify interesting properties, and to validate the model, by experimentally testing predicted properties in our laboratories.

Project: Context-aware data-centric information sharing - CONSEQUENCE

• Funding: EU
• Status: Active
• Date: 2008-01-01 to 2010-12-31
• Contribution: 2ME
• description:

  It includes 4 Partners of the WG. BAE CN CNR STFC Microsfoft EMIC (coordinator) HP

Project: Analyzing, Capturing and Taming Software Change

• Funding: Swiss National Science Foundation
• Status: Active
• Date: 2006-10-01 to 2008-09-30
• Contribution: 260152 CHF
• description:

  Complex software systems must change in order to keep pace with changing needs and requirements. Curiously, however, modern programming languages and environments provide little support for the fact that the systems being built will inevitably change. In fact, more emphasis is placed on mechanisms to enforce consistency and to limit the effects of change than on enabling change. This research proposal targets the following questions: * How can we encapsulate change in order to better specify, manipulate and control it? * How can we manage the scope of change, especially in a running system? * How can we assess the impact of change in a complex system? * How can we exploit change to reveal implicit trends and emergent software artifacts? To answer these questions, we propose to (i) introduce programming language constructs to package incremental modifications to complex software systems, and use these constructs to express both low-level (syntactic) and high-level (semantic) changes, (ii) develop a scoped approach to behavioural and structural reflection in which the visibility of reflective features, and thus of changes, can be controlled at a fine level of granularity, (iii) explore techniques for tracing the impact of changes back to their source by monitoring the flow of object references in a running system, and (iv) analyze the evolution of the software and related artifacts to identify higher-level semantic entities.

Project: Enabling the evolution of J2EE applications through reverse engineering and quality assurance

• Funding: Swiss National Science Foundation
• Status: Active
• Date: 2007-10-01 to 2010-09-30
• Contribution: 325820 CHF
• description:

  Java 2 Platform, Enterprise Edition (J2EE) was first introduced in 1999, and since then it has become one of the standard technologies in enterprise application development. An enterprise application is a complex software product that manipulates much persistent data and interacts with the user through a vast and complex user interface. Like any complex software systems, enterprise applications need to continuously change to adapt to new requirements. However, successive changes lead to a decay in the internal quality unless effort is invested to control it. To address the complexity of enterprise applications, J2EE offers a conglomerate of several technologies, (e.g. Enterprise Java Beans - EJB or Java Server Pages - JSP) using several languages, (e.g. Java, XML or SQL). In this context, simply applying existing reverse engineering and quality assurance techniques developed for object-oriented systems fails due to two major reasons: 1. analyzing only the Java source code overlooks the information written in other languages such as the XML configurations, the JSP files, the database structure or the SQL statements, and 2. even when analyzing the Java source code we need to consider the technology specific patterns (e.g. implementing specific interfaces). This project aims to conduct a systematic study in reverse engineering and quality assurance of J2EE applications. In particular, we target the following questions each of them being addressed in a separate track: 1. How do we model J2EE to support analysis of the different languages? 2. What defines internal quality in J2EE applications and how do we measure it? 3. How do we visualize the diversity of languages to support understanding of J2EE applications?

Project: NOREX: Network of Reengineering Expertise

• Funding: Swiss National Science Foundation
• Status: Active
• Date: 2005-11-01 to 2007-10-31
• Contribution:
• description:

  In an information technology society that is increasingly relying on software, software productivity and quality continue to fall short of expectations: software systems suffer from signs of aging as they are adapted to changing requirements. The main reason for this problem is that software maintenance and reengineering is still undervalued in traditional software development processes. The only way to overcome or avoid the negative effects of aging in legacy software systems and to facilitate their smooth evolution is by providing engineers with a fully automated and integrated support for the entire reengineering process. Unfortunately, the reengineering of large scale software systems is a highly complex activity, which demands both multiple scientific insights (e.g., metrics, visualization, meta-modelling etc.) and various engineering skills (e.g., compiler techniques, graphics, database engineering etc). Consequently, tackling all the issues involved in a reengineering process is excessively challenging, and barely impossible to be addressed by a single research group. The three research groups proposing this project, and other European research groups have developed over the last 7 years valuable artifacts to support in different manners the reengineering process. Each of them have focused their attention on specific issues and provided remarkable solutions. Yet, all these scientific and engineering \"gems\" have a reduced impact if used in isolation, as they are unable to address the entire spectrum of challenges that appear in real-world reengineering activities. In this context, the goal of of this joint research project is to provide a comprehensive and extensible support for complex, full-fledged reengineering activities applicable on real-world systems. Specifically, we want to address these issues by building a distributed reengineering environment which is able to make all the techniques and models defined and implemented by each of the three research teams to complement each other. Then we want to use this environment to integrate different reengineering techniques to support complex reengineering techniques and validate based on large-scale experiments the feasibility of the approach.

Project: MOVES: Modelling, Verification and Evolution of Software

• Funding: IAP-Phase VI Interuniversity Attraction Poles Programme funded by the Belgian State, Belgian Science Policy.
• Status: Active
• Date: 2007-01-01 to 2011-12-31
• Contribution:
• description:

  The goal of MoVES is to establish and sustain a network of researchers that perform high-quality research in the context of Modelling, Verification and Evolution of Software. Software-intensive systems are among the most complex artefacts ever built. In the development of such systems, the use of rigorous models and analysis methods is essential to make sure that the software satisfies its requirements and exhibits the desired properties (e.g., safety, security, reliability, consistency). At the same time, in order to adapt to the constantly changing requirements and technology, these systems must be able to evolve over time, without breaking their essential properties. This project combines the leading Belgian research teams in software engineering, with recognised scientific excellence in model-driven engineering (MDE), software evolution, formal modelling and verification (FMV) and aspect-oriented software development (AOSD). The project aims to advance the state of the art in each of these domains. The long term objective of our network is to strengthen existing collaborations and forge new links between those teams, and to leverage and disseminate our research expertise in this domain at a European level.

Project: Net-WMS FP6-034691 Towards integrating Virtual Reality and optimisation techniques in a new generation of Networked businesses in Warehouse Management Systems under constraints

• Funding: EU FP6
• Status: Active
• Date: 2006-09-01 to 2009-08-31
• Contribution: 2 320 000 euros
• description:

  The Net-WMS project proposes interactive optimization tools and prototype software that will form the basis for a new generation of WMS Networked Services. Net-WMS will handle networked communication and co-operation processes through the integration of decision-making technologies, generic 2D/3D and higher-dimensional placement constraint solvers, visualization and interaction with the solvers in virtual reality, packing models and knowledge modelling with business rules. Its scientific outcome will be relevant to the whole domain of combinatorial optimization and will have direct technological impact on Supply Chain Management at both the WMS and TMS levels, especially in the areas of packing, vehicle loading, space management, planning

Project: ORCAS Engineering and Assembling Off-the-shelf Reasoning Components in Autonomic Systems through deep conceptual integration of Objects, Rules, Constraints, Agents and Services

• Funding: EU STrep FP7
• Status: Active
• Date: 0000-00-00 to 0000-00-00
• Contribution:
• description:

   Agents  Automated Reasoning  Cognitive Robotics  Components  Constraint Programming  Model-Driven Engineering

• FIRST - type: Research - budget: 0€
• INRIA - type: Research - budget: 0€
• UPC Sparcim - type: Research - budget: 0€

Computationally efficient methods for estimating the updated-observations SUR models

• Author: Petko I. Yanev and Erricos J. Kontoghiorghes
• year: 2007
• Reference information: Applied Numerical Mathematics, Volume 57, Issues 11-12, November-December 2007, Pages 1245-1258
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1016/j.apnum.2007.01.004

2nd Special issue on Numerical Algorithms, Parallelism and Applications

• Author: Erricos John Kontoghiorghes and Bernard Philippe
• year: 2007
• Reference information: 2nd Special issue on Numerical Algorithms, Parallelism and Applications
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1016/j.apnum.2007.01.010

A graph approach to generate all possible regression submodels

• Author: Cristian Gatu, Petko I. Yanev and Erricos J. Kontoghiorghes
• year: 0
• Reference information: Computational Statistics
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2007.02.018

Efficient algorithms for computing the best subset regression models for large-scale problems

• Author: Marc Hofmann, Cristian Gatu and Erricos John Kontoghiorghes
• year: 2007
• Reference information: Computational Statistics
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2007.03.017

Parallel algorithms for downdating the least squares estimator of the regression model

• Author: Petko I. Yanev and Erricos J. Kontoghiorghes
• year: 2008
• Reference information: Parallel Computing, In Press
• Type: Journal
• Document (link to the URL):

An efficient branch-and-bound strategy for subset vector autoregressive model selection

• Author: Cristian Gatu, Erricos J. Kontoghiorghes, Manfred Gilli and Peter Winker
• year: 2007
• Reference information: Journal of Economic Dynamics and Control, In Press (Available online 19 August 2007)
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1016/j.jedc.2007.08.001

The Third Special Issue on Computational Econometrics

• Author: David A. Belsley, Erricos John Kontoghiorghes and Jan R. Magnus
• year: 2007
• Reference information: Computational Statistics
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2007.02.002

Special issue in Formal Methods in System Design,

• Author: Andrew Butterfield, Juan C. Bicarregui and Alvaro Arenas (Eds)
• year: 2007
• Reference information: Volume 30, Number 3
• Type: Journal
• Document (link to the URL): http://www.springerlink.com/content/6412p614h32u5070/

Formal Methods: Applications and Technology

• Author: Brim, Lubos; Haverkort, Boudewijn; Leucker, Martin; Pol, Jaco van de
• year: 2007
• Reference information: Lecture Notes in Computer Science, 2007(4346)
• Type: Conference
• Document (link to the URL): http://www.springerlink.com/content/3j27336744nv3257/

Flow simulations and velocity measurements in a model of the carotid artery

• Author: Farinas MI, Garon A, Thiriet M, Vetel J
• year: 2007
• Reference information: ICIAM
• Type: Conference
• Document (link to the URL):

Simulation of aerosols in the airway tract with a 3-D Eulerian model

• Author: Bourgault Y, Thiriet M
• year: 2007
• Reference information: ICIAM
• Type: Conference
• Document (link to the URL):

Study of pulsatile blood and injected medicine fluid flow in TACE therapy

• Author: S.F. Tsai, H. P. Rani, W. H. Sheu, M. Thiriet
• year: 2008
• Reference information: CMBBE
• Type: Journal
• Document (link to the URL):

Engineering of Fault Tolerant Systems

• Author: N. Guelfi, P. Pelliccione, H. Muccini, A. Romanovsky
• year: 2007
• Reference information: Software Engineering of Fault Tolerant Systems, Series on Software Engineering and Knowledge Engineering, World Scientific Publishing Co
• Type: Other
• Document (link to the URL):

Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means

• Author: B. Gallina, N. Guelfi, A. Romanovsky
• year: 2007
• Reference information: The 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007), Trollhaettan, Sweden, IEEE, 2007
• Type: Conference
• Document (link to the URL):

Proceedings of Third International ERCIM Symposium on Software Evolution (EVOL 2007)

• Author: T. Mens, K. Mens, M. D\'Hondt, E. Van Paesschen
• year: 2008
• Reference information: Electronic Communications of the EASST, Volume 8, ISSN 1863-2122
• Type: Journal
• Document (link to the URL): http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/current

Unanticipated Partial Behavioral Reflection: Adapting Applications at Runtime

• Author: D. Rothlisberger, M. Denker, E. Tanter
• year: 2008
• Reference information: Journal of Computer Languages, Systems and Structures 34(2-3): 46-65, Elsevier
• Type: Journal
• Document (link to the URL):

Teaching Software Evolution in Open Source

• Author: M. Petrenko, D. Poshyvanyk, V. Rajlich, J. Buchta
• year: 2007
• Reference information: IEEE Computer, November 2007, pp. 25-31
• Type: Journal
• Document (link to the URL):

Feature Location using Probabilistic Ranking of Methods based on Execution Scenarios and Information Retrieval

• Author: D. Poshyvanyk, Y.-G. Gueheneuc, A. Marcus, G. Antoniol, V. Rajlich
• year: 2007
• Reference information: IEEE Transactions on Software Engineering 33(6): 420-432, June 2007
• Type: Journal
• Document (link to the URL):

Seaside: A Flexible Environment for Building Dynamic Web Applications

• Author: S. Ducasse, A. Lienhard, L. Renggli
• year: 2007
• Reference information: IEEE Software 24(5): 56-63
• Type: Journal
• Document (link to the URL):

Semantic Clustering: Identifying Topics in Source Code

• Author: A. Kuhn, S. Ducasse, T. Girba.
• year: 2007
• Reference information: Information and Software Technology 49(3): 230-243, Elsevier
• Type: Journal
• Document (link to the URL):

Stateful Traits and their Formalization

• Author: A. Bergel, S. Ducasse, O. Nierstrasz, R. Wuyts
• year: 2007
• Reference information: Journal of Computer Languages, Systems and Structures, 34(2-3), pp. 83-108, Elsevier
• Type: Journal
• Document (link to the URL):

Software Evolution (co-edited book with 11 chapters contributed by WG members)

• Author: T. Mens, S. Demeyer
• year: 2008
• Reference information: Springer
• Type: Other
• Document (link to the URL):

Ontology Evolution : State of the art and future directions

• Author: Pieter De Leenheer, Tom Mens
• year: 2007
• Reference information: Book Chapter in: Ontology Management: Semantic Web, Semantic Web Services, and Business Applications Edited by:Martin Hepp, Pieter De Leenheer, Aldo de Moor, York Sure. pp: 131-176. Springer
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1007/978-0-387-69900-4_5

Analysing Refactoring Dependencies Using Graph Transformation

• Author: Tom Mens, Gabriele Taentzer, Olga Runge
• year: 2007
• Reference information: Software and Systems Modeling 269-285 September
• Type: Journal
• Document (link to the URL): http://dx.doi.org/10.1007/s10270-006-0044-6

Model-Driven Software Refactoring

• Author: Tom Mens, Gabriele Taentzer, Dirk Mueller
• year: 2008
• Reference information: Book Chapter in: Model-Driven Software Development: Integrating Quality Assurance Edited by:Joerg Rech, Christian Bunse. IDEA Group Publishing
• Type: Other
• Document (link to the URL):

An Empirical Study of a System evolved using Agile Methods

• Author: Capiluppi A., Fernández-Ramil J., Higman J., Sharp H., Smith N.
• year: 2007
• Reference information: International Conference on Software Engineering, ICSE 2007, Experience Report, May 22 - 24, 2007, Minneapolis, USA,
• Type: Conference
• Document (link to the URL):

A Model to Predict Anti-regressive Efforts in Open Source Software

• Author: Capiluppi A., Fernández-Ramil J.
• year: 2007
• Reference information: 23rd International Conference on Software Maintenance (ICSM 2007), Oct 2 - 5, 2007, Paris, France.
• Type: Conference
• Document (link to the URL):

Recent Advances in Constraints

• Author: F. Azevedo P. Barahona F. Fages F. Rossi
• year: 2007
• Reference information: Springer-Verlag LNCS 4651
• Type: Conference
• Document (link to the URL): http://www.springerlink.com/content/978-3-540-73816-9/

Kick-off meeting of the ERCIM Working Group on COMPUTING

• Topic: COMPUTING
• Type: Workshop
• Date: 2008-04-20 to 2007-04-22
• Place: Geneva, Switzerland
• Lecturer: 1. James MacKinnon, Queen\\\'s University, Canada 2. Peter Rousseeuw, University of Antwerp, Belgium 3. Dimitri Bertsekas, Massachusetts Institute of Technology, USA 4. Claudio Albanese, Imperial College London, UK 5. John M. Mulvey, Princeton University, USA
• Coverage: Over 200 participant and presentations; http://www.csdassn.org/europe/ERCIM07/ http://www.csdassn.org/europe/cfe07/ Special issues of journals based on the meetings are currently in process.

International Workshop on COMPUTATIONAL AND FINANCIAL ECONOMETRICS

• Topic: Computing and Econometrics
• Type: Workshop
• Date: 2007-04-20 to 2007-04-22
• Place: University of Geneva, Switzerland
• Lecturer: James MacKinnon, Queen\'s University, Canada; Peter Rousseeuw, University of Antwerp, Belgium; Dimitri Bertsekas, Massachusetts Institute of Technology, USA; Claudio Albanese, Imperial College London, UK; John M. Mulvey, Princeton University, USA;
• Coverage: Took place jointly with the Kick-off meeting of the ERCIM Working Group on COMPUTING

eMobility WG meeting

• Topic: http://www.emobility.unibe.ch/workshops/2007-02-16/meeting.html
• Type: Other
• Date: 2007-02-16 to 2007-02-16
• Place: Malaga, Spain
• Lecturer:
• Coverage:

1st ERCIM Workshop on eMobility

• Topic: http://www.emobility.unibe.ch/workshops/2007-05-21/workshop.html
• Type: Workshop
• Date: 2007-05-21 to 2007-05-21
• Place: Coimbra, Portugal
• Lecturer: Prof. Luis M. Correia from Technical University of Lisbon: keynote talk on \\\"eMobility: present and future challenges\\\"
• Coverage:

ERCIM/DECOS Workshop at Euromicro 2007

• Topic: Dependable Smart Systems: Research, Industrial Applications, Co-operative Systems, Standardization and Certification
• Type: Workshop
• Date: 2007-08-28 to 2007-08-28
• Place: Lübeck, Germany
• Lecturer: Claire Burguiere, Christine Rochange S. Frenkel, A. Pechinkin, V. Chaplygin (RAS, Moscow), I.Levin (Tel-Aviv University, Israel) “A Mathematical Tool for Support of Fault-tolerant Embedded Systems Designâ€? Ã…smund Tjora, Amund Skavhaug (NTNU, Trondheim, Norway) “Run-time Distributions in Passively Replicated Systems Using Timeout and Acceptance Fault Detectionâ€? Roland Wolfig (TU Vienna) \\\"Parameters for Efficient Software Certificationâ€? E. Althammer, E. Schoitsch (ARC), G. Sonneck (Tribun, Austria), H. Eriksson, J. Vinter (SP, Sweden) “Support for Modular Certification of Safety-Critical Embedded Systems – the Generic Safety Caseâ€? Christoph Hoyer, Gerhard Chroust (University Linz, Austria) “Scenarios in Product Line Development for Small- and Medium-Sized Enterprisesâ€? Roman Bumerl-Lexa (ARC, Vienna) “Digital Signal Processing using Model-based Software Designâ€? Reinhard Kloibhofer, E. Schoitsch (ARC, Vienna) „Watch-Over – Co-operative Smart Technologies to Improve Road Safety for Vulnerable Road Users“ Lars Holstein (FAV Berlin) “COOPERS – Co-operative Systems for Intelligent Road Safetyâ€? PANEL discussion: “Automotive Visions – Road Safety of the Futureâ€? (17:00 – 18:00) Chairpersons: Erwin Schoitsch, Amund Skavhaug
• Coverage: Audience and authors: Industry, Reserach Centers and Universities; Topics: Dependable embedded systems, co-operative systems, transportation systems, automotive, validation and certification, modeling, product line development, real-time control systems.

ERCIM/DECOS/COOPERS Workshop at SAFECOMP 2007

• Topic: Dependable Embedded Systems – Challenges, Impact, Solutions, Examples, Professional and Academic Education and Training
• Type: Workshop
• Date: 2007-09-18 to 2007-09-18
• Place: Nuremberg, Germany
• Lecturer: Maximilian Rosenblattl, Andreas Wolf, and Bernhard Leiner (TTTech Computertechnik, Vienna) \\\"Feature and Performance Analysis and Enhancements of the DECOS Core OS\\\" András Balogh, András Pataricza, Balázs Polgár, György Csertán, M. Magyar (Budapest University of Technology and Economics) \\\"Model driven design, verification and validation and its impact on design quality\\\" Rupert Schlick, Wolfgang Herzner (Austrian Research Centers – ARC, Vienna), Alain Le Guennec (Esterel Technologies) \\\"Application Model Verification for Distributed (Time Triggered) Systems\\\", with demo Jakub Miler, Janusz Gorski (TU Gdansk, Poland) “Trust-IT – a Method and Tools for justifying Trust in IT Systems and Infrastructureâ€? Andreas Wolf, Maximilian Rosenblattl, and Bernhard Leiner (TTTech Vienna) \\\"Security and Safety Considerations for the DECOS Core OS\\\" Geir Mathisen (SINTEF, Norway), Amund Skavhaug (NTNU, Norway) “Experiences from design and implementation of a low-cost sensor network for applications with high reliability requirements and a large number of nodesâ€? Reinhard Kloibhofer (ARC, Vienna) „Watch-Over – Co-operative Smart Technologies to Improve Road Safety for Vulnerable Road Users (Pedestrians, Cyclists, …)“ Amund Skavhaug (NTNU, Norway) \\\"CyberGoose - experiences with design and implementation of an Autonomous Unmanned Aerial Vehicle as a student learning-task\\\" (with video clips) Co-operative Systems for Road Safety – A European Challenge: COOPERS Supplier Panel (16:00 – 18:00) Erwin Schoitsch (ARC, Vienna): Introduction “Automotive Visions – Road Safety of the Futureâ€? (with short video, and COOPERS supplier statements) Lars Holstein (FAV Berlin) “COOPERS – Co-operative Systems for Intelligent Road Safety: Overviewâ€? (including: M. McDonald, J. Piao (University of Southampton, UK), “Co-operative Systems in Transportâ€?, Gino Franco, Claudio Griglione (SWARCO, Torino, Italy) „Developing Road Side Units in COOPERS“) Thomas Gruber (ARC, Vienna) et. al.) “Requirements for the COOPERS HMIâ€? Discussion (Industry and Suppliers Panel) Chairpersons: Erwin Schoitsch, Amund Skavhaug
• Coverage: Audience and Speakers: Industry, Research Centers and Universities. Topics: DES Theory and Research, Embedded Systems Security and Trust, Very large, low-cosr sensor networks in industry, road safety for vulnerable road users (co-operative systems), Smart systems education and training; COOPERS (industrial) Supplier Panel on Co-operative systems for intelligent road safety.

INDIN 07

• Topic: Special Session on Dependable Embedded System
• Type: Workshop
• Date: 2007-07-25 to 2007-07-25
• Place: Vienna
• Lecturer: The impact of dependable embedded (smart) systems on society and economy: risks and challenges (E. Schoitsch, A. Gerstinger) Roman Obermaisser, Philipp Peti (Vienna University of Technology): Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks Ute Wappler, Christof Fetzer (TU Dresden): Hardware Failure Virtualization via Software Encoded Processing. Armin Wasicek, Wilfried Elmenreich (TU Vienna): Internet Firewalls in the DECOS System-on-a-Chip Architecture Kristoffer Lidström, Tony Larsson, Lars Strandén (Halmstad University, Sweden): Safety Considerations for Cooperating Vehicles using Wireless Communication Egbert Althammer, E. Schoitsch (ARC), Henrik Eriksson (SP), György Csertan (Budapest University of Technology and Economics): An Open System for Dependable System Validation and Vertification Support – the DECOS Generic Test Bench Wolfgang Herzner, Rupert Schlick (Austrian Research Centers – ARC), Thierry Lesergent, Martin Bruno, Alain Leguennec (Esterel Technologies, France): Model-Based Simulation of Distributed Real-time Applications Henrik Eriksson, Jonny Vinter (SP Technical Research Institute of Sweden, Sweden), Bernhard Leiner, Martin Schlager (TTTech Computertechnik AG, Austria): Towards a DECOS Fault-Injection Platform for Time-Triggered Systems
• Coverage: International (world-wide, including Japan, Korea, South-East Asia, USA, Europe) Audience. Topics: Model-based development, validation and verification, DES hardware and software, modelling and simulation, DES security, road safety.

4th Digital Patient WG meeting in Lausanne

• Topic: Preparing for FP7 in the area of VPH
• Type: Workshop
• Date: 2008-05-14 to 2008-05-15
• Place: EPFLausanne in Switzerland.
• Lecturer:
• Coverage:

\"Digital Patient Simulation and modelling of Pathophysiology\" in the 1st International Conference on Digital Human Modeling

• Topic: Special Session
• Type: Other
• Date: 2007-07-22 to 2007-07-27
• Place: Beijing, P.R. China
• Lecturer:
• Coverage:

14th ERCIM Environmental Modelling Group Workshop

• Topic: Informatics Applications on Simulation and Modelling for Engineering the Environment
• Type: Workshop
• Date: 2007-09-03 to 2007-09-04
• Place: Aristotle University, Thessaloniki, Greece
• Lecturer: Isabelle Herlin, INRIA Rocquencourt Roberto San José, UPM Madrid Branislav Simo, IISAS Bratislava Maria Kazolea, University of Crete Steffen Unger, Fraunhofer FIRST Berlin Kostas Karatzas, AUT Thessaloniki Eleni Katragkou, AUT Thessaloniki Fotios Barbas, AUT Thessaloniki
• Coverage: The objective of the 14th workshop of the ERCIM Working Group Environmental Modelling is to assemble the members of the group and any interested scientist involved in environmental modelling, to present their research work and to discuss the current trend

FMICS 2007: 12th International Workshop on Formal Methods for Industrial Critical Systems

• Topic: Formal Methods
• Type: Workshop
• Date: 2007-07-01 to 2007-07-02
• Place: Berlin
• Lecturer: Charles Pechuer Gerard Berry Thomas Henzinger
• Coverage:

Special Session: “Advances in the FMICS-jETI Platform for Program Verification� in 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

• Topic: Integrating Formal Methods related tools
• Type: Workshop
• Date: 2007-07-13 to 2008-07-13
• Place: Auckland, New Zealand
• Lecturer:
• Coverage:

International workshop on Modeling

• Topic: Modeling
• Type: Conference
• Date: 2007-10-22 to 2007-10-25
• Place: National Taiwan University (NTU), Taipei, Taiwan
• Lecturer: 1. Olivier Pironneau (UPMC, France), 2. Andre Garon (Polytechnique School of Montreal, Canada) 3. Felix Wu (University of Hong Kong and UC Berkeley)
• Coverage: 1. image processing, virtual reality in medicine and surgery (medical simulators, computer-aided diagnosis, treatment planning), 2. image-based computational domains, 3. particle flow (blood microcirculation, aerosols), 4. cancer angiogenesis, 5.

IM2IM meeting embedded in Spring ERCIM days

• Topic: modeling and simulation in health
• Type: Workshop
• Date: 2007-05-14 to 2007-05-15
• Place: EPFL, Lausanne, Suisse
• Lecturer:
• Coverage: Computing for Health Virtual Physiological Human

CRM-INRIA-MITACS Meeting

• Topic: biomechanics/biomathematics
• Type: Workshop
• Date: 2011-05-05 to 2008-05-09
• Place: Montreal, Canada
• Lecturer:
• Coverage: 1. heart mechanics; 2. physiological flows; 3. brain imaging and function; 4. Composite materials, multiscale modeling; optimal shape and design; 5. Biological systems, cells and tissues; 6. Implantable medical devices, drug delivery

RISE 2007

• Topic: Rapid Integration of Software Engineering techniques
• Type: Workshop
• Date: 2007-11-26 to 2007-11-26
• Place: Luxembourg, LUXEMBOURG
• Lecturer: * Henry Muccini Università dell’Aquila, Italy on Architecting Fault Tolerant Systems * Giovanna Di Marzo Serugendo Birkbeck College, London, UK on Self-Adaptive/Self-organising systems using policies and metadata
• Coverage: RISE 2007 is an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches, being part of a methodological framework.

RISE 2007

• Topic: Rapid Integration of Software Engineering techniques
• Type: Workshop
• Date: 2007-11-26 to 2007-11-26
• Place: Luxembourg, LUXEMBOURG
• Lecturer: * Henry Muccini Università dell’Aquila, Italy on Architecting Fault Tolerant Systems * Giovanna Di Marzo Serugendo Birkbeck College, London, UK on Self-Adaptive/Self-organising systems using policies and metadata
• Coverage: Lightweight Formal Analysis of FODA Feature Diagrams Shin Nakajima (National Institute of Informatics, Japan) and Naoyasu Ubayashi (Kyushu Institute of Technology, Japan) Towards Agile Product Derivation in Software Product Line Engineering Pádraig

FOSAD 2007

• Topic: Foundations of Security Analysis and Design
• Type: SummerSchool
• Date: 2007-09-09 to 2007-09-15
• Place: Bertinoro Italy
• Lecturer: # Ross Anderson # Ulfar Erlingsson # Cathy Meadows # Chris Mitchell # George Necula # Bart Preneel # Jean-Jacques Quisquater # Roberto Segala
• Coverage: Secure programming languages analysis of security protocols, cryptographic algorithms access control policies trust management More than 50 stundets attended the school.

STM 07

• Topic: 3rd Annual WG Workshop
• Type: Workshop
• Date: 2007-09-27 to 0000-00-00
• Place: Dresden, Germany
• Lecturer: E. Vétillard. Trusted Logic, Mobile payment security policies
• Coverage: The Third International Workshop on Security and Trust Management, STM 2007, took place in Dresden, Germany, on September 27th. As the previous two editions, STM 2007 was co-located with ESORICS 2007. Security and Trust Management (STM) is a workin

SESAMI Special Thematic Sessions in HCI International 2007

• Topic: (I) Interaction Design and Evaluation, (II) Tools, Architectures and Infrastructures
• Type: Workshop
• Date: 2007-07-23 to 2007-07-23
• Place: Beijing, China
• Lecturer:
• Coverage:

Third ERCIM Symposium on Software Evolution

• Topic: software evolution
• Type: Workshop
• Date: 2007-10-05 to 2007-10-05
• Place: Paris, France
• Lecturer: Lecturers were chosen based on a peer-review of their submissions by an international programme committee. The schedule can be found on http://w3.umh.ac.be/evol/events/evol2007/schedule.html
• Coverage: The aim of the third edition of this annual international event is to gather people from academia and industry to identify and discuss recent advancements and emerging trends in the state-of-the-art in research and practice in software evolution.

8th International Workshop on Object-Oriented Reengineering (WOOR)

• Topic: software reengineering
• Type: Workshop
• Date: 2007-07-30 to 2007-07-30
• Place: Berlin, Germany
• Lecturer:
• Coverage: The very first WOOR workshop was organized in 1997 in conjunction with the ESEC/FSE\'97 Conference in Zurich, Switzerland. During these 10 years, participants to the workshop have been actively contributing to the state-of-the-art on reengineering of object-oriented systems. During this special anniversary edition, we want to continue in that tradition. Therefore, we explicitly sollicit position papers that reflect on the past 10 years and/or build a vision of what the future 10 years might bring. Therefore, we welcome contributions from researchers, tool producers, and methodology providers in addition to position papers on the past and next 10 years of OO reengineering.

FAMOOSr 2007 : 1st Workshop on FAMIX and Moose in Reengineering

• Topic: software reengineering
• Type: Workshop
• Date: 2007-06-25 to 2007-06-25
• Place: Zurich, Switzerland
• Lecturer:
• Coverage:

Advanced Topics in Software Evolution (Doctoral Seminar)

• Topic: software evolution
• Type: Other
• Date: 2007-03-12 to 2007-03-12
• Place: UMH, Mons, Belgium
• Lecturer: Invited talks were given by Dr. Bart Du Bois (Antwerpen), Dr. Yann-Gael Gueheneuc (Montréal), Dr. Ragnhild Van Der Straeten (Brussels).
• Coverage: In March 2007, Tom Mens, Kim Mens and Roel Wuys co-organised the seminar \"Advanced Topics in Software Evolution\" in the context of the Graduate School in Computing Science (GRASCOMP). It attracted doctoral students from Wallonie, Flanders and France (Lille). Invited talks were given by Dr. Bart Du Bois (Antwerpen), Dr. Yann-Gael Gueheneuc (Montréal), Dr. Ragnhild Van Der Straeten (Brussels).

CSCLP international workshop on Constraint Solving and Constraint Logic Programming

• Topic: Constraints
• Type: Workshop
• Date: 2007-06-07 to 2007-06-08
• Place: Rocquencourt
• Lecturer: Thierry Benoist, Bouygues Gilles Pesant, Ecole Polytechnique Montreal, Canada Jean-Charles Régin, ILOG
• Coverage:

• Topic 1 : Matrix Computations and Statistics
• Topic 2 : Computational Econometrics
• Topic 3 : Statistical algorithms and software
• Topic 4 : Machine Learning and Robust Data Mining

Fellows

• Name: Cristian Gatu
• Type: ERCIM fellow
• Institute 1: Department of Computer Science, University of Neuchatel - 2007-12-07 to 2007-12-16
• Institute 2 : INRIA-IRISA, France - 2007-03-04 to 2007-04-27
• Institute 3 : University of Cyprus - 2007-05-14 to 2007-06-06

• Name: Erricos Kontoghiorghes
• Type: Visiting researcher
• Institute 1: Second University of Naples, University of Salerno, NRC, Italy - 2007-06-26 to 2007-07-28
• Institute 2 : Department of Computer Science, University of Neuchatel, Switzerland - 2007-12-10 to 2007-12-17
• Institute 3 : Department of Econometrics, University of Geneva, Switzerland - 2007-04-18 to 2007-04-25

• Name: Marc Hofmann
• Type: Visiting researcher
• Institute 1: University of Salerno, Italy - 2007-07-03 to 2007-07-07

• Topic 1 : Dependability analysis and evaluation of software-intensive (embedded) systems
• Topic 2 : Product assurance and Validation and Verification Lab for (critical) software-intensive (embedded) systems
• Topic 3 : Real-time systems (HW/SW Co-design) for time critical, dependable applications (computer vision, intelligent antennas) (design, development, modeling
• Topic 4 : COTS and Reuse in dependable embedded RT systems

• Topic 1 : Environmental risk management, pollution analysis and forecast
• Topic 2 : Remote sensing, satellite data, image processing
• Topic 3 : Data assimilation, knowledge from data
• Topic 4 : Information systems applications including GIS

• Topic 1 : Content-based image and video indexing and retrieval
• Topic 2 : Content awear visual information processing
• Topic 3 : Visual recognition and learning of objects and activity classes
• Topic 4 : Vision-based decision and control

• Topic 1 : Multiscale multiphysics coupling
• Topic 2 : Medical Image processing for Computational BioFluid Dynamics
• Topic 3 : Mesh adaptation and error estimation
• Topic 4 : Integrative modeling from cell to physiological systems

• Topic 1 : - Formal and semi-formal modelling of resilience properties; Re-engineering for resilience; Software development processes for resilience; Requirement engineering processes for resilience; Model Driven Engineering of resilient systems; Verification and va
• Topic 2 : - Frameworks and design patterns for resilience; Software architectures for resilience.- Component-based development and resilience; System structuring for resilience;
• Topic 3 : - Atomic actions; Dynamic resilience mechanisms; Resilience prediction; Resilience metadata;
• Topic 4 : - Reasoning and adaptation services for improving and ensuring resilience; Intelligent and adaptive approaches to engineering resilient systems; Engineering of self-healing autonomic systems;

• Topic 1 : Intelligence and adaptation
• Topic 2 : Distributed user interfaces
• Topic 3 : Ambient and cross media games
• Topic 4 : Sensor-augmented environments

• Topic 1 : Software re-engineering and quality improvement
• Topic 2 : Software evolution in emerging paradigms (model-driven, aspect-oriented, service-oriented, open source, etc.)
• Topic 3 : Inconsistency management and co-evolution
• Topic 4 : Empirical studies and theories of software evolution

Fellows

• Name: Van Paesschen Ellen
• Type: ERCIM fellow
• Institute 1: INRIA Futurs, Lille, France - 2007-01-01 to 2007-09-30
• Institute 2 : CWI, The Netherlands - 2007-10-01 to 2008-06-30

• Name: Tom Mens
• Type: Visiting researcher
• Institute 1: INRIA Futurs, Lille, France - 2006-12-01 to 2007-08-31

• Name: Juan Fernandez-Ramil
• Type: Visiting researcher
• Institute 1: UMH (FNRS - Belgium) - 2008-01-01 to 2008-12-31

• Topic 1 : Constraint solvers
• Topic 2 : Constraint programming languages and systems
• Topic 3 : Modeling with constraints
• Topic 4 : Applications in combinatorial optimization

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

• Description: MUSCLE Final Project Report

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

• Description: Book on Software Evolution, co-edited by Tom Mens and Serge Demeyer, published by Springer in February 2008

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a