SlideShare une entreprise Scribd logo
1  sur  9
Télécharger pour lire hors ligne
Improving IV&V Techniques
Through the Analysis of Anomalies

           Tim Menzies (Ph.D.)
           assoc. prof., LCSEE
           http://menzies.us
           http://menzies.us/pdf/sas07brief.pdf
           8/31/07
Problem
          Flying Safely to 2020 and beyond means attacking
          relentlessly all three levels of the risk iceberg!

          - Brian O’Connor March 20, 2003




                                                    But how to
                                                   know what we
                                                    don’t know?




                   SAS_07_Anomalies_Menzies: page 2 of 9
Approach




   SAS_07_Anomalies_Menzies: page 3 of 9
Approach (details):                             An incremental
                                                discretizer + a Bayes
count, alert, fix                               classifier where all inputs
                                                are all mono-classified
                                                Track average max
                                                likelihood for data
                                                processing in “era”’s of X
                                                instances
               Count: stuff seen in past
               Alert: if new counts different   Contrast set learning
               Fix: find delta new to old       Linear time inference,
                      Very, very fast           Tiny memory footprint




                  And, it works [Orrego, 2004]
                   – F15 simulator data [courtesy B. Cukic]
                   – Five flights: a,b,c,d,e
                   – each with different off-nominal condition
                     imposed at “time” 15
                   – Off-nominal condition not present in prior data
                   – In all cases,
                     massive change detected


                     SAS_07_Anomalies_Menzies: page 4 of 9
Relevance to NASA
Recent examples of ignored anomalies

Challenger launch decision




                              SAS_07_Anomalies_Menzies: page 5 of 9
Relevance to NASA (2)
More examples of ignored anomalies

Columbia ice strike:
 – Size: 1200 in3,
 – Speed: 477 mph
   (relative to vehicle)

Certified as “safe” by the
CRATER micro-meteorite
model
 – A typical experiment in
   CRATER!s test database
      • Size: 3 in3 piece of debris
      • Speed: under 150 mph.


                                      SAS_07_Anomalies_Menzies: page 6 of 9
Relevance to NASA (3)
Fast-time vs slow-time monitoring + repair

Fast time (milliseconds):
 – A generic IVHM, optimized
   for speed + memory.
 – On-board real-time advisor
    for ground control, crew
      • Explored elsewhere

Slow time (days to months):
 – Monitoring software projects
 – E.g. IV&V’s thin pipe of data
   to the project
      • Is anything going on in the project
        that they haven’t told us yet?


                                         SAS_07_Anomalies_Menzies: page 7 of 9
Accomplishments
Core algorithms                                    Good news:
 –   Much progress (good geek stuff)                –   there exists at least 5 NASA data
                                                        sources with strong quality
                                                        indicators
Fast-time:
                                                   Bad news:
 –   ? Install into JSC’s TRICK system
                                                    –    4 / 5 are now inactive
 –   Distribute an intelligent advisor with
     that simulator                                 –   Even those some of that data would
                                                        be simple, cheap, t collect across
 –   Explored elsewhere
                                                        the NASA enterprise
                                                    –   Q: why does NASA ignore valuable
Slow-time:
                                                        data sources about NASA software?
 –   To find anomalies in project data…
                                                    –   A: ?
 –   … we need to find project data.
                                                   Good news:
 –   This afternoon: We have good
                                                    –   1 / 5 still active
     news and we have bad news
                                                    –   Can build the anomaly detectors for
                                                        NASA projects



                                              SAS_07_Anomalies_Menzies: page 8 of 9
Next Steps
Two application areas:
– Fast time: TRICK / JSC
– Slow time:IV&V project monitoring
To do
– Hook algorithms into active data sources
– Assess if we can detect anomalies
– Assess if we can propose repairs


                    SAS_07_Anomalies_Menzies: page 9 of 9

Contenu connexe

