Program
 
 
 
 
 
 
 
 
 

Program

The 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) is bringing together people from business, industry, research, and academia who are working in software engineering and information technology. Over the years, EUROMICRO SEAA conferences have reflected and represented the continuous changes in technology and application areas. The aim of the conference is to proceed with this, focusing on software engineering and new, innovative and advanced software applications.

The conference is now open for registration. The venue web site for Euromicro DSD and SEAA 2010 conferences can be found here. The conference programme can be downloaded here. The call for participation can be found here

SEAA 2010 is colocated with The 13th Euromicro Conference on Digital System Design (DSD).

The Website for SEAA 2011 can be found here.

Program

Keynote: Andy D. Pimentel


Andy D. Pimentel - "Designing your favorite many-core system-on-chip in 24 hours"

The complexity of modern embedded systems, which are increasingly based on heterogeneous multiprocessor system-on-chip (MP-SoC) architectures, has led to the emergence of system-level design. System-level design aims at raising the abstraction level of the design process in order to cope with the design complexities. In this talk, I will first provide an overview of the challenges that need to be addressed to realize a true system-level design methodology. Then, I will present the Daedalus system-level design framework, which aims to provide a single, integrated and highly automated environment for system-level exploration, programming and prototyping of multimedia MP-SoC architectures. The Daedalus design flow, which leads the designer from a sequential application specification to an MP-SoC system implementation on an FPGA with a parallelized application mapped onto it, can be traversed in only a matter of hours.  Evidently, this offers great potentials for quickly experimenting with different MP-SoCs and exploring design options during the early stages of design.

Andy Pimentel is associate professor in the Computer Systems Architecture group of the Informatics Institute at the University of Amsterdam. He holds the MSc  and PhD degrees in computer science, both from the University of Amsterdam.  His research focus is on the study and development of efficient and effective methods, techniques and tools that aid computer designers in the design process, especially during the early stages of design. Andy is co-founder of the International Conference on embedded computer Systems: Architectures, Modeling, and Simulation (SAMOS).  He is associate editor of Elsevier's Simulation Modelling Practice and Theory and Springer's Journal of Signal Processing Systems. He has also been guest associate editor of ACM Transactions on Embedded Computing Systems, Journal of Systems Architecture, and Journal of Signal Processing Systems.

Andy Pimentel (co-)authored more than 75 scientific papers, book chapters and editorials. Moreover, he serves on the organizational committees for many leading (embedded systems) design conferences and workshops, such as DATE, IEEE ICCD, ACM/IEEE CODES+ISSS, FPL, SAMOS, IEEE ESTIMedia, ACM SAC and ACM Computing Frontiers. He is Senior member of the IEEE, member of the IEEE Computer Society, and member of IFIP WG 10.3.

Keynote: Tiziana Margaria


Tiziana Margaria - "eXtreme Model Driven Design/Engineering as a disruptive technology in the software development"

Taming complexity by building models is one of the oldest and best established engineering principles. In Software Engineering this is complicated by the inherent typically high degree of abstraction, that easily leads to misunderstandings already at requirement analysis time. Additionally, taking care of heterogeneity leads within the modern model driven development approaches to a variety of aspect- and phase-specific models, whose interplay can be hardly overseen even by experts.

