ICECCS 2010 - The Fifteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010)

The Fifteenth IEEE International Conference on Engineering of Complex
Computer Systems (ICECCS 2010)

St Anne's College, University of Oxford, United Kingdom, 24-26 March 2010

http://web.comlab.ox.ac.uk/ICECCS2010/

-----------------------------------------------------------------------
The success of key human activities ranging from research and business to
everyday services relies on the use of ever more sophisticated,
feature-rich
and complex computer systems. These complex computer systems are
regularly required to accomplish more, faster and on a broader scale, to
adapt
dynamically to changing workloads, scenarios and objectives, and to achieve
guaranteed levels of performance and dependability. Satisfying such
demanding
requirements in the presence of the variability, heterogeneity and
non-linear
behaviour that characterise complex computer systems poses numerous
challenges
to both their developers and their users.

The aim of the conference is to bring together researchers,
practitioners and leading
experts from academia and industry, to advance the state of the art in
the specification,
development, validation and verification, and management of complex
computer systems.
-----------------------------------------------------------------------

SCOPE AND TOPICS
Authors are invited to submit papers describing original, unpublished
research results,
case studies and tools. Topics of interest include but are not limited
to the following aspects
of complex computer systems:

Requirement specification and analysis
Verification and validation
Model-driven development
Reverse engineering and refactoring
Design by contract
Agile methods
Safety-critical & fault-tolerant architectures
Adaptive, self-managing and multi-agent systems
Real-time, hybrid and embedded systems
Systems of systems
Tools and tool integration
Industrial case studies
Different kinds of contributions are sought, including: research papers,
lessons learned, experience reports, discussion of practical problems
faced by industry and user domains, and posters describing ongoing
research or PhD research. The ultimate goal is to build a
rich and comprehensive conference program that can fit the interests
and needs of different classes of attendees: professionals,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.

Full papers are divided into two categories: Technical Papers and
Experience
Reports. The papers submitted to either category will be reviewed by
program committee members, and papers accepted in either category will
be published in the conference proceedings. Technical papers should
describe original research, and experience reports should present practical
projects carried out in industry, and reflect on the lessons learnt from
them.
ICECCS 2010 also hosts a special session on Complex Systems Modelling
and Simulation; see below for further details of requirements for papers in
this session.

Poster paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of poster papers will be
reviewed by program committee members, and accepted poster papers will
be published in the conference proceedings.
-----------------------------------------------------------------------

PAPER SUBMISSION
Submitted manuscripts should be in English and formatted in the style
of the IEEE Computer Society Proceedings Format. Full papers should not
exceed 10 pages including figures, references, and appendices and be in
PDF format; Poster papers should be no more than 2 pages in IEEE
Computer Society Proceedings Format. Submissions not adhering to the
specified format and length may be rejected immediately, without review.

Submissions of papers will be carried out electronically via the web site
of the ICECCS Submission Service at

http://www.easychair.org/conferences/?conf=iceccs2...

Authors of accepted papers will be required to sign a copyright release
form.
IEEE Computer Society Press will publish the proceedings. Final versions of
accepted papers will be limited to 10 pages (2 pages for Poster Papers)
in the
aforementioned IEEE proceedings format.
-----------------------------------------------------------------------

IMPORTANT DATES
Abstract submission deadline 23 Oct 2009
Paper submission deadline 30 Oct 2009
Author notification 18 Dec 2009
Final version due: 22 Jan 2010
-----------------------------------------------------------------------

KEYNOTE SPEAKERS
Carlo Ghezzi, Politecnico di Milano, Italy
Bill Roscoe, University of Oxford, UK
-----------------------------------------------------------------------

GENERAL CHAIR
Marta Kwiatkowska, University of Oxford, UK
PROGRAM CHAIRS
Radu Calinescu, University of Oxford, UK
Richard Paige, University of York, UK
-----------------------------------------------------------------------

PROGRAM COMMITTEE

Yamine Ait Ameur, ENSMA, France
Simone Barbosa, PUC-Rio, Brazil
Karin Breitman, PUC-Rio, Brazil
Phil Brooke, University of Teesside, UK
Michael Butler, University of Southampton, UK
Jordi Cabot, University of Toronto, Canada
Antonio Cerone, United Nations University, Macau
Corina Cirstea, University of Southampton, UK
Jim Davies, University of Oxford, UK
Mieso Denko, University of Guelph, Canada
Juergen Dingel, Queen's University, Canada
Simon Dobson, University of St Andrews, UK
Kerstin Eder, University of Bristol, UK
Nicholas Graham, Queens University, Canada
Lindsay Groves, Victoria University of Wellington, NZ
Lars Grunske, Swinburne University, Australia
Esther Guerra, Universidad Carlos III Madrid, Spain
Gaetan Hains, University Paris-12, France
Michael Harrison, Newcastle University, UK
Shinji Kikuchi, Fujitsu, Japan
Joe Kiniry, University College Dublin, Ireland
Michal Konecny, Aston University, UK
Fabrice Kordon, Universite Pierre & Marie Curie, France
Philip Laplante, Penn State University, USA
Kung-Kiu Lau, University of Manchester, UK
Juan de Lara, Universidad de Madrid, Spain
Gerald Luettgen, Universitat Bamberg, Germany
Tom Maibaum, McMaster University, Canada
Tiziana Margaria, Potsdam University, Germany
Julie McCann, Imperial College, UK
John McDermid, University of York, UK
Paul McKee, BT, UK
Raffaela Mirandola, Politecnica di Milano, Italy
Isabelle Perseil, Telecom-Paristech, France
Omer Rana, Cardiff University, UK
Awais Rashid, Lancaster University, UK
Bernhard Rumpe, RWTH-Aachen, Germany
Doug Schmidt, Vanderbilt University, USA
Cristina Seceleanu, Malardalen University, Sweden
Janet Smart, University of Oxford, UK
Oleg Sokolsky, University of Pennsylvania, USA
Ian Sommerville, University of St. Andrews, UK
Jing Sun, University of Auckland, New Zealand
Steffen Zschaler, University of Lancaster, UK

