SlideShare a Scribd company logo
1 of 22
Download to read offline
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 overviewHongseok Lee
 
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 LIOFacoElche
 
자유주제 완성
자유주제 완성자유주제 완성
자유주제 완성dbsgml
 
August rmbs teleconference_2
August rmbs teleconference_2August rmbs teleconference_2
August rmbs teleconference_2intexpoolshop
 

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, SolutionsERPScan
 
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.0Enzo 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 wrecksRogue 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 CaseMary Bunzel
 
Bio Lock Exec 110329
Bio Lock Exec 110329Bio Lock Exec 110329
Bio Lock Exec 110329Martin 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 TVSeungjoo 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 SecurityRyan 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
 
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 CostsIBM 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 2018Christophe 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 ThingsEric 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 1dGene 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 & HistorianKondapi V Siva Rama Brahmam
 
SplunkSummit 2015 - Splunking the Endpoint
SplunkSummit 2015 - Splunking the EndpointSplunkSummit 2015 - Splunking the Endpoint
SplunkSummit 2015 - Splunking the EndpointSplunk
 

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 ControllerOak 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 SystemOak 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 DroneOak 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.pdfOak 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).pptxOak 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 ApplicationOak 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 InstrumentOak 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 MigrationOak Systems
 
Oaksys Updated Presentation 2020
Oaksys Updated Presentation 2020Oaksys Updated Presentation 2020
Oaksys Updated Presentation 2020Oak 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 TestingOak 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-3Oak 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 HardwareOak 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 StandardsOak 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 RUPOak 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 SystemOak 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 ServicesOak 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 LtdOak 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 LtdOak 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

Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024
Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024
Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024StefanoLambiase
 
How To Manage Restaurant Staff -BTRESTRO
How To Manage Restaurant Staff -BTRESTROHow To Manage Restaurant Staff -BTRESTRO
How To Manage Restaurant Staff -BTRESTROmotivationalword821
 
Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...
Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...
Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...Cizo Technology Services
 
Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...
Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...
Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...confluent
 
Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024Andreas Granig
 
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...Angel Borroy López
 
Post Quantum Cryptography – The Impact on Identity
Post Quantum Cryptography – The Impact on IdentityPost Quantum Cryptography – The Impact on Identity
Post Quantum Cryptography – The Impact on Identityteam-WIBU
 
Cyber security and its impact on E commerce
Cyber security and its impact on E commerceCyber security and its impact on E commerce
Cyber security and its impact on E commercemanigoyal112
 
VK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web DevelopmentVK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web Developmentvyaparkranti
 
Sending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdfSending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdf31events.com
 
UI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptxUI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptxAndreas Kunz
 
SuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte Germany
SuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte GermanySuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte Germany
SuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte GermanyChristoph Pohl
 
Unveiling the Future: Sylius 2.0 New Features
Unveiling the Future: Sylius 2.0 New FeaturesUnveiling the Future: Sylius 2.0 New Features
Unveiling the Future: Sylius 2.0 New FeaturesŁukasz Chruściel
 
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfGOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfAlina Yurenko
 
Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)
Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)
Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)jennyeacort
 
Unveiling Design Patterns: A Visual Guide with UML Diagrams
Unveiling Design Patterns: A Visual Guide with UML DiagramsUnveiling Design Patterns: A Visual Guide with UML Diagrams
Unveiling Design Patterns: A Visual Guide with UML DiagramsAhmed Mohamed
 
Comparing Linux OS Image Update Models - EOSS 2024.pdf
Comparing Linux OS Image Update Models - EOSS 2024.pdfComparing Linux OS Image Update Models - EOSS 2024.pdf
Comparing Linux OS Image Update Models - EOSS 2024.pdfDrew Moseley
 
Precise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive GoalPrecise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive GoalLionel Briand
 
英国UN学位证,北安普顿大学毕业证书1:1制作
英国UN学位证,北安普顿大学毕业证书1:1制作英国UN学位证,北安普顿大学毕业证书1:1制作
英国UN学位证,北安普顿大学毕业证书1:1制作qr0udbr0
 

Recently uploaded (20)

Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024
Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024
Dealing with Cultural Dispersion — Stefano Lambiase — ICSE-SEIS 2024
 
How To Manage Restaurant Staff -BTRESTRO
How To Manage Restaurant Staff -BTRESTROHow To Manage Restaurant Staff -BTRESTRO
How To Manage Restaurant Staff -BTRESTRO
 
Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...
Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...
Global Identity Enrolment and Verification Pro Solution - Cizo Technology Ser...
 
Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...
Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...
Catch the Wave: SAP Event-Driven and Data Streaming for the Intelligence Ente...
 
Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024
 
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
Alfresco TTL#157 - Troubleshooting Made Easy: Deciphering Alfresco mTLS Confi...
 
Hot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort Service
Hot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort ServiceHot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort Service
Hot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort Service
 
Post Quantum Cryptography – The Impact on Identity
Post Quantum Cryptography – The Impact on IdentityPost Quantum Cryptography – The Impact on Identity
Post Quantum Cryptography – The Impact on Identity
 
Cyber security and its impact on E commerce
Cyber security and its impact on E commerceCyber security and its impact on E commerce
Cyber security and its impact on E commerce
 
VK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web DevelopmentVK Business Profile - provides IT solutions and Web Development
VK Business Profile - provides IT solutions and Web Development
 
Sending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdfSending Calendar Invites on SES and Calendarsnack.pdf
Sending Calendar Invites on SES and Calendarsnack.pdf
 
UI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptxUI5ers live - Custom Controls wrapping 3rd-party libs.pptx
UI5ers live - Custom Controls wrapping 3rd-party libs.pptx
 
SuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte Germany
SuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte GermanySuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte Germany
SuccessFactors 1H 2024 Release - Sneak-Peek by Deloitte Germany
 
Unveiling the Future: Sylius 2.0 New Features
Unveiling the Future: Sylius 2.0 New FeaturesUnveiling the Future: Sylius 2.0 New Features
Unveiling the Future: Sylius 2.0 New Features
 
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfGOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
 
Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)
Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)
Call Us🔝>༒+91-9711147426⇛Call In girls karol bagh (Delhi)
 
Unveiling Design Patterns: A Visual Guide with UML Diagrams
Unveiling Design Patterns: A Visual Guide with UML DiagramsUnveiling Design Patterns: A Visual Guide with UML Diagrams
Unveiling Design Patterns: A Visual Guide with UML Diagrams
 
Comparing Linux OS Image Update Models - EOSS 2024.pdf
Comparing Linux OS Image Update Models - EOSS 2024.pdfComparing Linux OS Image Update Models - EOSS 2024.pdf
Comparing Linux OS Image Update Models - EOSS 2024.pdf
 
Precise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive GoalPrecise and Complete Requirements? An Elusive Goal
Precise and Complete Requirements? An Elusive Goal
 
英国UN学位证,北安普顿大学毕业证书1:1制作
英国UN学位证,北安普顿大学毕业证书1:1制作英国UN学位证,北安普顿大学毕业证书1:1制作
英国UN学位证,北安普顿大学毕业证书1:1制作
 

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