Version française
Home     About     Download     Resources     Contact us    
Browse thread
CFP-UML&AADL'2009
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: hassan reza <hassanreza@c...>
Subject: Re: CFP: CCBS 2009


Call for Papers
 
The First International Workshop on the Critical Computer Based Systems
(CCBS'09) 2009
Monte Carlo Resort 
Las Vegas, Nevada, USA (July 13-17, 2009)
http://people.cs.und.edu/~reza/CCBS09.htm
 
 
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¹09 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 
industries with special emphasis on using model-based design and testing
paradigms. Papers reporting industrial experiences using methodologies and
tools to 
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 proceedings
and will be 
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).
  
SCOPE
 
·         Engineering methods for high-assurance systems in real-time
control applications
·         Safety engineering methods for Unmanned Aerial Systems (UAS)
·         Usability engineering methods for Unmanned Aerial Systems (UAS)
·         Performance, dependability and security evaluation using
analytical models, simulation or empirical approaches
·         Model-based software testing and formal methods (model checking,
theorem proving)
·         Fault tolerant, resilient, reactive and reconfigurable
architectures
·         Multi-formalism and multi-paradigm approaches
·         Novel approaches to safety assessment, hazard analysis and failure
mode and effect analysis (FMEA),
          with special emphasis on immature domains
·         Business continuity planning: backup strategies and disaster
recovery procedures
·         Model-based security engineering and design for security
·         Cost benefit optimization of design parameters, including genetic
approaches
·         Measured data management, integration, fusion, correlation and
reasoning for on-line diagnostics and prognostics of CBS
·         Statistical approaches for field data retrieval, filtering and
analysis in the operational phase
·         Innovative applications, case studies and industrial experience
reports (process control, biomedicine,
          X-by-wire, e-commerce, etc.)
·         Advances in dependability modeling formalisms (Fault Trees, Markov
Chains, Petri Nets, etc.)
·         Fault/Attack-injection and design for testability
·         Software reliability, including design diversity and software
rejuvenation
·         Systematic model based, model driven, co-modeling and concurrent
engineering approaches
·         Computer based risk assessment, decision support and early warning
systems
·         Technologies, methodologies and standards for the co-design of
hardware-software embedded architectures
·         New structured and hybrid approaches for critical software
engineering
·         Management of issues in off-the-shelf components integration for
dependable systems
·         Middlewares and protocols for dependable service oriented and GRID
applications
·         Organizational, procedural and ergonomic aspects of human machine
interaction in critical CBS
·         Architectural Analysis Description Languages and Tool Supports
·         Engineering approaches based on AADL/MBE, UML/MDA and SysML
 
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. 
For more information, please visit the Workshop site at:
http://people.cs.und.edu/~reza/CCBS09.htm
 
 
ORGANIZING COMMITTEE
 
 
PROGRAM CO-CHAIRS:
 
HASSAN REZA, USA
FRANCESCO FLAMMINI, ITALY
 
PROGRAM COMMITTEE:
 
FARHAD ARBAB, NETHERLAND
MADJID FATHI, GERMANY
ROBERT FRANCE, USA
FRANCESCO FLAMMINI, ITALY
EMMANUEL GRANT, USA
JAN JURJENS, UK 
FRANCESCA SAGLIETTI, GERMANY
PIETER MOSTERMAN, USA
XUDONG HE, USA
ANDRAS PATARICA, HUNGARY
HASSAN REZA, USA
RON MARSH, USA
RAY HASHAMI, USA
 
IMPORTANT DATES:
 
MARCH 2, 2009: PAPER SUBMISSION
APRIL 8, 2009:  NOTIFICATION OF ACCEPTANCE
APRIL 28, 2009: CAMERA READY PAPERS IN PDF/DOC AND PRE-REGISTRATION