SlideShare a Scribd company logo
Considerations In verification of
Safety designs
Hanumath Managoli
Oak Systems Pvt Ltd.
1
/ oaksys / Oak-systems / oaksystesting / oaksys
Agenda
 Overview of Oak Systems
 What to look for while TESTING
 Q&A
2
Overview of Oak Systems
 Specialist Software V&V Services company
 Established in 1998
 ISO 9001 certified since 2003
 Over 100 Software specialists
 Multiple domain expertise
 Headquartered in Bengaluru; Projects across
several countries
3
Our Portfolio 4
Domains
Aerospace &
Defence
Automotive
Embedded
Healthcare
Rail & Space
Services
Software
Verification &
Validation
Test Rig
Development
Software Testing &
Test Automation
Full lifecycle
Documentation
Support
Standards
DO-178B/C
ISO 26262
IEEE 12207
IEC 61508..
How People Absorb Tech 5
You must do the thing you think you cannot do
Embedded Systems – A few domains 6
 Automotive, Mobility
 Avionics, Aerospace, Military
 Industrial Automation, Plant
Control
 Medical Electronics
 Test, Measuring, Lab
Instrumentation
 Office Systems
 Home, Building Automation
 Banking/ATMs
 Media, Entertainment
 Telecom
 White goods / Home appliances
 ………
Just look around
Embedded Systems – It’s Serious Business… 7
Automotive, Mobility
Avionics, Aerospace,
Military
Industrial Automation, Plant
Control
Medical Electronics
Test, Measuring, Lab
Instrumentation
 Office
Home, Building Automation
 Banking/ATMs
 Media, Entertainment
 Telecom
Some of them are critical… 8
Test and Verify – The vital gate… 9
Requirements Design Implement Test / Verify
The typical system… 10
Sensors Processing Actuators
Environment
Software Configuration… 11
HARDWARE
O
P
S
Y
S
B/S
C
o
m
O
S
H A L / LLD
N/W COMMUNICATION
APPLICATION(s)
©
Diagnostics
12What do we need to check???
Test for Requirements, functionality is obvious..
 Sensors and Actuators
 Electronics – other
 Electronics – Controller
 The Software
13Do we know what we are expecting???
 Does the design ensure the correct initialization and
further processing of the system following restoration
after a fault?
 Is it ensured that failures of dynamic system activities
result in the system achieving a known and clearly
identified safe state within a specified time limit.
14Few things to be taken care
 Scheduler
 Loop over-runs
 Diagnostics for…
 Sensors, Actuators
 Processor / Controller
 Dual/Multi-core, Illegal Opcode, Unused Mem
 Does ‘ADD’ really add?
 Software / Algorithm
 Diverse or redundant
 Sentinels
15Few things to be taken care
 Error Handling and/or Recovery
 Response – Controlled or Rapid
 Forward/Backward Recovery
 The all important entity – Data
 Timings, including for communication
 Interrupts
 HAZOP, Risk and FMEA are as much an input for the VnV
group
16Transitioning: Sure trouble spots
17The “ERROR BUCKET”
EMPTY
Believe more on ‘BAD STORY’
Sizes of ‘FILL’, ‘EMPTY’ and ‘BUCKET’
depends on error & it’s impact
FILL
18Testing…
19
Yes, it helps!!!
Fr-L Fr-R Rr-L Rr-R
Test Case-1
Test Case-2
Test Case-3
20Not to miss the process angle
 Life-cycle
 Functional Safety
 SIL
 Level of independence
21
Questions & Answers
hymanagoli@oaksys.net
Thank you!
Oak Systems Pvt. Ltd.
#27, NGEF Lane, Off 100 Feet Road,
Indira Nagar, Bangalore – 560 038, INDIA
Tel : +91-80-41 26 76 81
Email: contact@oaksys.net
URL: www.oaksys.net
22

More Related Content

Viewers also liked

