Track:
Software Technology
Minitrack:
Assurance Research for Dependable Software Systems
Modern society is irreversibly dependent on software systems of
astonishing 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.
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 analysis
-
Advances in system testing and certification
-
Assurance for embedded systems
-
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
Please see
http://assuranceresearch.com/ or
http://dependablesoftwaresystems.com/.
Minitrack Co-chairs:
Richard Linger (Primary Contact)
CERT, Software Engineering Institute
Carnegie Mellon University
4500 5th Avenue
Pittsburgh, PA 15213
Phone: 301-926-4858
Email: rlinger@sei.cmu.edu
Luanne Burns
Applied Physics Lab
John Hopkins University
Email: luannebg@yahoo.com
Stacy Prowell
CERT, Software Engineering Institute
Carnegie Mellon University
4500 5th Avenue
Pittsburgh, PA 15213
Phone: 412-268-9205
Email: sprowell@cert.org
