From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=SPF_SOFTFAIL,X_PRIORITY_HIGH autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 75D1DBBAF for ; Sat, 20 Dec 2008 18:41:44 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,255,1228086000"; d="scan'208";a="32925188" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Dec 2008 18:41:44 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBKHfhQI023825 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 20 Dec 2008 18:41:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgCAPu8TEkYdADoaGdsb2JhbACSPIErDQUGCgcRA4EGpzVYkGGFB4E8hCI X-IronPort-AV: E=Sophos;i="4.36,255,1228086000"; d="scan'208";a="21565375" Received: from s6.cableone.net ([24.116.0.232]) by mail1-smtp-roc.national.inria.fr with ESMTP; 20 Dec 2008 18:41:42 +0100 Received: from [192.168.2.4] (unverified [24.116.188.166]) by s6.cableone.net (CableOne SMTP Service s6) with ESMTP id 11098503-1872270 for multiple; Sat, 20 Dec 2008 10:39:20 -0700 User-Agent: Microsoft-Entourage/11.3.3.061214 Date: Sat, 20 Dec 2008 11:39:09 -0600 Subject: Re: CFP: CCBS 2009 From: hassan reza To: Isabelle Perseil , Cc: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Message-ID: Thread-Topic: CFP: CCBS 2009 Thread-Index: AcliydzaG1kMd869Ed20cQAZ4zP51g== In-Reply-To: <0b9fa828b131a59ad77081c682fe6ddc.squirrel@webmail1.telecom-paristech.fr> X-Priority: 1 Mime-version: 1.0 Content-type: text/plain; charset="ISO-8859-1" Content-transfer-encoding: quoted-printable X-Vpipe: Scanner said ok (av_avast) X-IP-stats: Incoming Last 1, First 233, in=33, out=0, spam=0 ip=24.116.188.166 X-Originating-IP: 24.116.188.166 X-Abuse-Info: Send abuse complaints to abuse@cableone.net X-Miltered: at concorde with ID 494D2E57.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.13; model:01 model:01 pieter:01 2009:98 2009:98 carlo:98 aerial:98 aerial:98 28,:98 cfp:01 font:97 data:02 data:02 theorem:02 paradigms:02 Call for Papers =20 The First International Workshop on the Critical Computer Based Systems (CCBS'09) 2009 Monte Carlo Resort=20 Las Vegas, Nevada, USA (July 13-17, 2009) http://people.cs.und.edu/~reza/CCBS09.htm =20 =20 The construction of dependable and complex computer-based systems demands the interaction and involvement of industry and academy. Industry involvement is essential since it poses practical and challenging problems for academic researchers. Therefore, the main idea behind organizing the CCBS=B909 is to provide a platform in which to discuss both theoretical and practical results relevant to the engineering of highly sophisticated and critical systems that are used in automotive, avionics, railway, naval, chemical, nuclear, manufacturing, and medical industries. You are invited to submit a paper that documents research studies and applications related to the engineering of high-assurance systems in the aforementioned=20 industries with special emphasis on using model-based design and testing paradigms. Papers reporting industrial experiences using methodologies and tools to=20 manage the complexity of these systems are especially welcome. Papers will be evaluated for originality, significance, clarity, and soundness. All accepted papers will be published in the workshop proceeding= s and will be=20 indexed in major on-line archives (including DBLP). Extended and revised versions of selected papers will be also published by the International Journal of Critical Computer Based Systems (IJCCBS). =20 SCOPE =20 =B7 Engineering methods for high-assurance systems in real-time control applications =B7 Safety engineering methods for Unmanned Aerial Systems (UAS) =B7 Usability engineering methods for Unmanned Aerial Systems (UAS) =B7 Performance, dependability and security evaluation using analytical models, simulation or empirical approaches =B7 Model-based software testing and formal methods (model checking, theorem proving) =B7 Fault tolerant, resilient, reactive and reconfigurable architectures =B7 Multi-formalism and multi-paradigm approaches =B7 Novel approaches to safety assessment, hazard analysis and failur= e mode and effect analysis (FMEA), with special emphasis on immature domains =B7 Business continuity planning: backup strategies and disaster recovery procedures =B7 Model-based security engineering and design for security =B7 Cost benefit optimization of design parameters, including genetic approaches =B7 Measured data management, integration, fusion, correlation and reasoning for on-line diagnostics and prognostics of CBS =B7 Statistical approaches for field data retrieval, filtering and analysis in the operational phase =B7 Innovative applications, case studies and industrial experience reports (process control, biomedicine, X-by-wire, e-commerce, etc.) =B7 Advances in dependability modeling formalisms (Fault Trees, Marko= v Chains, Petri Nets, etc.) =B7 Fault/Attack-injection and design for testability =B7 Software reliability, including design diversity and software rejuvenation =B7 Systematic model based, model driven, co-modeling and concurrent engineering approaches =B7 Computer based risk assessment, decision support and early warnin= g systems =B7 Technologies, methodologies and standards for the co-design of hardware-software embedded architectures =B7 New structured and hybrid approaches for critical software engineering =B7 Management of issues in off-the-shelf components integration for dependable systems =B7 Middlewares and protocols for dependable service oriented and GRI= D applications =B7 Organizational, procedural and ergonomic aspects of human machine interaction in critical CBS =B7 Architectural Analysis Description Languages and Tool Supports =B7 Engineering approaches based on AADL/MBE, UML/MDA and SysML =20 SUBMISSION DETAILS Please send your paper (6-8 pages, single-spaced, font size of 10-12) to Hassan Reza: reza@aero.und.edu by the due date. E-mail submissions are also acceptable.=20 For more information, please visit the Workshop site at: http://people.cs.und.edu/~reza/CCBS09.htm =20 =20 ORGANIZING COMMITTEE =20 =20 PROGRAM CO-CHAIRS: =20 HASSAN REZA, USA FRANCESCO FLAMMINI, ITALY =20 PROGRAM COMMITTEE: =20 FARHAD ARBAB, NETHERLAND MADJID FATHI, GERMANY ROBERT FRANCE, USA FRANCESCO FLAMMINI, ITALY EMMANUEL GRANT, USA JAN JURJENS, UK=20 FRANCESCA SAGLIETTI, GERMANY PIETER MOSTERMAN, USA XUDONG HE, USA ANDRAS PATARICA, HUNGARY HASSAN REZA, USA RON MARSH, USA RAY HASHAMI, USA =20 IMPORTANT DATES: =20 MARCH 2, 2009: PAPER SUBMISSION APRIL 8, 2009: NOTIFICATION OF ACCEPTANCE APRIL 28, 2009: CAMERA READY PAPERS IN PDF/DOC AND PRE-REGISTRATION =20 =20