Platos tipicos de mexica
Platos tipicos de mexicaPlatos tipicos de mexica
Platos tipicos de mexicamartincocos123
 
Evangelho no lar com crianças (17)
Evangelho no lar com crianças (17)Evangelho no lar com crianças (17)
Evangelho no lar com crianças (17)
Fatoze
 
RTCA DO-178C overview
RTCA DO-178C overviewRTCA DO-178C overview
RTCA DO-178C overview
Hongseok Lee
 
ANÁLISIS DE ALTERNATIVAS
ANÁLISIS DE ALTERNATIVASANÁLISIS DE ALTERNATIVAS
ANÁLISIS DE ALTERNATIVAS
Corporación JDS
 
Biometría y cálculo de LIO
Biometría y cálculo de LIOBiometría y cálculo de LIO
Biometría y cálculo de LIO
FacoElche
 
자유주제 완성
자유주제 완성자유주제 완성
자유주제 완성
dbsgml
 
August rmbs teleconference_2
August rmbs teleconference_2August rmbs teleconference_2
August rmbs teleconference_2
intexpoolshop
 
COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...
COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...
COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...
International Journal of Technical Research & Application
 

Viewers also liked (10)

Envy Us Looks Plan (1)
Envy Us Looks Plan (1)Envy Us Looks Plan (1)
Envy Us Looks Plan (1)
 
Platos tipicos de mexica
Platos tipicos de mexicaPlatos tipicos de mexica
Platos tipicos de mexica
 
Evangelho no lar com crianças (17)
Evangelho no lar com crianças (17)Evangelho no lar com crianças (17)
Evangelho no lar com crianças (17)
 
RTCA DO-178C overview
RTCA DO-178C overviewRTCA DO-178C overview
RTCA DO-178C overview
 
Андрей Фрольченков SMDAY2016
Андрей Фрольченков  SMDAY2016Андрей Фрольченков  SMDAY2016
Андрей Фрольченков SMDAY2016
 
ANÁLISIS DE ALTERNATIVAS
ANÁLISIS DE ALTERNATIVASANÁLISIS DE ALTERNATIVAS
ANÁLISIS DE ALTERNATIVAS
 
Biometría y cálculo de LIO
Biometría y cálculo de LIOBiometría y cálculo de LIO
Biometría y cálculo de LIO
 
자유주제 완성
자유주제 완성자유주제 완성
자유주제 완성
 
August rmbs teleconference_2
August rmbs teleconference_2August rmbs teleconference_2
August rmbs teleconference_2
 
COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...
COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...
COMPARISON OF THE EXPERIMENTAL PERFORMANCE OF A THERMOELECTRIC REFRIGERATOR W...
 

Similar to Considerations in Verification of Safety Design for Complex Systems

ERP Security. Myths, Problems, Solutions
ERP Security. Myths, Problems, SolutionsERP Security. Myths, Problems, Solutions
ERP Security. Myths, Problems, Solutions
ERPScan
 
2018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.0
2018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.02018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.0
2018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.0
Enzo M. Tieghi
 
Five ways to protect your software supply chain from hacks, quacks, and wrecks
Five ways to protect your software supply chain from hacks, quacks, and wrecksFive ways to protect your software supply chain from hacks, quacks, and wrecks
Five ways to protect your software supply chain from hacks, quacks, and wrecks
Rogue Wave Software
 
SplunkSummit 2015 - ES Hands On Workshop
SplunkSummit 2015 - ES Hands On Workshop SplunkSummit 2015 - ES Hands On Workshop
SplunkSummit 2015 - ES Hands On Workshop
Splunk
 
Intel Robotics AI Use Case
Intel Robotics AI Use CaseIntel Robotics AI Use Case
Intel Robotics AI Use Case
Mary Bunzel
 
Bio Lock Exec 110329
Bio Lock Exec 110329Bio Lock Exec 110329
Bio Lock Exec 110329
Martin Lum
 
