Message from the General Chair

Message from the Program Committee Chairs (PDF)

pp. x

Organizing Committee (PDF)

pp. xi

Program Committee (PDF)

pp. xii

Reviewers (PDF)

pp. xiii-xiv

Session 1: Design Assurance

Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems (Abstract)

Dongfeng Wang, University of Texas at Dallas

Hui Ma, University of Texas at Dallas

Farokh B. Bastani, University of Texas at Dallas

I-Ling Yen, University of Texas at Dallas

pp. 3-11

PDF

Software Fault Tree Analysis for Product Lines (Abstract)

Josh Dehlinger, Iowa State University

Robyn R. Lutz, Iowa State University and Jet Propulsion Laboratory

pp. 12-21

PDF

Flexible Design of Complex High-Integrity Systems Using Trade Offs (Abstract)

Iain Bate, University of York

Neil Audsley, University of York

pp. 22-31

PDF

Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation (Abstract)

Zonghua Gu, University of Michigan

Shige Wang, University of Michigan

Sharath Kodase, University of Michigan

Kang G. Shin, University of Michigan

pp. 32-41

PDF

Session 2: Knowledge Based System Assurance Techniques

Knowledge-Centric and Language Independent Framework for Safety Analysis Tools (Abstract)

S. C. Kothari, Iowa State University

Luke Bishop, Iowa State University

Jeremias Sauceda, Iowa State University

Gary Daugherty, Rockwell Collins

pp. 45-55

PDF

Reducing Overfitting in Genetic Programming Models for Software Quality Classification (Abstract)

Yi Liu, Georgia College and State University

Taghi Khoshgoftaar, Florida Atlantic University

pp. 56-65

PDF

Session 3: Fault Tolerant System Design and Analysis

An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems (Abstract)

Arshad Jhumka, Technical University at Darmstadt

Martin Hiller, Volvo

Neeraj Suri, Technical University at Darmstadt

pp. 69-78

PDF

Decentralized Workload Management for Assurance According to Heterogeneous Service Levels (Abstract)

Ivan Luque, Tokyo Institute of Technology

Xiaodong Lu, Tokyo Institute of Technology

Misato Tasaka, Tokyo Institute of Technology

Kinji Mori, Tokyo Institute of Technology

Yasushi Kuba, Hitachi, Ltd.

pp. 79-88

PDF

Structural Analysis of Explicit Fault-Tolerant Programs (Abstract)

Stefan Gossens, University of Erlangen-Nuremberg

Mario Dal Cin, University of Erlangen-Nuremberg

pp. 89-96

PDF

Session 4: System Level Test Methodologies

Multi-Function System Testing: Composition of Test Sets (Abstract)

Mark Sh. Levin, Ben-Gurion University

Mark Last, Ben-Gurion University

pp. 99-108

PDF

Testing Large Scale Streaming Internet Applications over Wireless LANs (Abstract)

Praveen Ikkurthy, University of South Florida

John Shahbazian, University of South Florida

Miguel A. Labrador, University of South Florida

Kenneth J. Christensen, University of South Florida

pp. 109-115

PDF

Knowledge Management for Computational Intelligence Systems (Abstract)

Rosina Weber, Drexel University

Duanqing Wu, Drexel University

pp. 116-125

PDF

Session 5: Quantitative and Model Based Approaches

How Good Is Your Blind Spot Sampling Policy? (Abstract)

Tim Menzies, West Virginia University

Justin S. Di Stefano, Galaxy Global Corporation

pp. 129-138

PDF

Assessing Reliability Risk Using Fault Correction Profiles (Abstract)

Norman F. Schneidewind, Naval Postgraduate School

pp. 139-148

PDF

Unsupervised Learning for Expert-Based Software Quality Estimation (Abstract)

Shi Zhong, Florida Atlantic University

Taghi M. Khoshgoftaar, Florida Atlantic University

Naeem Seliya, Florida Atlantic University

pp. 149-155

PDF

A Method for Solving Trade-Off among Cost for Owned/Borrowed Resource and Loss of Business Chances (Abstract)

Tetsuya Masuishi, Hitachi, Ltd.

