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

Website http://web.comlab.ox.ac.uk/ICECCS2010/ | Edit Freely

Category ICECCS 2010

Deadline: October 30, 2009 | Date: March 22, 2010

Venue/Country: Oxford, U.K.

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

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=iceccs2010

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

iceccscosmos-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=iceccs2010

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:seworldsigsoft.org

http://www.sigsoft.org/seworld provides more

information on SEWORLD as well as a complete archive of

messages posted to the list.