Hacking, Surveilling, and Deceiving Victims on Smart TV
Hacking, Surveilling, and Deceiving Victims on Smart TVHacking, Surveilling, and Deceiving Victims on Smart TV
Hacking, Surveilling, and Deceiving Victims on Smart TV
Seungjoo Kim
 
Incident Response and SAP Systems
Incident Response and SAP SystemsIncident Response and SAP Systems
Incident Response and SAP SystemsOnapsis Inc.
 
Ryan Wilson - ryanwilson.com - IoT Security
Ryan Wilson - ryanwilson.com -  IoT SecurityRyan Wilson - ryanwilson.com -  IoT Security
Ryan Wilson - ryanwilson.com - IoT Security
Ryan Wilson
 
It For Dummies Kamens 081107
It For Dummies Kamens 081107It For Dummies Kamens 081107
It For Dummies Kamens 081107kamensm02
 
NH Bankers 10 08 07 Kamens
NH Bankers 10 08 07 KamensNH Bankers 10 08 07 Kamens
NH Bankers 10 08 07 Kamenskamensm02
 
Text-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docxText-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docx
CAVEDPRAKASHPALIWAL
 
Text-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docxText-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docx
CAVEDPRAKASHPALIWAL
 
Cutting Through the Software License Jungle: Stay Safe and Control Costs
Cutting Through the Software License Jungle: Stay Safe and Control CostsCutting Through the Software License Jungle: Stay Safe and Control Costs
Cutting Through the Software License Jungle: Stay Safe and Control Costs
IBM Security
 
From Duke of DevOps to Queen of Chaos - Api days 2018
From Duke of DevOps to Queen of Chaos - Api days 2018From Duke of DevOps to Queen of Chaos - Api days 2018
From Duke of DevOps to Queen of Chaos - Api days 2018
Christophe Rochefolle
 
Threat Modeling for the Internet of Things
Threat Modeling for the Internet of ThingsThreat Modeling for the Internet of Things
Threat Modeling for the Internet of Things
Eric Vétillard
 
2010 06 gartner avoiding audit fatigue in nine steps 1d
2010 06 gartner   avoiding audit fatigue in nine steps 1d2010 06 gartner   avoiding audit fatigue in nine steps 1d
2010 06 gartner avoiding audit fatigue in nine steps 1d
Gene Kim
 
What's New with Ivanti’s Enterprise Licensing Agreement?
What's New with Ivanti’s Enterprise Licensing Agreement?What's New with Ivanti’s Enterprise Licensing Agreement?
What's New with Ivanti’s Enterprise Licensing Agreement?
Ivanti
 
inSis Suite - Process Data Analytics, Dashboards, Portal & Historian
inSis Suite - Process Data Analytics, Dashboards, Portal & HistorianinSis Suite - Process Data Analytics, Dashboards, Portal & Historian
inSis Suite - Process Data Analytics, Dashboards, Portal & Historian
Kondapi V Siva Rama Brahmam
 
SplunkSummit 2015 - Splunking the Endpoint
SplunkSummit 2015 - Splunking the EndpointSplunkSummit 2015 - Splunking the Endpoint
SplunkSummit 2015 - Splunking the Endpoint
Splunk
 

Similar to Considerations in Verification of Safety Design for Complex Systems (20)

ERP Security. Myths, Problems, Solutions
ERP Security. Myths, Problems, SolutionsERP Security. Myths, Problems, Solutions
ERP Security. Myths, Problems, Solutions
 
2018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.0
2018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.02018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.0
2018 ISPE Tieghi OT/ICS CyberSecurity per Pharma 4.0
 
Five ways to protect your software supply chain from hacks, quacks, and wrecks
Five ways to protect your software supply chain from hacks, quacks, and wrecksFive ways to protect your software supply chain from hacks, quacks, and wrecks
Five ways to protect your software supply chain from hacks, quacks, and wrecks
 
SplunkSummit 2015 - ES Hands On Workshop
SplunkSummit 2015 - ES Hands On Workshop SplunkSummit 2015 - ES Hands On Workshop
SplunkSummit 2015 - ES Hands On Workshop
 
