CFP

PDF
-------------------------------- - - - - - - -  -  -  -   -    -     -
- CALL FOR SUBMISSIONS
-------------------------------- - - - - - - -  -  -  -   -    -     -
Dear colleague,

We are pleased to announce and invite you to submit a paper to the:

WORKSHOP ON THE RELIABILITY OF INTELLIGENT ENVIRONMENTS (WORIE'12)

https://www.ugr.es/~worie/2012/

to be held within the 
8th International Conference on Intelligent Environments (IE'12) 
Guanajuato, Mexico, 26-29 of June 2012
(http://www.intenv.org/) 

-------------------------------- - - - - - - -  -  -  -   -    -     -
- IMPORTANT DATES
-------------------------------- - - - - - - -  -  -  -   -    -     -
15 March 2012: Paper submission deadline
16 April 2012: Notification of acceptance
30 April 2012: Final version submission
26 or 27 June 2012: Workshop date

-------------------------------- - - - - - - -  -  -  -   -    -     -
- MOTIVATION
-------------------------------- - - - - - - -  -  -  -   -    -     -
Intelligent Environments (IE) is rising as one of the technical fields 
with the highest potential to make an impact in daily human life during 
the near future. Developments in this area are achieved by a complex 
juxtaposition of complex technical fields. Software is related to the 
architecture of a building, sensors, a network for data transportation, 
and different levels of users. Many of these elements are error prone, 
software is notoriously difficult and even companies like NASA, 
Microsoft, Intel, BMW, which can afford powerful teams of experienced 
development teams have paid with lives, economic losses and reputation 
missing to detect software bugs within their products. Sensors are often 
unreliable, networks are sometimes unstable and users can put systems to 
the test in circumstances that were not initially foreseen. Developing 
this type of systems is therefore complex and given that some 
applications will be given the tremendous responsibility to take care of 
humans. Think for example on how much interest there is on the development 
of systems to support independent living. These systems are intended to 
give peace of mind to elderly people and their relatives trusting that 
the system will be able to do many things for them including safety related 
issues like detecting whether the occupant of the house has fallen or is 
unwell in some way. Other examples are unmanned cars and other autonomous 
systems which are supposed to perform tasks for us which can have disastrous 
consequences should something go wrong.

Our community should develop appropriate standards and specific methodologies 
to ensure we do our outmost to deliver safe systems given the current state 
of the art. Given the specific blend of components in our area of development 
we cannot just transfer developments in other areas (although of course they 
should be taken into account to inform the process). This event will aim to 
bring together developers and researchers to focus on all aspects of the 
development process that can contribute to make Intelligent Environment systems 
safer and to provide methodologies that can increase the confidence in these 
developments.

-------------------------------- - - - - - - -  -  -  -   -    -     -
- WORKSHOP FORMAT
-------------------------------- - - - - - - -  -  -  -   -    -     -
The core of the event will be the presentation of recent advances in 
research and applications followed by a debate aiming to encourage a 
critical reflection on the subject. Presentations can also contain demos 
about tools and applications.

After the presentations of the selected papers, a panel will focus on 
critical issues that should be addressed at both academic and professional 
level. The results of this panel can be used then by different groups to 
elaborate a summary document on achievements and prospective issues to be 
considered by the research community. Interaction will be encouraged 
throughout the event.
 
-------------------------------- - - - - - - -  -  -  -   -    -     -
- TOPICS
-------------------------------- - - - - - - -  -  -  -   -    -     -
Areas of interest include, but are not limited to, the following ones, 
all of them applied to increase the reliability of IE and related systems 
(such as Pervasive/Ubiquitous Computing systems, Ambient Intelligence 
systems, Smart Environments, Multi-Agent Systems, etc.):
 
- Requirement specification
- Elicitation of user requirements
- Modelling notations
- Rule-based modelling
- Integration of modelling and specification
- Workflow modelling
- Simulation
- Formal analysis and design
- Human-centred design
- Software engineering techniques 
- Testing
- Validation
- Formal and semi-formal methods
- Verification of system correctness
- Model checking
- Combination of verification methods
- Quality assessment
- Technical frameworks 
- Support tools
- Applications and case studies

-------------------------------- - - - - - - -  -  -  -   -    -     -
- SUBMISSIONS
-------------------------------- - - - - - - -  -  -  -   -    -     -
Authors wishing to participate to this event should: 

(1)	Format their papers according to the IOS Press style, with a length 
of at least 6 but no more than 12 pages. Latex and Word templates can be 
found in:
http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/

(2)	Submit the papers using the CMT account for this workshop 
(https://cmt.research.microsoft.com/WoRIE2012). 
See more details on this from the web page of the workshop. 

All submitted papers will be reviewed by several reviewers with expertise 
in the area in order to provide constructive feedback to their authors and 
select the best ones for their presentation in the workshop and their 
publication in the proceedings.

-------------------------------- - - - - - - -  -  -  -   -    -     -
- PUBLICATION
-------------------------------- - - - - - - -  -  -  -   -    -     -
All accepted papers will be published in a volume of the Ambient 
Intelligence and Smart Environments Series (ISI indexed) of IOS Press 
and electronically available through ACM Digital Library.

Selected papers from this workshop will be considered for publication in 
a special number of a journal which is under negotiation.

-------------------------------- - - - - - - -  -  -  -   -    -     -
- PROGRAM COMMITTEE
-------------------------------- - - - - - - -  -  -  -   -    -     -
- Sebastian Bader, University of Rostock, Germany
- Stefano Chessa, Universitŕ di Pisa, Italy
- Antonio Coronato, Institute for High Performance Computing and Networking, Italy
- Esther Guerra, Universidad Autónoma de Madrid, Spain
- Martin C. Henson, University of Essex, UK 
- Paul de Hert, Vrije Universiteit Brussel, Belgium
- Juan de Lara, Universidad Autónoma de Madrid, Spain
- Pedro Merino, University of Málaga, Spain
- Daniela Micucci, University of Milano – Bicocca, Italy
- Alice Miller, University of Glasgow, UK
- Davy Preuveneers, KU Leuven, Belgium
- Michael Quade, DAI-Labor, Technische Universităt Berlin, Germany
- Alexei Sharpanskykh, Vrije Universiteit Amsterdam, The Netherlands

-------------------------------- - - - - - - -  -  -  -   -    -     -
- CONTACT
-------------------------------- - - - - - - -  -  -  -   -    -     -
- Miguel J. Hornos, University of Granada, Spain (mhornos@ugr.es) 
- Juan Carlos Augusto, University of Ulster at Jordanstown, UK (jc.augusto@ulster.ac.uk) 
- Pablo A. Haya, IIC-Universidad Autónoma de Madrid, Spain (pablo.haya@iic.uam.es)