Kinji Mori, Tokyo Institute of Technology

pp. 156-164

PDF

Session 6: Formal Approaches to System Verification

The SSP: An Example of High-Assurance Systems Engineering (Abstract)

Gregory L. Wickstrom, Sandia National Laboratories

Jared Davis, University of Texas at Austin

Steven E. Morrison, Sandia National Laboratories

Steve Roach, University of Texas at El Paso

Victor L. Winter, University of Nebraska at Omaha

pp. 167-177

PDF

Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? (Abstract)

Mats P.E. Heimdahl, University of Minnesota

Devaraj George, University of Minnesota

Robert Weber, University of Minnesota

pp. 178-186

PDF

RUBASTEM: A Method for Testing VHDL Behavioral Models (Abstract)

Anneliese Andrews, Washington State University

Andrew O?Fallon, Washington State University

Tom Chen, Colorado State University

pp. 187-196

PDF

A Formal Specification-Based Approach to Distributed Parallel Programming (Abstract)

Chia-Chu Chiang, University of Arkansas at Little Rock

pp. 197-205

PDF

Session 7: Reliability Modeling for Dependable Systems

Software Reliability Estimation under Uncertainty: Generalization of the Method of Moments (Abstract)

Katerina Goševa-Popstojanova, West Virginia University

Sunil Kamavaram, West Virginia University

pp. 209-218

PDF

EM Algorithm for Discrete Software Reliability Models: A Unified Parameter Estimation Method (Abstract)

Hiroyuki Okamura, Hiroshima University

Atsushi Murayama, Hiroshima University

Tadashi Dohi, Hiroshima University

pp. 219-228

PDF

Session 8: Design and Assessment of Secure Systems

Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol (Abstract)

Jan Jürjens, Technical University at München

pp. 231-240

PDF

Multiparty Computation with Full Computation Power and Reduced Overhead (Abstract)

Qingkai Ma, University of Texas at Dallas

Wei Hao, University of Texas at Dallas

I-Ling Yen, University of Texas at Dallas

Farokh Bastani, University of Texas at Dallas

pp. 241-248

PDF

Resource-Sensitive Intrusion Detection Models for Network Traffic (Abstract)

Taghi M Khoshgoftaar, Florida Atlantic University

Mohamed E. Abushadi, Florida Atlantic University

pp. 249-258

PDF

Investigating the Performance of Genetic Algorithm-Based Software Test Case Generation (PDF)

Session 1FA: NISTP Abstracts

Donald J. Berndt, University of South Florida

Alison Watkins, University of South Florida

pp. 261-262

Automated Detection of Injected Faults in a Differential Equation Solver (PDF)

Mark Last, Ben-Gurion University of the Negev

Menahem Friedman, Nuclear Research Center — Negev

pp. 263-264

Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development (PDF)

Richard C. Linger, Carnegie Mellon University

Alan R. Hevner, University of South Florida

Gwendolyn Walton, Florida Southern College

Mark G. Pleszkoch, Carnegie Mellon University

pp. 265-266

Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems (PDF)

Richard C. Linger, Carnegie Mellon University

Mark G. Pleszkoch, Carnegie Mellon University

pp. 267-268

Architectural Overview of the Computational Intelligence Testing Tool: CI-Tool (PDF)

Thomas Barr, Quantun Technology Services Inc

pp. 269-270

Evaluation of Software Development Tools for High Assurance Safety Critical Systems (PDF)

Session 2FA

Andrew J. Kornecki, Embry-Riddle Aeronautical University

Kimberley Hall, Embry-Riddle Aeronautical University

Darryl Hearn, Embry-Riddle Aeronautical University

Herman Lau, Embry-Riddle Aeronautical University

Janusz Zalewski, Florida Gulf Coast University

pp. 273-274

Autonomous Rating Oriented Agent Allocation to Achieve High Response in Demand-Oriented Information Service System (PDF)

Xiaodong Lu, Tokyo Institute of Technology

Yi Zhou, Tokyo Institute of Technology

Misato Tasaka, Tokyo Institute of Technology

Ivan Luque, Tokyo Institute of Technology