Intel Robotics AI Use Case
Intel Robotics AI Use CaseIntel Robotics AI Use Case
Intel Robotics AI Use Case
 
Bio Lock Exec 110329
Bio Lock Exec 110329Bio Lock Exec 110329
Bio Lock Exec 110329
 
Hacking, Surveilling, and Deceiving Victims on Smart TV
Hacking, Surveilling, and Deceiving Victims on Smart TVHacking, Surveilling, and Deceiving Victims on Smart TV
Hacking, Surveilling, and Deceiving Victims on Smart TV
 
Incident Response and SAP Systems
Incident Response and SAP SystemsIncident Response and SAP Systems
Incident Response and SAP Systems
 
Ryan Wilson - ryanwilson.com - IoT Security
Ryan Wilson - ryanwilson.com -  IoT SecurityRyan Wilson - ryanwilson.com -  IoT Security
Ryan Wilson - ryanwilson.com - IoT Security
 
It For Dummies Kamens 081107
It For Dummies Kamens 081107It For Dummies Kamens 081107
It For Dummies Kamens 081107
 
NH Bankers 10 08 07 Kamens
NH Bankers 10 08 07 KamensNH Bankers 10 08 07 Kamens
NH Bankers 10 08 07 Kamens
 
Text-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docxText-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docx
 
Text-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docxText-DISA_Review_Questions.docx
Text-DISA_Review_Questions.docx
 
Cutting Through the Software License Jungle: Stay Safe and Control Costs
Cutting Through the Software License Jungle: Stay Safe and Control CostsCutting Through the Software License Jungle: Stay Safe and Control Costs
Cutting Through the Software License Jungle: Stay Safe and Control Costs
 
From Duke of DevOps to Queen of Chaos - Api days 2018
From Duke of DevOps to Queen of Chaos - Api days 2018From Duke of DevOps to Queen of Chaos - Api days 2018
From Duke of DevOps to Queen of Chaos - Api days 2018
 
Threat Modeling for the Internet of Things
Threat Modeling for the Internet of ThingsThreat Modeling for the Internet of Things
Threat Modeling for the Internet of Things
 
2010 06 gartner avoiding audit fatigue in nine steps 1d
2010 06 gartner   avoiding audit fatigue in nine steps 1d2010 06 gartner   avoiding audit fatigue in nine steps 1d
2010 06 gartner avoiding audit fatigue in nine steps 1d
 
What's New with Ivanti’s Enterprise Licensing Agreement?
What's New with Ivanti’s Enterprise Licensing Agreement?What's New with Ivanti’s Enterprise Licensing Agreement?
What's New with Ivanti’s Enterprise Licensing Agreement?
 
inSis Suite - Process Data Analytics, Dashboards, Portal & Historian
inSis Suite - Process Data Analytics, Dashboards, Portal & HistorianinSis Suite - Process Data Analytics, Dashboards, Portal & Historian
inSis Suite - Process Data Analytics, Dashboards, Portal & Historian
 
SplunkSummit 2015 - Splunking the Endpoint
SplunkSummit 2015 - Splunking the EndpointSplunkSummit 2015 - Splunking the Endpoint
SplunkSummit 2015 - Splunking the Endpoint
 

More from Oak Systems

Case Study on IV&V of the Landing Gear Controller
Case Study on IV&V of the Landing Gear ControllerCase Study on IV&V of the Landing Gear Controller
Case Study on IV&V of the Landing Gear Controller
Oak Systems
 
Case Study on IV&V of Attitude and Heading Reference System
Case Study on IV&V of Attitude and Heading Reference SystemCase Study on IV&V of Attitude and Heading Reference System
Case Study on IV&V of Attitude and Heading Reference System
Oak Systems
 
Case Study on IV&V of an Agriculture Drone
Case Study on IV&V of an Agriculture DroneCase Study on IV&V of an Agriculture Drone
Case Study on IV&V of an Agriculture Drone
Oak Systems
 
