I apologize if you get multiple copies. This is a good opportunity for
graduate students publications as well as more seasoned researchers. We have
had good discussions here in the past. We are interested in papers with more
of a formal emphasis.
-jimaf
--------------------------------------------------------------------------
Dr. Jim Alves-Foss, Director
Center for Secure and Dependable Systems
University of Idaho
POBOX 441008
Moscow, ID 83844-1008
ph: 208-885-4114
http://www.csds.uidaho.edu <http://www.csds.uidaho.edu/>
CALL FOR PAPERS
Assurance Research for Dependable Software Systems (ARDSS) Minitrack
Part of the Software Technology Track
Forty-Sixth Annual
HAWAI'I INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES
January 7-10, 2013
Grand Wailea
Maui, Hawaii
Additional detail may be found on the HICSS
<http://www.hicss.hawaii.edu/hicss_46/apahome46.htm> primary web site or
the ARDSS <http://assuranceresearch.com/> Minitrack website
(http://assuranceresearch.com)
Minitrack co-chairs
Jim Alves-Foss
University of Idaho
Moscow, Idaho
[email protected]
Rick Linger
Oak Ridge National Laboratory
Oak Ridge, TN
[email protected]
Carol Woody
Software Engineering Institute
Carnegie Mellon University
Pittsburgh, PA
[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
Important Deadlines:
June 15 Submit full manuscripts for review. The review is double-blind;
therefore this submission must be without author names.
Aug 15 Acceptance notices are emailed to authors by the Review System. (Make
sure your server accepts the address.) At least one author of each accepted
paper must immediately make plans to attend the conference, including
initiating fiscal, visa, or other travel guarantees.
Sept 15 Accepted authors submit Final Paper. At least one author of each
paper should register by this date. This is the Early Registration fee
deadline.
Oct 15 Papers without at least one registered author will be deleted from
the Proceedings; 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.
HICSS-46 conference website:
<http://www.hicss.hawaii.edu/hicss_46/apahome46.htm>
http://www.hicss.hawaii.edu/hicss_46/apahome46.htm
ARDSS Website:
http://assuranceresearch.com
------------------------------------------------------------------------------
Virtualization & Cloud Management Using Capacity Planning
Cloud computing makes use of virtualization - but cloud computing
also focuses on allowing computing to be delivered as a service.
http://www.accelacomm.com/jaw/sfnl/114/51521223/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