Similaire à Sas 07 Anomalies

資安控管實務技術
資安控管實務技術資安控管實務技術
資安控管實務技術
bv8af4
 
ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...
ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...
ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...
eswcsummerschool
 
Ruby, rails, no sql and big data
Ruby, rails, no sql and big dataRuby, rails, no sql and big data
Ruby, rails, no sql and big data
John Repko
 
CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...
CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...
CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...
CrowdStrike
 
Delivering Security Insights with Data Analytics and Visualization
Delivering Security Insights with Data Analytics and VisualizationDelivering Security Insights with Data Analytics and Visualization
Delivering Security Insights with Data Analytics and Visualization
Raffael Marty
 

Similaire à Sas 07 Anomalies (20)

資安控管實務技術
資安控管實務技術資安控管實務技術
資安控管實務技術
 
Disk Failures
Disk FailuresDisk Failures
Disk Failures
 
Needlesand haystacks i360-dublin
Needlesand haystacks i360-dublinNeedlesand haystacks i360-dublin
Needlesand haystacks i360-dublin
 
The Sanger Mouse Resources Portal - A Testbed for Collaborative Data Integration
The Sanger Mouse Resources Portal - A Testbed for Collaborative Data IntegrationThe Sanger Mouse Resources Portal - A Testbed for Collaborative Data Integration
The Sanger Mouse Resources Portal - A Testbed for Collaborative Data Integration
 
ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...
ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...
ESWC SS 2013 - Wednesday Tutorial Marko Grobelnik: Introduction to Big Data A...
 
Os Django
Os DjangoOs Django
Os Django
 
Ruby, rails, no sql and big data
Ruby, rails, no sql and big dataRuby, rails, no sql and big data
Ruby, rails, no sql and big data
 
CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...
CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...
CrowdStrike CrowdCast: Is Ransomware Morphing Beyond The Ability Of Standard ...
 
Database Development Mistakes
Database Development MistakesDatabase Development Mistakes
Database Development Mistakes
 
Delivering Security Insights with Data Analytics and Visualization
Delivering Security Insights with Data Analytics and VisualizationDelivering Security Insights with Data Analytics and Visualization
Delivering Security Insights with Data Analytics and Visualization
 
PyData 2015 Keynote: "A Systems View of Machine Learning"
PyData 2015 Keynote: "A Systems View of Machine Learning" PyData 2015 Keynote: "A Systems View of Machine Learning"
PyData 2015 Keynote: "A Systems View of Machine Learning"
 
Power Point Kills - narrated
Power Point Kills - narratedPower Point Kills - narrated
Power Point Kills - narrated
 
Power Point Kills
Power Point KillsPower Point Kills
Power Point Kills
 
2 Roads to Redemption - Thoughts on XSS and SQLIA
2 Roads to Redemption - Thoughts on XSS and SQLIA2 Roads to Redemption - Thoughts on XSS and SQLIA
2 Roads to Redemption - Thoughts on XSS and SQLIA
 
Synergy of Human and Artificial Intelligence in Software Engineering
Synergy of Human and Artificial Intelligence in Software EngineeringSynergy of Human and Artificial Intelligence in Software Engineering
Synergy of Human and Artificial Intelligence in Software Engineering
 
How to over-engineer things and have fun? Building a modern, distributed real...
How to over-engineer things and have fun? Building a modern, distributed real...How to over-engineer things and have fun? Building a modern, distributed real...
How to over-engineer things and have fun? Building a modern, distributed real...
 
Scaling Deep Learning Algorithms on Extreme Scale Architectures
Scaling Deep Learning Algorithms on Extreme Scale ArchitecturesScaling Deep Learning Algorithms on Extreme Scale Architectures
Scaling Deep Learning Algorithms on Extreme Scale Architectures
 
Cloud Resilience with Open Stack
Cloud Resilience with Open StackCloud Resilience with Open Stack
Cloud Resilience with Open Stack
 