Case Study_IV&V of AutomaticFlightControlPanel.pdf
Case Study_IV&V of AutomaticFlightControlPanel.pdfCase Study_IV&V of AutomaticFlightControlPanel.pdf
Case Study_IV&V of AutomaticFlightControlPanel.pdf
Oak Systems
 
Case Study on Advanced light weight torpedo (Software IV&V).pptx
Case Study on Advanced light weight torpedo (Software IV&V).pptxCase Study on Advanced light weight torpedo (Software IV&V).pptx
Case Study on Advanced light weight torpedo (Software IV&V).pptx
Oak Systems
 
Case study - Test Automation of a Mobile Application
Case study - Test Automation of a Mobile ApplicationCase study - Test Automation of a Mobile Application
Case study - Test Automation of a Mobile Application
Oak Systems
 
Case study on operating an Offshore Delivery Center (ODC)
Case study on operating an Offshore Delivery Center (ODC)Case study on operating an Offshore Delivery Center (ODC)
Case study on operating an Offshore Delivery Center (ODC)
Oak Systems
 
Case study - IV&V of Standby Engine Instrument
Case study - IV&V of Standby Engine InstrumentCase study - IV&V of Standby Engine Instrument
Case study - IV&V of Standby Engine Instrument
Oak Systems
 
Banking Case study: UAT Support for CBS Migration
Banking Case study: UAT Support for CBS MigrationBanking Case study: UAT Support for CBS Migration
Banking Case study: UAT Support for CBS Migration
Oak Systems
 
Oaksys Updated Presentation 2020
Oaksys Updated Presentation 2020Oaksys Updated Presentation 2020
Oaksys Updated Presentation 2020
Oak Systems
 
Introduction to TTCN-3 and AUTOSAR Conformance Testing
Introduction to TTCN-3 and AUTOSAR Conformance TestingIntroduction to TTCN-3 and AUTOSAR Conformance Testing
Introduction to TTCN-3 and AUTOSAR Conformance Testing
Oak Systems
 
V&V Considerations In Implementing IEC61508-3
V&V Considerations In Implementing IEC61508-3V&V Considerations In Implementing IEC61508-3
V&V Considerations In Implementing IEC61508-3
Oak Systems
 
Overview of DO-254: Design Assurance Guidance For Airborne Electronic Hardware
Overview of DO-254: Design Assurance Guidance For Airborne Electronic HardwareOverview of DO-254: Design Assurance Guidance For Airborne Electronic Hardware
Overview of DO-254: Design Assurance Guidance For Airborne Electronic Hardware
Oak Systems
 
V&V Lessons Learnt under multiple Standards
V&V Lessons Learnt under multiple StandardsV&V Lessons Learnt under multiple Standards
V&V Lessons Learnt under multiple Standards
Oak Systems
 
Case study on Test Automation under RUP
Case study on Test Automation under RUPCase study on Test Automation under RUP
Case study on Test Automation under RUP
Oak Systems
 
Case study on V&V for Avionics Software System
Case study on V&V for Avionics Software SystemCase study on V&V for Avionics Software System
Case study on V&V for Avionics Software System
Oak Systems
 
Case study on Performance Profiling of Software for Financial Services
Case study on Performance Profiling of Software for Financial ServicesCase study on Performance Profiling of Software for Financial Services
Case study on Performance Profiling of Software for Financial Services
Oak Systems
 
Test Defect Metrics and Analysis
Test Defect Metrics and AnalysisTest Defect Metrics and Analysis
Test Defect Metrics and AnalysisOak Systems
 
Radar CDU Testing- A Case Study from Oak Systems Pvt Ltd
Radar CDU Testing- A Case Study from Oak Systems Pvt LtdRadar CDU Testing- A Case Study from Oak Systems Pvt Ltd
Radar CDU Testing- A Case Study from Oak Systems Pvt Ltd
Oak Systems
 
