[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP T4CIA 2010



                       Call for Papers

**********************************************************
*           Testing Technologies and Tools for           *
*             Critical Industry Applications             *
*                      (T4CIA'10)                        *
*       2nd Workshop in conjunction with SSIRI 2010      *
*           (http://paris.utdallas.edu/ssiri10/)         *
**********************************************************


GENERAL INFORMATION
---------------------

The large amount of applications in industrial sectors (e.g. telecom,
medical, and energy) has many mission critical issues (e.g. security,
reliability). The competence of industry applications to ensure the
critical missions determines the competitive strengths in the
market. On one hand, industrial companies have introduced and
developed testing technologies and tools in industrial contexts, and
applied them in these applications. On the other hand, academic
researchers have produced and performed theoretical or experimental
research for the similar topics. This workshop aims to increase
scientific interaction and cooperation between academic researchers
and industrial practitioners in the area of critical industry
applications. It provides an excellent platform for the exchange of
ideas, discussion, cross-fertilization, inspiration, and
co-operation. Both researchers and practitioners will present their
results and experience to a broader audience.


Scope of the Workshop
---------------------
The topics of interest include, but are not limited to:
· Methods, techniques and tools to support testing
· Different aspects of testing including functional, performance,
  security, etc.
· System specification and validation
· Application of model checking in testing
· Model based testing
· Testing processes in industry
· Theoretical foundations in testing
· Case studies and experience reports on critical industrial
  applications


Important Dates
---------------------
February 10, 2010: Submission deadline
March 10, 2010: Notification date
April 1, 2010: Camera-ready and author registration due
June 10, 2010 (tentative): Workshop (half day)


Submission, Workshop Proceedings, Paper Presentation
---------------------
Submit original papers (not published or submitted elsewhere) with a
maximum of 10 pages. Include the title of the paper, the name and
affiliation of each author, a 150-word abstract, and up to 8
keywords. The format of your submission must follow the IEEE
conference proceedings format.

Please submit your paper at
http://paris.utdallas.edu/ssiri10/start/www/T4CIA/. Or visit the
conference website http://paris.utdallas.edu/ssiri10, click on "Paper
Submission" in the left menu, and select "Submit papers to Testing
Technologies and Tools for Critical Industry Applications (T4CIA'10)"

Accepted submissions will be published by IEEE Press and available in
the IEEE digital library. One of the authors needs to register and
present the accepted submission. Each paper has 30 minutes, with 20-25
minute presentation.


Organizers
---------------------
Bao Tang (bao.tang@siemens.com)
Siemens IT Solutions and Services, China

Jun Pang (jun.pang@uni.lu)
University of Luxembourg, Luxembourg

Please do not hesitate to contact us by email if you have any question
or remarks.


Invited Speakers
---------------------
To be defined


Program Committee
---------------------
Baptiste Alcalde,     University of Luxembourg, Luxembourg
Jens R. Calamé,	      Hamburg, Germany
Benjamin Collar,      Siemens, USA
Qing Gu,              Nanjing University, China
Jun Pang (co-chair),  University of Luxembourg, Luxembourg
Hongyang Qu,          Oxford University, United Kingdom
Mariëlle Stoelinga,   University of Twente, Netherlands
Bao Tang (co-chair),  Siemens IT Solutions and Services, China
Kerry Zhu,            WebEx, China

(More to be confirmed)