Difference between revisions of "CCBS 09"

From Openresearch
Jump to: navigation, search
(RPndAbzpALtYqNGRYqf)
(Undo revision 25797 by 115.249.252.235 (talk))
 
Line 1: Line 1:
−
This atrcile went ahead and made my day.
+
{{Event
 +
|Acronym=CCBS 09
 +
|Title=The First International Workshop on the Critical Computer Based Systems
 +
|Type=Workshop
 +
|Field=Software engineering
 +
|Start date=2009/07/13
 +
|End date=2009/07/17
 +
|Homepage=people.cs.und.edu/~reza/CCBS09.htm
 +
|City=Las Vegas
 +
|State=Nevada
 +
|Country=USA
 +
|Submission deadline=2009/03/02
 +
|Paper deadline=2009/03/02
 +
|Notification=2009/04/08
 +
|Camera ready=2009/04/28
 +
}}
 +
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 theses 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 modelling 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-modelling 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
 +
 
 +
==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
 +
 
 +
==Committees==
 +
* Program Chairs
 +
** [[has program chair::Hassan Reza]], USA
 +
** [[has program chair::Francesco Flammini]], ITALY
 +
 
 +
 
 +
* Program Commitee (under construction)
 +
** [[has PC member::Farhad Arbab]], THE NETHERLANDS
 +
** [[has PC member::Madjid Fathi]], GERMANY
 +
** [[has PC member::Robert France]], USA
 +
** [[has PC member::Francesco Flammini]], ITALY
 +
** [[has PC member::Emmanuel Grant]], USA
 +
** [[has PC member::Jan Jurjens]], UK
 +
** [[has PC member::Francesca Saglietti]], GERMANY
 +
** [[has PC member::Pieter Mosterman]], USA
 +
** [[has PC member::Xudong He]], USA
 +
** [[has PC member::Andras Patarica]], HUNGARY
 +
** [[has PC member::Hassan Reza]], USA
 +
** [[has PC member::Ron Marsh]], USA
 +
** [[has PC member::Ray Hashami]], USA
 +
** [[has PC member::Bahram Shafai]], USA
 +
** [[has PC member::Valeria Vittorini]], ITALY

Latest revision as of 15:46, 27 December 2015

CCBS 09
The First International Workshop on the Critical Computer Based Systems
Dates 2009/07/13 (iCal) - 2009/07/17
Homepage: people.cs.und.edu/~reza/CCBS09.htm
Location
Location: Las Vegas, Nevada, USA
Loading map...

Important dates
Papers: 2009/03/02
Submissions: 2009/03/02
Notification: 2009/04/08
Camera ready due: 2009/04/28
Table of Contents


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 theses 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 modelling 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-modelling 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

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

Committees


Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=CCBS_09&oldid=201366"
Facts about "CCBS 09"
RDF feed
AcronymCCBS 09 +
Camera ready dueApril 28, 2009 +
End dateJuly 17, 2009 +
Event typeWorkshop +
Has PC memberFarhad Arbab +, Madjid Fathi +, Robert France +, Francesco Flammini +, Emmanuel Grant +, Jan Jurjens +, Francesca Saglietti +, Pieter Mosterman +, Xudong He +, Andras Patarica +, Hassan Reza +, Ron Marsh +, Ray Hashami +, Bahram Shafai + and Valeria Vittorini +
Has coordinates36° 10' 2", -115° 8' 55"Latitude: 36.167255555556
Longitude: -115.14851666667 +
Has location cityLas Vegas +
Has location countryCategory:USA +
Has location stateNevada +
Has program chairHassan Reza + and Francesco Flammini +
Homepagehttp://people.cs.und.edu/~reza/CCBS09.htm +
IsAEvent +
NotificationApril 8, 2009 +
Paper deadlineMarch 2, 2009 +
Start dateJuly 13, 2009 +
Submission deadlineMarch 2, 2009 +
TitleThe First International Workshop on the Critical Computer Based Systems +