Performance Testing of eLearning Portal- A case study by Oak Systems Pvt Ltd
Performance Testing of eLearning Portal- A case study by Oak Systems Pvt LtdPerformance Testing of eLearning Portal- A case study by Oak Systems Pvt Ltd
Performance Testing of eLearning Portal- A case study by Oak Systems Pvt Ltd
Oak Systems
 

More from Oak Systems (20)

Case Study on IV&V of the Landing Gear Controller
Case Study on IV&V of the Landing Gear ControllerCase Study on IV&V of the Landing Gear Controller
Case Study on IV&V of the Landing Gear Controller
 
Case Study on IV&V of Attitude and Heading Reference System
Case Study on IV&V of Attitude and Heading Reference SystemCase Study on IV&V of Attitude and Heading Reference System
Case Study on IV&V of Attitude and Heading Reference System
 
Case Study on IV&V of an Agriculture Drone
Case Study on IV&V of an Agriculture DroneCase Study on IV&V of an Agriculture Drone
Case Study on IV&V of an Agriculture Drone
 
Case Study_IV&V of AutomaticFlightControlPanel.pdf
Case Study_IV&V of AutomaticFlightControlPanel.pdfCase Study_IV&V of AutomaticFlightControlPanel.pdf
Case Study_IV&V of AutomaticFlightControlPanel.pdf
 
Case Study on Advanced light weight torpedo (Software IV&V).pptx
Case Study on Advanced light weight torpedo (Software IV&V).pptxCase Study on Advanced light weight torpedo (Software IV&V).pptx
Case Study on Advanced light weight torpedo (Software IV&V).pptx
 
Case study - Test Automation of a Mobile Application
Case study - Test Automation of a Mobile ApplicationCase study - Test Automation of a Mobile Application
Case study - Test Automation of a Mobile Application
 
Case study on operating an Offshore Delivery Center (ODC)
Case study on operating an Offshore Delivery Center (ODC)Case study on operating an Offshore Delivery Center (ODC)
Case study on operating an Offshore Delivery Center (ODC)
 
Case study - IV&V of Standby Engine Instrument
Case study - IV&V of Standby Engine InstrumentCase study - IV&V of Standby Engine Instrument
Case study - IV&V of Standby Engine Instrument
 
Banking Case study: UAT Support for CBS Migration
Banking Case study: UAT Support for CBS MigrationBanking Case study: UAT Support for CBS Migration
Banking Case study: UAT Support for CBS Migration
 
Oaksys Updated Presentation 2020
Oaksys Updated Presentation 2020Oaksys Updated Presentation 2020
Oaksys Updated Presentation 2020
 
Introduction to TTCN-3 and AUTOSAR Conformance Testing
Introduction to TTCN-3 and AUTOSAR Conformance TestingIntroduction to TTCN-3 and AUTOSAR Conformance Testing
Introduction to TTCN-3 and AUTOSAR Conformance Testing
 
V&V Considerations In Implementing IEC61508-3
V&V Considerations In Implementing IEC61508-3V&V Considerations In Implementing IEC61508-3
V&V Considerations In Implementing IEC61508-3
 
Overview of DO-254: Design Assurance Guidance For Airborne Electronic Hardware
Overview of DO-254: Design Assurance Guidance For Airborne Electronic HardwareOverview of DO-254: Design Assurance Guidance For Airborne Electronic Hardware
Overview of DO-254: Design Assurance Guidance For Airborne Electronic Hardware
 
V&V Lessons Learnt under multiple Standards
V&V Lessons Learnt under multiple StandardsV&V Lessons Learnt under multiple Standards
V&V Lessons Learnt under multiple Standards
 
Case study on Test Automation under RUP
Case study on Test Automation under RUPCase study on Test Automation under RUP
Case study on Test Automation under RUP
 
Case study on V&V for Avionics Software System
Case study on V&V for Avionics Software SystemCase study on V&V for Avionics Software System
Case study on V&V for Avionics Software System
 