Internet World Web2
Internet World Web2Internet World Web2
Internet World Web2
 
Creating Practical Security Test-Cases for Web Applications
Creating Practical Security Test-Cases for Web ApplicationsCreating Practical Security Test-Cases for Web Applications
Creating Practical Security Test-Cases for Web Applications
 

Plus de CS, NcState

Lexisnexis june9
Lexisnexis june9Lexisnexis june9
Lexisnexis june9
CS, NcState
 
Ai4se lab template
Ai4se lab templateAi4se lab template
Ai4se lab template
CS, NcState
 
Automated Software Enging, Fall 2015, NCSU
Automated Software Enging, Fall 2015, NCSUAutomated Software Enging, Fall 2015, NCSU
Automated Software Enging, Fall 2015, NCSU
CS, NcState
 
Dagstuhl14 intro-v1
Dagstuhl14 intro-v1Dagstuhl14 intro-v1
Dagstuhl14 intro-v1
CS, NcState
 

Plus de CS, NcState (20)

Talks2015 novdec
Talks2015 novdecTalks2015 novdec
Talks2015 novdec
 
Future se oct15
Future se oct15Future se oct15
Future se oct15
 
GALE: Geometric active learning for Search-Based Software Engineering
GALE: Geometric active learning for Search-Based Software EngineeringGALE: Geometric active learning for Search-Based Software Engineering
GALE: Geometric active learning for Search-Based Software Engineering
 
Big Data: the weakest link
Big Data: the weakest linkBig Data: the weakest link
Big Data: the weakest link
 
