CfP - SYSTEM TESTING AND VALIDATION (STV'10)

Call For Submissions 7th Workshop on SYSTEM TESTING AND VALIDATION (STV10) Oxford, UK March 22-26, 2010 (1 day in conjunction with IEEE ECBS 2010), https://syst.eui.upm.es/conferences/stv10/ Workshop Description The need to count on trusted systems is growing day by day. Together with traditional domains such as medical devices, automotive, railway, aeronautical, space and telecommunications, new applications and services are coming up everyday. Terms such as ubiquitous, pervasive, or autonomic computing, products under the general umbrella of smart devices or the use of large wireless sensors networks indicate a clear trend in the increase of application complexity and dependency. The dependency of daily life on computers and computer based systems is growing up at a high rate, and validation is gaining importance at the same rate. To perform a proper validation process encounters a number of problems both from a technical and from a managerial point of view, also considering that the complexity of the underlying software is growing as well. As a consequence inputs from research contributions and experience from industry are required in order to enable innovative, and often more rigorous, approaches. The System Testing and Validation Workshop is a series of events initiated in the year 2002 and seeks to provide answers to the many open issues related to validation. This Workshop is organized in conjunction with IEEE ECBS 2010, Oxford, UK, http://tab.computer.org/ecbs/2010/ Objective The objective of the workshop is to bring together industry and academy to debate on different approaches and methodologies to system validation. Issues to be considered are: * innovative approaches to validate 'fit for use' of different types of software intensive systems with different requirements: functional, and non-functional (reliability, safety, maintainability, etc.; * automation and tool support: validation for systems of formerly-validated components; * validation in the context of different lifecycle process models: e.g. conventional and agile; * validation versus 'qualification' and certification. Both methodological issues and managerial (cost, organization required) are welcome: contributions that put special emphasis to the usage and suitability of advanced languages for tests and test methodologies (e.g. TTCN-3, UML2 testing profile), practical aspects of validation (though their foundation will be equally considered). Important Dates Submission of paper via Easychair: Dec 18, 2009 Notification of acceptance: Dec 30, 2009 Camera ready version: Jan 13, 2010 Workshop celebration: March 22-26, 2010 Submissions Submissions should be in PDF using Easychair: http://www.easychair.org/conferences/?conf=stv10 * Papers should have 6-10 pages. * Position statements should have 2 - 4 pages. * Format: for Author Guidelines see IEEE Computer Society instructions.. Organizers Juan Garbajosa (Technical University of Madrid, Spain) Axel Rennoch (Fraunhofer FOKUS, Germany) Jorgen Boegh (TERMA, Denmark) Contact the organizers Workshop e-mail address: stv10 (at) fokus.fraunhofer.de Workshop homepage: https://syst.eui.upm.es/conferences/stv10/ Programme Commitee Alain Abran (Canada) Jorgen Boegh (TERMA, Denmark) Paul Croll (Computer Sciences Corporation, USA) Juan Garbajosa (Technical University of Madrid, Spain) Ian Hirst (BTMC, Australia) Natalia Ioustinova (ING, Netherlands) Sebastian Mueller (ETSI, France) Axel Rennoch (Fraunhofer Fokus, Germany) Patricia Rodriguez-Dapena (Software, Spain) Dragos Truscan (ABO, Finland) Theo Vassiliou (Testing Technologies, Germany) Justyna Zander (Harvard University, USA)