CALL FOR PAPERS
Assurance Research for Dependable Software Systems (ARDSS)
This is a Minitrack that is part of the Software Technology Track
Forty-Fifth Annual HAWAI'I INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES
January 4-7, 2012 Grand Wailea Maui, Hawaii
Additional detail may be found on the HICSS <http://www.hicss.hawaii.edu>
primary web site: http://www.hicss.hawaii.edu/hicss_45/apahome45.htm
Minitrack co-chairs
Jim Alves-Foss
University of Idaho
Moscow, Idaho
<mailto:[email protected]%3cmailto:[email protected]>
[email protected]<mailto:[email protected]>
Rick Linger
Oak Ridge National Laboratory
Oak Ridge, TN
<mailto:[email protected]%3cmailto:[email protected]>
[email protected]<mailto:[email protected]>
Carol Woody
Software Engineering Institute
Carnegie Mellon University
Pittsburgh, PA
<mailto:[email protected]%3cmailto:[email protected]>
[email protected]<mailto:[email protected]>
MINITRACK DESCRIPTION
Modern society is irreversibly dependent on software systems of remarkable
scope and complexity. Yet methods for assuring the dependability and quality
of these systems have not kept pace with their rapid deployment and
evolution. The result has been persistent errors, failures, vulnerabilities,
and compromises. Research is required in assurance technologies that can
meet the needs of 21st century systems. These technologies must scale beyond
present labor-intensive practices that are increasingly overwhelmed by the
task at hand. Many organizations in academia, industry, and defense are
interested in this subject, but often with a focus on specific subject
matter areas. The goal of this Minitrack is to bring together researchers
from all areas of system assurance to promote sharing and cross-pollination
of promising methods and technologies. We will promote a unified assurance
discipline characterized by science foundations and substantial automation
that can effectively address the scope and scale of the problem.
TECHNICAL FOCUS AREAS
Assurance research focuses on achieving an acceptable level of trust and
confidence through auditable evidence that software systems will function as
intended in both benign and threat environments to meet organizational
objectives. It addresses all aspects of the system development lifecycle in
terms of technical, management, and standards-related issues. The following
topics will be included in the Minitrack:
. Advances in specification and design of assured systems
. Advances in software correctness verification
. Advances in software security assurance
. Advances in system testing and certification
. Assurance for embedded systems
. Assurance for hardware components
. Assurance for large-scale infrastructure systems
. Assurance for SOA architectures and cloud computing environments
. Assurance in system maintenance and evolution
. Automated methods for system assurance
. Assurance through computation of software behavior
. Secure coding techniques
. Management of assurance operations
. Processes and metrics for assurance operations
. Business case and ROI development for system assurance
. Supply chain and standards issues in system assurance
. Case studies of system assurance successes
. Formal methods in software assurance
. Curriculum development and education for software assurance
Important 2011 Deadlines for Authors
. June 15 Submit full manuscripts for review as instructed. The
review is double-blind; therefore, this initial submission must be without
author names.
. Aug 15 Review System emails Acceptance Notices to authors. It
is very important that at least one author of each accepted paper attend the
conference. Therefore, all travel guarantees - including visa or fiscal/
funding procedures - should begin immediately. Make sure your server accepts
the address from our review system <https://precisionconference.com/~hicss>
https://precisionconference.com/~hicss.
. Sept 15 Early Registration fee deadline. (Fees will increase on
Sept 16 and Dec 16.) Add author names to paper, and submit Final Paper for
Publication. At least one author of each paper should register by this date
in order secure publication in the Proceedings.
. Oct 15 Papers without at least one registered author will be
deleted from the Proceedings and not scheduled for presentation; authors
will be so notified by the Conference Office.
Questions:
If you have any questions or would like to discuss paper topics, please feel
free to get in touch with the co-chairs. If you are planning to write a
paper, please drop us a note so we can better plan the minitrack.
HICSS-45 conference website:
http://www.hicss.hawaii.edu/hicss_45/apahome45.htm
------------------------------------------------------------------------------
Enable your software for Intel(R) Active Management Technology to meet the
growing manageability and security demands of your customers. Businesses
are taking advantage of Intel(R) vPro (TM) technology - will your software
be a part of the solution? Download the Intel(R) Manageability Checker
today! http://p.sf.net/sfu/intel-dev2devmar
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