Three Laws of Trusted Data Sharing: (Building a Better Business Case for Dat...
Three Laws of Trusted Data Sharing:(Building a Better Business Case for Dat...Three Laws of Trusted Data Sharing:(Building a Better Business Case for Dat...
Three Laws of Trusted Data Sharing: (Building a Better Business Case for Dat...
 
Lexisnexis june9
Lexisnexis june9Lexisnexis june9
Lexisnexis june9
 
Welcome to ICSE NIER’15 (new ideas and emerging results).
Welcome to ICSE NIER’15 (new ideas and emerging results).Welcome to ICSE NIER’15 (new ideas and emerging results).
Welcome to ICSE NIER’15 (new ideas and emerging results).
 
Icse15 Tech-briefing Data Science
Icse15 Tech-briefing Data ScienceIcse15 Tech-briefing Data Science
Icse15 Tech-briefing Data Science
 
Kits to Find the Bits that Fits
Kits to Find  the Bits that Fits Kits to Find  the Bits that Fits
Kits to Find the Bits that Fits
 
Ai4se lab template
Ai4se lab templateAi4se lab template
Ai4se lab template
 
Automated Software Enging, Fall 2015, NCSU
Automated Software Enging, Fall 2015, NCSUAutomated Software Enging, Fall 2015, NCSU
Automated Software Enging, Fall 2015, NCSU
 
Requirements Engineering
Requirements EngineeringRequirements Engineering
Requirements Engineering
 
172529main ken and_tim_software_assurance_research_at_west_virginia
172529main ken and_tim_software_assurance_research_at_west_virginia172529main ken and_tim_software_assurance_research_at_west_virginia
172529main ken and_tim_software_assurance_research_at_west_virginia
 
Automated Software Engineering
Automated Software EngineeringAutomated Software Engineering
Automated Software Engineering
 
Next Generation “Treatment Learning” (finding the diamonds in the dust)
Next Generation “Treatment Learning” (finding the diamonds in the dust)Next Generation “Treatment Learning” (finding the diamonds in the dust)
Next Generation “Treatment Learning” (finding the diamonds in the dust)
 
Tim Menzies, directions in Data Science
Tim Menzies, directions in Data ScienceTim Menzies, directions in Data Science
Tim Menzies, directions in Data Science
 
Goldrush
GoldrushGoldrush
Goldrush
 
Dagstuhl14 intro-v1
Dagstuhl14 intro-v1Dagstuhl14 intro-v1
Dagstuhl14 intro-v1
 
Know thy tools
Know thy toolsKnow thy tools
Know thy tools
 
The Art and Science of Analyzing Software Data
The Art and Science of Analyzing Software DataThe Art and Science of Analyzing Software Data
The Art and Science of Analyzing Software Data
 

Dernier

+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
?#DUbAI#??##{{(☎️+971_581248768%)**%*]'#abortion pills for sale in dubai@
 

Dernier (20)

Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with Milvus
 
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In PakistanCNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
 
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
 
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdfRising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
 

Sas 07 Anomalies

  • 1. Improving IV&V Techniques Through the Analysis of Anomalies Tim Menzies (Ph.D.) assoc. prof., LCSEE http://menzies.us http://menzies.us/pdf/sas07brief.pdf 8/31/07
  • 2. Problem Flying Safely to 2020 and beyond means attacking relentlessly all three levels of the risk iceberg! - Brian O’Connor March 20, 2003 But how to know what we don’t know? SAS_07_Anomalies_Menzies: page 2 of 9
  • 3. Approach SAS_07_Anomalies_Menzies: page 3 of 9
  • 4. Approach (details): An incremental discretizer + a Bayes count, alert, fix classifier where all inputs are all mono-classified Track average max likelihood for data processing in “era”’s of X instances Count: stuff seen in past Alert: if new counts different Contrast set learning Fix: find delta new to old Linear time inference, Very, very fast Tiny memory footprint And, it works [Orrego, 2004] – F15 simulator data [courtesy B. Cukic] – Five flights: a,b,c,d,e – each with different off-nominal condition imposed at “time” 15 – Off-nominal condition not present in prior data – In all cases, massive change detected SAS_07_Anomalies_Menzies: page 4 of 9
  • 5. Relevance to NASA Recent examples of ignored anomalies Challenger launch decision SAS_07_Anomalies_Menzies: page 5 of 9
  • 6. Relevance to NASA (2) More examples of ignored anomalies Columbia ice strike: – Size: 1200 in3, – Speed: 477 mph (relative to vehicle) Certified as “safe” by the CRATER micro-meteorite model – A typical experiment in CRATER!s test database • Size: 3 in3 piece of debris • Speed: under 150 mph. SAS_07_Anomalies_Menzies: page 6 of 9
  • 7. Relevance to NASA (3) Fast-time vs slow-time monitoring + repair Fast time (milliseconds): – A generic IVHM, optimized for speed + memory. – On-board real-time advisor for ground control, crew • Explored elsewhere Slow time (days to months): – Monitoring software projects – E.g. IV&V’s thin pipe of data to the project • Is anything going on in the project that they haven’t told us yet? SAS_07_Anomalies_Menzies: page 7 of 9
  • 8. Accomplishments Core algorithms Good news: – Much progress (good geek stuff) – there exists at least 5 NASA data sources with strong quality indicators Fast-time: Bad news: – ? Install into JSC’s TRICK system – 4 / 5 are now inactive – Distribute an intelligent advisor with that simulator – Even those some of that data would be simple, cheap, t collect across – Explored elsewhere the NASA enterprise – Q: why does NASA ignore valuable Slow-time: data sources about NASA software? – To find anomalies in project data… – A: ? – … we need to find project data. Good news: – This afternoon: We have good – 1 / 5 still active news and we have bad news – Can build the anomaly detectors for NASA projects SAS_07_Anomalies_Menzies: page 8 of 9
  • 9. Next Steps Two application areas: – Fast time: TRICK / JSC – Slow time:IV&V project monitoring To do – Hook algorithms into active data sources – Assess if we can detect anomalies – Assess if we can propose repairs SAS_07_Anomalies_Menzies: page 9 of 9