DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited. DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited. Joint Common Architecture (JCA) Demonstration - Architecture Centric Virtual Integration Process (ACVIP) Shadow Effort Presented by: Alex Boydston, Electronics Engineer US Army Aviation Development Directorate Presented to: 2015 Safe & Secure Systems Symposium (S5) Date: 11 June 2015
33
Embed
Joint Common Architecture (JCA) Demonstration ...€¦ · Data Correlation Fusion Collection, Correlation, Fusion, Assessment of observations EGI Aircraft Position ASSA SensorT1 Data
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Joint Common Architecture (JCA) Demonstration -
Architecture Centric Virtual Integration Process (ACVIP) Shadow Effort
Presented by:
Alex Boydston, Electronics Engineer
US Army Aviation Development Directorate
Presented to:
2015 Safe & Secure Systems Symposium (S5)
Date:
11 June 2015
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Opportunity for
Rework Cost Reduction
Software as % of total system cost
1997: 45% 2010: 66% 2024: 88%Post-unit test software rework cost
50% of total system cost and growing
Requirements
Architecture Design
Acceptance
Test
Unit
Test
Code Integration
Test
Operation
Where Faults are Found
Where Faults are Introduced
Nominal Cost Per Fault for
Fault Removal
Software Interaction Complexity Drives System Cost
Software Development Life Cycle
2
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
SAE standard Architecture Analysis
& Design Language (AADL) for
hardware, software and system
modeling and analysis
• Supports incremental development and
predictive analysis
• Leads to early discovery of issues in
operational quality attributes
Automation and auto-generation
from verified models
• Results in major certification related
rework cost reduction
• Increases assurance confidence by
complementing system testing
Architecture Centric Virtual
Integration Process (ACVIP)
3
Virtual Integration of Software, Hardware, and System!
AADL is designed to support:
1) Predictive Architecture Analysis
2) Incremental development
3) Standardized strong semantics
4) Analysis driven synthesis
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Multi-Dimensional
Cross-Domain Analysis
Security
• Intrusion
• Integrity
• Confidentiality
Safety & Reliability
• MTBF
• FMEA
• Hazard analysis
Real-timePerformance
• Execution time/
Deadline
• Deadlock/
starvation
• Latency
ResourceConsumption
• Bandwidth
• CPU time
• Power consumption
• Data precision/
accuracy
• Temporal
correctness
• Confidence
Data Quality
Architecture Model
Single Annotated Architecture Model Addresses
Impact Across Operational Attributes
Auto-generated
analytical models
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Multi-Dimensional
Cross-Domain Analysis
Security
• Intrusion
• Integrity
• Confidentiality
Safety & Reliability
• MTBF
• FMEA
• Hazard analysis
Real-timePerformance
• Execution time/
Deadline
• Deadlock/
starvation
• Latency
ResourceConsumption
• Bandwidth
• CPU time
• Power consumption
• Data precision/
accuracy
• Temporal
correctness
• Confidence
Data Quality
Architecture Model
Single Annotated Architecture Model Addresses
Impact Across Operational Attributes
Auto-generated
analytical models
Change of Encryption
from 128 bit to 256 bit
Higher CPU demand
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Multi-Dimensional
Cross-Domain Analysis
Security
• Intrusion
• Integrity
• Confidentiality
Safety & Reliability
• MTBF
• FMEA
• Hazard analysis
Real-timePerformance
• Execution time/
Deadline
• Deadlock/
starvation
• Latency
ResourceConsumption
• Bandwidth
• CPU time
• Power consumption
• Data precision/
accuracy
• Temporal
correctness
• Confidence
Data Quality
Architecture Model
Single Annotated Architecture Model Addresses
Impact Across Operational Attributes
Auto-generated
analytical models
Change of Encryption
from 128 bit to 256 bit
Higher CPU demand
Increased latency
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Multi-Dimensional
Cross-Domain Analysis
Security
• Intrusion
• Integrity
• Confidentiality
Safety & Reliability
• MTBF
• FMEA
• Hazard analysis
Real-timePerformance
• Execution time/
Deadline
• Deadlock/
starvation
• Latency
ResourceConsumption
• Bandwidth
• CPU time
• Power consumption
• Data precision/
accuracy
• Temporal
correctness
• Confidence
Data Quality
Architecture Model
Single Annotated Architecture Model Addresses
Impact Across Operational Attributes
Auto-generated
analytical models
Change of Encryption
from 128 bit to 256 bit
Higher CPU demand
Increased latency
Affects temporal
correctness
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Multi-Dimensional
Cross-Domain Analysis
Security
• Intrusion
• Integrity
• Confidentiality
Safety & Reliability
• MTBF
• FMEA
• Hazard analysis
Real-timePerformance
• Execution time/
Deadline
• Deadlock/
starvation
• Latency
ResourceConsumption
• Bandwidth
• CPU time
• Power consumption
• Data precision/
accuracy
• Temporal
correctness
• Confidence
Data Quality
Architecture Model
Single Annotated Architecture Model Addresses
Impact Across Operational Attributes
Auto-generated
analytical models
Change of Encryption
from 128 bit to 256 bit
Higher CPU demand
Increased latency
Affects temporal
correctness
Potential new
hazard
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Incremental System Development and Assurance through ACVIP
Early Discovery Reduces High Rework Cost and Increases Confidence
Requirements SpecificationRS
Verification ActionVA
5
Assure the
System
Requirements
Validation
System
Architecture
Verification
Software
Arch
Verification
Design
Verification
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Incremental System Development and Assurance through ACVIP
Early Discovery Reduces High Rework Cost and Increases Confidence
Incremental Evolution and
Execution of Assurance Plans
Incremental Architecture
& Requirement Evolution
RS
RS RS RS
Design & Req
Refinement
Requirement
Coverage
Requirements SpecificationRS
Verification ActionVA
5
Assure the
System
Requirements
Validation
System
Architecture
Verification
Software
Arch
Verification
Design
Verification
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Incremental System Development and Assurance through ACVIP
Early Discovery Reduces High Rework Cost and Increases Confidence
Incremental
Contract-based
Compositional Verification
VAVAVA
Compositional
Verification
Incremental Evolution and
Execution of Assurance Plans
Incremental Architecture
& Requirement Evolution
RS
RS RS RS
Design & Req
Refinement
Requirement
Coverage
Requirements SpecificationRS
Verification ActionVA
5
Assure the
System
Requirements
Validation
System
Architecture
Verification
Software
Arch
Verification
Design
Verification
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Incremental System Development and Assurance through ACVIP
Early Discovery Reduces High Rework Cost and Increases Confidence
Incremental
Contract-based
Compositional Verification
VAVAVA
Compositional
Verification
RS RS RS
Design & Req
Refinement
Incremental Evolution and
Execution of Assurance Plans
Incremental Architecture
& Requirement Evolution
RS
RS RS RS
Design & Req
Refinement
Requirement
Coverage
Requirements SpecificationRS
Verification ActionVA
5
Assure the
System
Requirements
Validation
System
Architecture
Verification
Software
Arch
Verification
Design
Verification
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
Incremental System Development and Assurance through ACVIP
Early Discovery Reduces High Rework Cost and Increases Confidence
Incremental
Contract-based
Compositional Verification
VAVAVA
Compositional
Verification
RS RS RS
Design & Req
Refinement
VAVAVA
Compositional
Verification
Incremental Evolution and
Execution of Assurance Plans
Incremental Architecture
& Requirement Evolution
RS
RS RS RS
Design & Req
Refinement
Requirement
Coverage
Requirements SpecificationRS
Verification ActionVA
5
Assure the
System
Requirements
Validation
System
Architecture
Verification
Software
Arch
Verification
Design
Verification
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
• Architecture centricity using SAE Standard 5506 AADL
• Virtual integration
• Early and iterative modeling throughout the lifecycle
• Semantic precision
• Single source of truth
• Software AND Hardware Architecture modeling
• Model Based Analyses across domains
- Requirements - Security - etc.
- Timing - Assurance
- Safety - Resource
• Generative capabilities
• Model evolution over the life of a system
• Integral part of the acquisition process
Attributes of ACVIP
14
Designed for software intensive safety and security critical
real-time systems
DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.