----------------------------------------------------------------------
ICECCS 2010 Special Session: Complex Systems Modelling and Simulation

March 24-26, 2010
Oxford, UK
iceccs-AT-cosmos-research.org

-----------------------------------------------------------------------
This special session of ICECCS 2010
(http://web.comlab.ox.ac.uk/ICECCS2010/) aims to provide a forum for
research examining the modelling and simulation of complex systems.
Complex systems
are characterised by low-level components that communicate and interact
in and with and within an environment, exhibiting high-level (emergent)
behaviours. For example, natural complex systems that inspire
engineering solutions might be swarms (natural, robots, UAVs) or ants
(path finding, optimisation). Complex systems are modelled and simulated
to try to understand behaviours: for instance, stock markets, social
systems, predator-prey systems, spin glasses, simple liquid crystals.
Finally, systems such as cellular automata provide an implementation
platform for some forms of complex system. The special session concerns
the engineering of such complex systems. Engineering covers, amongst
other aspects, abstract modelling in diagrams or mathematics, computer
simulation, verification and validation, and engineering environments.

Engineering complex systems is a challenging and interdisciplinary task.
Elements might include choice of modelling tools and techniques,
simulation infrastructures, concurrency and distribution, the process of
moving from models to simulations, arguing validity of simulations, and
the identification of reusable engineering techniques such as patterns.

The Special Session is supported by the EPSRC CoSMoS project
<http://www.cosmos-research.org/>, a four-year initiative, based at the
Universities of York and Kent, to develop a framework and infrastructure
for the construction of of generic complex systems simulations. Accepted
papers will appear in the ICECCS proceedings.

-----------------------------------------------------------------------
AREAS OF INTEREST

Areas of interest include, but are not limited to:

Abstract modelling and simulation of complex systems to support scientific enquiry or engineering
Modelling approaches that accommodate treatment of emergent behaviours
Aspects of complex-system simulation environments, including languages, concurrency, distribution and scalability
Engineering techniques and tools to support complex-system simulation environments, languages, concurrency and distribution and scalability, in areas such as model-to-code, testing, proof of properties, use of patterns and refactorings
Techniques for demonstrating the validity, or fitness-for-purpose, of models and simulations
Posters papers on these topics are invited from /current PhD students/. To
contribute a poster, submit a poster paper (below) through the ICECCS
conference
submission (http://web.comlab.ox.ac.uk/ICECCS2010/cfp.html); accepted
poster papers will be published in the IEEE proceedings, and posters
displayed at the conference.

-----------------------------------------------------------------------
SUBMISSIONS

Submitted manuscripts should be in English and formatted in the style of
the IEEE Computer Society Proceedings Format. *Full papers* should not
exceed
10 pages including figures, references, and appendices and be in PDF
format. *Poster papers* should not exceed 2 pages including figures,
references, and appendices and be in PDF format. Submissions not
adhering to the specified format and length may be rejected immediately,
without review.

Submissions of papers and poster papers will be carried out
electronically via the web site of the ICECCS Submission Service at

http://www.easychair.org/conferences/?conf=iceccs2...

Please indicate during the submission process that your paper is for
consideration
to the ICECCS special session on Complex Systems Modelling and Simulation.

Authors of accepted papers and posters will be required to sign a
copyright release form. IEEE Computer Society Press will publish the
proceedings. Final versions of accepted full papers will be limited to 10
pages (2 pages for poster papers) in the aforementioned IEEE proceedings
format.

-----------------------------------------------------------------------
IMPORTANT DATES

*Abstract Submission:* 23 October 2009

*Paper Submission:* 30 October 2009

*Notification of acceptance:* 18 December 2009

*Camera ready copies:* 22 January 2010

*ICECCS 2010 Conference:* 22-26 March 2010

-----------------------------------------------------------------------
SPECIAL SESSION CHAIRS

Fiona Polack
Paul Andrews
Adam Sampson

============================================================
To contribute to SEWORLD, send your submission to
mailto:seworld-AT-sigsoft.org

http://www.sigsoft.org/seworld provides more
information on SEWORLD as well as a complete archive of
messages posted to the list.
============================================================