Case study on Performance Profiling of Software for Financial Services
Case study on Performance Profiling of Software for Financial ServicesCase study on Performance Profiling of Software for Financial Services
Case study on Performance Profiling of Software for Financial Services
 
Test Defect Metrics and Analysis
Test Defect Metrics and AnalysisTest Defect Metrics and Analysis
Test Defect Metrics and Analysis
 
Radar CDU Testing- A Case Study from Oak Systems Pvt Ltd
Radar CDU Testing- A Case Study from Oak Systems Pvt LtdRadar CDU Testing- A Case Study from Oak Systems Pvt Ltd
Radar CDU Testing- A Case Study from Oak Systems Pvt Ltd
 
Performance Testing of eLearning Portal- A case study by Oak Systems Pvt Ltd
Performance Testing of eLearning Portal- A case study by Oak Systems Pvt LtdPerformance Testing of eLearning Portal- A case study by Oak Systems Pvt Ltd
Performance Testing of eLearning Portal- A case study by Oak Systems Pvt Ltd
 

Recently uploaded

Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024
Globus
 
BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024
Ortus Solutions, Corp
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
Globus
 
Software Testing Exam imp Ques Notes.pdf
Software Testing Exam imp Ques Notes.pdfSoftware Testing Exam imp Ques Notes.pdf
Software Testing Exam imp Ques Notes.pdf
MayankTawar1
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke
 
Corporate Management | Session 3 of 3 | Tendenci AMS
Corporate Management | Session 3 of 3 | Tendenci AMSCorporate Management | Session 3 of 3 | Tendenci AMS
Corporate Management | Session 3 of 3 | Tendenci AMS
Tendenci - The Open Source AMS (Association Management Software)
 
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Globus
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
Globus
 
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Globus
 
Why React Native as a Strategic Advantage for Startup Innovation.pdf
Why React Native as a Strategic Advantage for Startup Innovation.pdfWhy React Native as a Strategic Advantage for Startup Innovation.pdf
Why React Native as a Strategic Advantage for Startup Innovation.pdf
ayushiqss
 
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Globus
 
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Anthony Dahanne
 
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
Juraj Vysvader
 
Designing for Privacy in Amazon Web Services
Designing for Privacy in Amazon Web ServicesDesigning for Privacy in Amazon Web Services
Designing for Privacy in Amazon Web Services
KrzysztofKkol1
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
Georgi Kodinov
 
Into the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdfInto the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdf
Ortus Solutions, Corp
 
Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...
Globus
 
Understanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSageUnderstanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSage
Globus
 
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoamOpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
takuyayamamoto1800
 
Large Language Models and the End of Programming
Large Language Models and the End of ProgrammingLarge Language Models and the End of Programming
Large Language Models and the End of Programming
Matt Welsh
 

Recently uploaded (20)

Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024
 
BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
 
Software Testing Exam imp Ques Notes.pdf
Software Testing Exam imp Ques Notes.pdfSoftware Testing Exam imp Ques Notes.pdf
Software Testing Exam imp Ques Notes.pdf
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
 
Corporate Management | Session 3 of 3 | Tendenci AMS
Corporate Management | Session 3 of 3 | Tendenci AMSCorporate Management | Session 3 of 3 | Tendenci AMS
Corporate Management | Session 3 of 3 | Tendenci AMS
 
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
 
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
 
Why React Native as a Strategic Advantage for Startup Innovation.pdf
Why React Native as a Strategic Advantage for Startup Innovation.pdfWhy React Native as a Strategic Advantage for Startup Innovation.pdf
Why React Native as a Strategic Advantage for Startup Innovation.pdf
 
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
 
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
 
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
 
Designing for Privacy in Amazon Web Services
Designing for Privacy in Amazon Web ServicesDesigning for Privacy in Amazon Web Services
Designing for Privacy in Amazon Web Services
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
 
Into the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdfInto the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdf
 
Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...
 
Understanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSageUnderstanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSage
 
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoamOpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
 
Large Language Models and the End of Programming
Large Language Models and the End of ProgrammingLarge Language Models and the End of Programming
Large Language Models and the End of Programming
 

Considerations in Verification of Safety Design for Complex Systems

  • 1. Considerations In verification of Safety designs Hanumath Managoli Oak Systems Pvt Ltd. 1 / oaksys / Oak-systems / oaksystesting / oaksys
  • 2. Agenda  Overview of Oak Systems  What to look for while TESTING  Q&A 2
  • 3. Overview of Oak Systems  Specialist Software V&V Services company  Established in 1998  ISO 9001 certified since 2003  Over 100 Software specialists  Multiple domain expertise  Headquartered in Bengaluru; Projects across several countries 3
  • 4. Our Portfolio 4 Domains Aerospace & Defence Automotive Embedded Healthcare Rail & Space Services Software Verification & Validation Test Rig Development Software Testing & Test Automation Full lifecycle Documentation Support Standards DO-178B/C ISO 26262 IEEE 12207 IEC 61508..
  • 5. How People Absorb Tech 5 You must do the thing you think you cannot do
  • 6. Embedded Systems – A few domains 6  Automotive, Mobility  Avionics, Aerospace, Military  Industrial Automation, Plant Control  Medical Electronics  Test, Measuring, Lab Instrumentation  Office Systems  Home, Building Automation  Banking/ATMs  Media, Entertainment  Telecom  White goods / Home appliances  ……… Just look around
  • 7. Embedded Systems – It’s Serious Business… 7 Automotive, Mobility Avionics, Aerospace, Military Industrial Automation, Plant Control Medical Electronics Test, Measuring, Lab Instrumentation  Office Home, Building Automation  Banking/ATMs  Media, Entertainment  Telecom
  • 8. Some of them are critical… 8
  • 9. Test and Verify – The vital gate… 9 Requirements Design Implement Test / Verify
  • 10. The typical system… 10 Sensors Processing Actuators Environment
  • 11. Software Configuration… 11 HARDWARE O P S Y S B/S C o m O S H A L / LLD N/W COMMUNICATION APPLICATION(s) © Diagnostics
  • 12. 12What do we need to check??? Test for Requirements, functionality is obvious..  Sensors and Actuators  Electronics – other  Electronics – Controller  The Software
  • 13. 13Do we know what we are expecting???  Does the design ensure the correct initialization and further processing of the system following restoration after a fault?  Is it ensured that failures of dynamic system activities result in the system achieving a known and clearly identified safe state within a specified time limit.
  • 14. 14Few things to be taken care  Scheduler  Loop over-runs  Diagnostics for…  Sensors, Actuators  Processor / Controller  Dual/Multi-core, Illegal Opcode, Unused Mem  Does ‘ADD’ really add?  Software / Algorithm  Diverse or redundant  Sentinels
  • 15. 15Few things to be taken care  Error Handling and/or Recovery  Response – Controlled or Rapid  Forward/Backward Recovery  The all important entity – Data  Timings, including for communication  Interrupts  HAZOP, Risk and FMEA are as much an input for the VnV group
  • 17. 17The “ERROR BUCKET” EMPTY Believe more on ‘BAD STORY’ Sizes of ‘FILL’, ‘EMPTY’ and ‘BUCKET’ depends on error & it’s impact FILL
  • 19. 19 Yes, it helps!!! Fr-L Fr-R Rr-L Rr-R Test Case-1 Test Case-2 Test Case-3
  • 20. 20Not to miss the process angle  Life-cycle  Functional Safety  SIL  Level of independence
  • 22. Thank you! Oak Systems Pvt. Ltd. #27, NGEF Lane, Off 100 Feet Road, Indira Nagar, Bangalore – 560 038, INDIA Tel : +91-80-41 26 76 81 Email: contact@oaksys.net URL: www.oaksys.net 22