Here is where the `eXtreme Model Driven Design´ (XMDD) strikes, with a coherent and user-oriented modeling approach. The backbone of the entire Software/System lifecycle is a behavioural model accessible to the users (typically, application experts with little IT background). This model is on one hand selectively refined until the IT experts can proceed with a simple service-oriented implementation, but on the other hand it serves the application expert as a continuously available and up-to-date 'sensor', control- and validation instrument.

This way, harmony between the Application expert and the IT side is established and coherently maintained, with high benefits especially in application domains with high evolution needs. The potential of this approach has been proven not only in scenarios from the business- and bioinformatics, but also in its successful use in distributed, cooperative project-based teaching.

Tiziana Margaria is Chair of Service and Software Engineering at the University of Potsdam. She received a Laurea in Electrical Engineering and a PhD degree in Computer and Systems Engineering from the Politecnico di Torino, Italy. She has broad experience in the use of formal methods for high assurance systems, in particular concerning functional verification, reliability, and compliance of complex heterogeneous systems, through major industrial projects (where she won the European IT Award in 1996, and a start-up competition in 2001) and consulting, as well as through her activities as founder and CEO of startup companies. Her current focus is on formal methods supporting reliability and compliance through a model-driven version of service-oriented development. This concerns in particular the adequate treatment of third party components, as well as issues like policies, compliance, service-level agreement, fault tolerance, runtime monitoring, and system evolution. The industrial applications of the jABC framework, developed with her guidance, has proven the practicality of this holistic approach.

She is (co-) author of over 100 refereed papers in international journals and conferences, and she
served on more than 100 Program Committees, over 10 times as chair. She is member of the ACM, IEEE, GI, FME, EAPLS, and EASST, and Fellow of SDPS, the Society for the Design and Process Science. She is currently President of the European Association of Software Science and Technology (EASST),
member of the Board of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems), and steering committee member of ETAPS, the European joint Conferences on Theory and Practice of Software. She is member of the Supervisory Board of the Leiden Institute of Advanced Computer Science (LIACS), NL, and of SAP’s PTLC (Platform Thought Leadership Council). She is also the ideator and General Chair of ISoLA, the series of International Symposia on Leveraging Applications of Formal Methods, Verification and Validation, co-founder of the International Journal on Software Tools for Technology Transfer (STTT, Springer, 1997), of the NASA journal Innovations in Systems and Software Engineering (Springer, 2005), and of the International Journal of Critical Computer-Based Systems (IJCCBS, 2008).

Social Event

The social event or "soirée Gala" will take place at Chateau de Bourgogne in Estaimbourg (Belgium).



Papers

The following papers will be presented at the conference.

MOCS Session 1: Services and software quality

Session Chair:  Raffaela Mirandola

  • Antonia Bertolino, Francesca Lonetti and Eda Marchetti. Systematic XACML request generation for testing purposes

  • Alin Stefanescu, Marc-Florian Wendland and Sebastian Wieczorek. Using the UML testing profile for enterprise service choreographies

  • Bettina Biel and Volker Gruhn. Analyzing the Architectural Support of Usability


MOCS Session 2: Extra-functional properties – modeling and analysis

Session Chair: Ivica Crnkovic

  • Dennis Westermann, Jens Happe and Michael Hauck. The Performance Cockpit Approach: A Framework for Systematic Performance Evaluations

  • Aleksandar Dimov and Sasikumar Punnekkat. Fuzzy reliability model for component-based software systems

  • Konstantinos Mokos, Georgios Meditskos, Panagiotis Katsaros, Nick Bassiliades and Vangelis Vasiliades. Ontology-based Model Driven Engineering for Safety Verification


MOCS Session 3: Domain-specific modeling

Session Chair: Kung-Kiu Lau

  • Marco Panunzio and Tullio Vardanega. A Component Model for On-board Software Applications

  • Mlađan jovanović, Dusan Starcevic and Zoran Jovanovic. Improving Design of Ground Control Station for Unmanned Aerial Vehicle: Borrowing from Design Patterns

  • Jan Carlson, Juraj Feljan and Mikael Sjödin. Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems


MOCS Session 4: Component Composition

Session Chair: Jan Carlsson

  • Kung-Kiu Lau, Tauseef Rana, Faris Taweel and Azlin Nordin. Constructing Component-based Systems Directly from Requirements using Incremental Composition 

  • Andreas Both and Dirk Richter. Automatic Component Protocol Generation and Verification of (Legacy) Components

  • Kung-Kiu Lau and Tauseef Rana. A Taxonomy of Software Composition Mechanisms


MOCS Session 5: Applying SOA principles

Session Chair:  Cristina Seceleanu

  • Qing Gu, Patricia Lago and Hans van Vliet. A template for SOA design decision making in an educational setting

  • Sander van der Burg and Eelco Dolstra. Automated Deployment of a Heterogeneous Service Oriented System

  • Grégory Nain, Fran§ois Fouquet, Brice Morin, Olivier Barais and Jean-Marc Jezequel. Integrating IoT and IoS with a Component-Based approach

  • Luca Berardinelli, Antinisca Di Marco and Vittorio Cortellessa. A Profile-driven Environment for Modeling and Analyzing Context-Aware Software Services


MOCS Session 6: Applying Model Driven Engineering

Session Chair:  Frédéric Loiret

  • Patricia López Martínez, César Cuevas and José M. Drake. RT-D&C: Deployment Specification of Real-Time Component-Based Applications

  • Sofia Azevedo, Ricardo J. Machado, Alexandre Bragan§a and Hugo Ribeiro. The UML «include» Relationship and the Functional Refinement of Use Cases 

  • Patrick Dohrmann and Sebastian Herold. Designing and Applying a Framework for Logic-Based Model Querying


MOCS Short Papers - 1

Session Chair: Ivica Crnkovic

  • Aneta Vulgarakis, Séverine Sentilles, Jan Carlson and Cristina Seceleanu. Integrating Behavioral Descriptions into a Component Model for Embedded Systems

  • Samir Chouali, Sebti Mouelhi and Hassan Mountassir. Adapting Components Behaviours using Interface Automata

  • Daniel Romero, Romain Rouvoy, Lionel Seinturier and Frédéric Loiret. Integration of Heterogeneous Context Resources in Ubiquitous Environments

  • Karsten Oberle, Thomas Voith, Manuel Stein, Eduardo Oliveros, Georgina Gallizo and Roland Kübert. A Path Supervision Framework – a key for service monitoring in Infrastructure as a Service (IaaS) Platforms

  • Matthias Biehl and Martin Törngren. An Executable Design Decision Representation using Model Transformations


MOCS Short Paper-2

Session Chair:  Laurence Duchien

  • Ernst Juhnke, Tim Dörnemann, Sebastian Kirch, Dominik Seiler and Bernd Freisleben. SimpleBPEL: Simplified Modeling of BPEL Workflows for Scientific End Users

  • Sindolfo Miranda Filho, Heitor Mariano, Uirá Kulesza and Thais Batista. Automating Software Product Line Development: A Repository-Based Approach

  • Francesca Saglietti. The Many Faces of Model-based Testing - “When does a catch word help catching faults?”


Self-Adaptation (EDISON + MOCS + ITQA)

Session Chair:  Michel Chaudron

  • Guillaume Gauvrit, Erwan Daubert and Fran§oise André. SAFDIS: A Framework to Bring Self-Adaptability to Service-Based Distributed Applications

  • Gerhard Hasslinger, Giorgior Nunzy and Catalino Meiroso, Inherent Network Management: Support for Traffic Engineering and CAPEX Analysis in Future Internet Scenarios

  • Fady HAMOUI, Marianne Huchard, Christelle Urtado and Sylvain Vauttier. SAASHA : a Self-Adaptable Agent System for Home Automation

  • Mourad Alia, Mikael Beauvois, Yann Davin, Romain Rouvoy and Frank Eliassen. Components and Aspects Composition Planning for Ubiquitous Adaptive Services 


SPPI 1: PROCESS MANAGEMENT

  • Juho Lindman, Matti Rossi and Anna Paajanen. Choosing an Open Source Software License in Commercial Context: A Managerial perspective

  • Henk Schuur, van der, Slinger Jansen and Sjaak Brinkkemper. A Reference Framework for Utilization of Software Operation Knowledge

  • Vladimir Mandic, Victor Basili, Markku Oivo, Lasse Harjumaa and Jouni Markkula. Utilizing GQM+Strategies for an Organization-Wide Earned Value Analysis


SPPI 2: PRODUCT IMPROVEMENT

  • Richard Berntsson Svensson, Martin Höst and Bjorn Regnell. Managing Quality Requirements: A Systematic Review

  • Sara Dersten, Joakim Fröberg, Jakob Axelsson and Rikard Land. Analysis of the Business Effects of Software Architecture Refactoring in an Automotive Development Organization

  • Frank Elberzhager, Robert Eschbach and Johannes Kloos. Systematic Construction of Goal Indicator Trees for Indicator-based Dependability Inspections

  • Steve Counsell, Tracy Hall, Emal Nasseri and David Bowes. An Analysis of the ‘Inconclusive’ Change Report Category in OSS Assisted by a Program Slicing Metric


SPPI 3: PROCESS IMPROVEMENT

  • Ville Heikkilä, Kristian Rautiainen and Slinger Jansen. A revelatory case study on scaling agile release planning

  • Reinaldo Silva Filho and Ana Regina Rocha. Towards an Approach to Support Software Process Simulation in Small and Medium Enterprises

  • Andre L. Ferreira, Ricardo J. Machado and Mark C. Paulk. Size and complexity attributes for multi-model improvement framework taxonomy


SPPI 4: METHODS

  • Wikan Danar Sunindyo, Thomas Moser, Dietmar Winkler and Stefan Biffl. Foundations for Event-Based Process Analysis in Heterogeneous Software Engineering Environments

  • Ekrem Kocaguneli, Ayse Tosun and Ayse Bener. AI-Based Models for Software Effort Estimation

  • Harald Klein, Edward Fischer, Andreas Rausch and Martin Künzle. Application of Collaborative Scenarios in a Process-based Industrial Environment


Software Management 1

  • Werner Heijstek, Michel R.V. Chaudron, On The Impact of Model Driven Development on the Architectural Software Development Process

  • Mira Kajko-Mattsson, Ahmad Salman Khan and Tommy Tyrberg, Evaluating A Taxonomy of Handover Activities

  • Filomena Ferrucci, Carmine Gravino, Rocco Oliveto, Federica Sarro and Emilia Mendes, Investigating Tabu Search for Web Effort Estimation


Software Management 2

  • Panagiota Chatzipetrou, Lefteris Angelis, Per Rovegård and Claes Wohlin, Prioritization of Issues and Requirements by Cumulative Voting: A Compositional Data Analysis Framework

  • Burak Usgurlu, Ozden Ozcan Top, Onur Demirors and Erdir Ungan, A Clustering Based Functional Similarity Measurment Approach

  • Marko Ikonen, Petri Kettunen, Nilay Oza and Pekka Abrahamsson, Exploring the Sources of Waste in Kanban Software Development Projects


Next Generation Web Computing

  • Rudolf Ramler, Wolfgang Beer, Claus Klammer, Klaus Wolfmaier and Stefan Larndorfer, Concept, Implementation and Evaluation of a Web-based Software Cockpit"

  • Antero Taivalsaari,Tommi Mikkonen, Simplifying interactive programming with keywords “that” and “those”

  • Jan Gottschick, Hannes Restel, An Empirical Evaluation of the Quality of Interoperability Specifications for the Web


Dependable systems

  • Francesca Saglietti, Testing for Dependable Embedded Software

  • Manel Fredj, A developer-oriented view of component-based embedded systems

  • Öyvind Netland, Adaption of MathWorks Real-Time Workshop for an unsupported Embedded Platform

  • Christoph Sulzbachner, A load balancing approach for silicon retina based asynchronous temporal data processing

  • He Yi, Ren Ju, Wu Nan, Software Managed Instruction Scratchpad Memory Optimization in Stream Architecture based on Hot Code Analysis of Kernels


Open Source

  • Ruediger Glott, Arne-Kristian Groven, Kirsten Haaland and Anna Tannenberg. Quality models for Free/Libre Open Source Software – towards the “Silver Bullet”?

  • Jaco Geldenhuys. Data Panning to Find the Core Developers

  • Imed Hammouda. Adoption of Open Source in Tunisian Software Industry: An Empirical Study (Short paper

News

[26 August 2010]
An updated version of the conference program is available.

[5 July 2010]
Added schedule and the work in progress sessions program.

[21 June 2010]
Conference program online.

[16 June 2010]
Accepted papers online.

[2 June 2010]
Link to the Venue web site for Euromicro DSD and SEAA 2010 conferences added.

[18 May 2010]
Hotel Information added

[29 April 2010]
Author Notifications sent. Registration is now open.

[26 Apr 2010]
The notification deadline has been extended to April 29, 2010

[14 Mar 2010]
The submission deadline has been extended to March 31, 2010

[1 - 9 Dec 2009]
Added CFP's

[24 Nov 2009]
Site online

Dates

Conference
September 1 - 3, 2010



 

 
 
36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010)