Kinji Mori, Tokyo Institute of Technology

Ryuji Takanuki, Hitachi, Ltd.

pp. 275-276

A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems (PDF)

Pramod Gupta, QSS Inc.

Johann Schumann, RIACS/NASA Ames

pp. 277-278

Combining Testing and Model Checking for Verification of High Assurance Systems (PDF)

Dejan Desovski, West Virginia University

pp. 279-280

Developing a Data Driven Prognostic System with Limited System Information (PDF)

Laura Pullum, Institute for Scienti.c Research, Inc.

Marjorie Darrah, Institute for Scienti.c Research, Inc.

Spiro T. Skias, Institute for Scienti.c Research, Inc.

Kam S. Tso, IA Tech, Inc.

Ann T. Tai, IA Tech, Inc.

pp. 281-282

Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC) (PDF)

Seo Ryong Koo, Korea Advanced Institute of Science and Technology

Poong Hyun Seong, Korea Advanced Institute of Science and Technology

Sung Deok Cha, Korea Advanced Institute of Science and Technology

pp. 283-284

Development of a Verification Method for Timed Function Blocks Using ESDT and SMV (PDF)

Myung Jun Song, Korea Advanced Institute of Science and Technology

Seo Ryong Koo, Korea Advanced Institute of Science and Technology

Poong Hyun Seong, Korea Advanced Institute of Science and Technology

pp. 285-286

A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report (PDF)

Lazar Crawford, Embry Riddle Aeronautical University

Jared Erwin, Embry Riddle Aeronautical University

Steafano Grimaldi, Embry Riddle Aeronautical University

Soma Mitra, Embry Riddle Aeronautical University

Andrew Kornecki, Embry Riddle Aeronautical University

David P. Gluch, Embry Riddle Aeronautical University

pp. 287-288

A Formal Approach to Designing Secure Software Architectures (PDF)

Huiqun Yu, Florida International University

Xudong He, Florida International University

Yi Deng, Florida International University

Lian Mo, Florida International University

pp. 289-290

Session 3FA

Managing Secure Survivable Critical Infrastructures to Avoid Vulnerabilities (Abstract)

Frederick Sheldon, Oak Ridge National Laboratory

Tom Potok, Oak Ridge National Laboratory

Andy Loebl, Oak Ridge National Laboratory

Axel Krings, University of Idaho

Paul Oman, University of Idaho

pp. 293-296

PDF

Adding Assurance to Automatically Generated Code (Abstract)

Ewen Denney, NASA Ames Research Center

Bernd Fischer, NASA Ames Research Center

Johann Schumann, NASA Ames Research Center

pp. 297-299

PDF

KEEL Technology Applied to Highly Distributed Loosely Coupled Systems (PDF)

Tom Keeley, Compsim LLC

pp. 300-301

A Rule-Based Component Customization Technique for QoS Properties (PDF)

Jia Zhou, University of Texas at Dallas

Kendra Cooper, University of Texas at Dallas

I-Ling Yen, University of Texas at Dallas

pp. 302-303

State Oriented Programming (PDF)

Hideki Nomoto, Massachusetts Institute of Technology

pp. 304-305

Towards Trusted Composition in Software Design (PDF)

Jing Dong, University of Texas at Dallas

Sheng Yang, University of Texas at Dallas

pp. 306-307

Analyze the Worm-Based Attack in Large Scale P2P Networks (PDF)

Wei Yu, Texas A&M University

pp. 308-309

Automating the Failure Modes and Effects Analysis of Safety Critical Systems (PDF)

Yiannis Papadopoulos, University of Hull

David Parker, University of Hull

Christian Grante, Volvo Cars Corporation

pp. 310-311

Enhancing Testability in Architectural Design for the New Generation of Core-Based Embedded Systems (PDF)

Mansour H. Assaf, University of Ottawa

Sunil R. Das, University of Ottawa and Troy State University Montgomery

Emil M. Petriu, University of Ottawa

Mehmet Sahinoglu, Troy State University Montgomery

pp. 312-313

Author Index

Author Index (PDF)

pp. 314-315