SlideShare a Scribd company logo
1 of 17
Download to read offline
Risk management and business
protection with Coding
Standardization & Static Analyzer
SI Revenue & Specialties
The key of SI success is software development and IT management
Mars Polar Lander Crash
• Cost
– $125,000,000
• Disaster
– After a 286-day journey from
Earth, the Mars Climate Orbiter
fell too far into Mars’
atmosphere, causing it to crash
• Cause
– The software that controlled the
Orbiter thrusters used imperial
units (pounds of force), rather
than metric units (Newtons) as
specified by NASA
Ariane 5 Explosion
• Cost
– $500,000,000
• Disaster
– ESA’s Ariane 5 unmanned rocket
was intentionally destroyed
seconds after launch on its maiden
flight
– Also destroyed was its cargo of four
scientific satellites
• Cause
– When the guidance system tried to
convert the sideways rocket
velocity from 64-bits to 16-bits
format, an overflow error resulted
– When the system shut down,
control passed to an identical
redundant unit…
AT&T Lines Go Dead
• Cost
– 75,000,000 phone calls missed
– 200,000 airline reservations lost
• Disaster
– A single switch at one of AT&T’s 114
switching centers suffered a minor
mechanical problem and shut down the
center
– When the center came back up, it sent a
message to other switching centers, which
in turn caused them to shut down
– This brought down the entire AT&T network
for 9 hours
• Cause
– A single line of buggy code in a complex
software upgrade implemented to speed up
calling caused a ripple effect that shut down
the network
Medical Machine Kills (1985)
• Cost
– 3 people dead
– 3 people critically injured
• Disaster
– Therac-25 radiation
therapy machine delivered
lethal radiation doses to
patients
• Cause
– A subtle bug called a race
condition
World War III… Almost
• Cost
– Almost all of humanity
• Disaster
– Soviet early warning system
indicated the U.S. had
launched 5 ICBMs
– The human operator
thankfully interpreted this as
an error
• Cause
– A bug in the software failed to
filter out false missile
detections caused by sunlight
reflecting off cloud-tops
Your software?
How do you assess the quality of your software?
How do you protect yourself?
Why should system integrator care?
System Integrator Client
Service delivered
Law suit
Product Liability Legal Theories
• NEGLIGENCE
– Did you fail to act as a reasonably prudent person/plant
operator/manufacturer/installer/repairer would have acted under the
same or similar circumstances
• STRICT LIABILITY
– Whether a person has been injured by a product that was defective in
design or manufacture
– Unreasonably dangerous when it left the manufacturer’s control. You
may have been eminently reasonable, yet liable for a defect.
• BREACH OF WARRANTY
– This is a lesser applied theory but still available to an injured party. The
focus is on whether the product conformed to representations made by
the seller in writing, verbally, or implied by law.
Source: Legal Considerations for Safety - Rockwell Automation Safety Automation Forum - November 2011
Defective Condition
• Consumer Expectation Test:
– Whether the product failed to perform as safely as an
ordinary consumer would expect.
• Risk Utility Test:
– Whether the harm could have been avoided by
adopting a reasonable alternative design and on
balance the benefit of that design outweighs the risk.
– This test usually applies in cases involving more
complex products.
Source: Legal Considerations for Safety - Rockwell Automation Safety Automation Forum - November 2011
What is safer alternative design?
• A way that plaintiffs can demonstrate a defective product
is to show that a safer alternative design was available
• A design which satisfies ALL of the below
– Prevents or significantly reduces the risk of injury
– Does not substantially impair the product’s utility
– Is not too expensive (economically feasible)
– Is technologically feasible at the time the product left the
manufacturer’s control
Source: Legal Considerations for Safety - Rockwell Automation Safety Automation Forum - November 2011
Software quality
usability
performance
operation reliability
functionality
bug detection rate
maintenance cost
code complexity
reusability
testability
reliability
changeabilityefficiency
maintainability
coupling
exception handling
fault tolerance
understandability
readability
architecture
Source: PSaQC (~“Psychic”) PLC Software automated Quality Contro, DNVl
Quality and safe design
• Applicable standards and guidelines governing your
product are a key part of every product liability
• ISO, 14121.199E:
– Documentation on risk assessment shall demonstrate the
procedure which has been followed and the results which have
been achieved
• FDA, General Principles of Software Validation
– Software validation is a critical tool used to assure the quality of
device software and software automated operations. Software
validation can …reduced liability to device manufacturers
• ISO, IEC, IAEA, EWICS, etc.
Common developer issues
• Secure and defensive programming
• Many malware exploiting vulnerability because of the lack of defensive
programming
• Defensive programming is not educated widely
• Input inconsistency check, surveillance mechanism, etc.
• Developers ignore the standards because it is cumbersome, they have not had
experiences, or sometime just they don’t like it
• Mistakes leftover in the code unknowingly
• Reuse of code is very common
• Reuse of code causes confusion and mistakes
• Complete manual verification on all test variables and instructions (AFI, etc.) is
virtually impossible
• Lack of verification
• There is no standard to objectively evaluate the quality of programmers
• There are many standards but very little systemic verification (especially for PLC)
• Outsourced development makes it harder to verify the quality
What to do to protect yourself?
• Implement code standardization
– Multiple standards and refer to your industry standard
– Recommend code standardization to your customers
• Encourage and educate to use
– Old habits are hard to kick
– Educate the importance and encourage the developers
• Verify and reinforce with static analyzer
– Manual verification is not enough and can be faulty
– Static anlyzers are priced reasonably
– Don’t forget your PLC/PAC programs
November 17, 2015 17
Your contact person
Valerie Fontaine
Director of International Business Development
valerie.fontaine@itris-automation.com
Mobile: +33 6 52 69 97 52
• Corporate website: www.itris-automation.com
• Presentations: www.slideshare.net/ItrisAutomationSquare/
For more information

More Related Content

What's hot

Non-Functional Requirements
Non-Functional RequirementsNon-Functional Requirements
Non-Functional RequirementsYuriy Guts
 
Ch15 software reliability
Ch15 software reliabilityCh15 software reliability
Ch15 software reliabilityAbraham Paul
 
Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...
Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...
Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...Mahindra Satyam
 
Presentation (software engineering)
Presentation (software engineering)Presentation (software engineering)
Presentation (software engineering)Abdullah Al Shiam
 
Non Functional Testing
Non Functional TestingNon Functional Testing
Non Functional TestingNishant Worah
 
The Top Ten things that have been proven to effect software reliability
The Top Ten things that have been proven to effect software reliabilityThe Top Ten things that have been proven to effect software reliability
The Top Ten things that have been proven to effect software reliabilityAnn Marie Neufelder
 
Website's functional and non functional requirements
Website's functional and non functional requirementsWebsite's functional and non functional requirements
Website's functional and non functional requirementsOZ Assignment Help Australia
 
Software reliability
Software reliabilitySoftware reliability
Software reliabilityAnand Kumar
 
Software engineering critical systems
Software engineering   critical systemsSoftware engineering   critical systems
Software engineering critical systemsDr. Loganathan R
 
Non functional requirement
Non functional requirementNon functional requirement
Non functional requirementGetacher Zewudie
 
Introduction to FMEA/FMECA
Introduction to FMEA/FMECAIntroduction to FMEA/FMECA
Introduction to FMEA/FMECAMichael Herman
 
Top Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliabilityTop Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliabilityAnn Marie Neufelder
 
A comprehensive guide to testing installers & what to look for while test...
A comprehensive guide to testing installers & what to look for while test...A comprehensive guide to testing installers & what to look for while test...
A comprehensive guide to testing installers & what to look for while test...BugRaptors
 
formal verification
formal verificationformal verification
formal verificationToseef Aslam
 
Software testing tools and its taxonomy
Software testing tools and its taxonomySoftware testing tools and its taxonomy
Software testing tools and its taxonomyHimanshu
 

What's hot (20)

Non-Functional Requirements
Non-Functional RequirementsNon-Functional Requirements
Non-Functional Requirements
 
Why do we test software?
Why do we test software?Why do we test software?
Why do we test software?
 
Eric Barry
Eric BarryEric Barry
Eric Barry
 
Ch15 software reliability
Ch15 software reliabilityCh15 software reliability
Ch15 software reliability
 
Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...
Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...
Software FMEA and Software FTA – An Effective Tool for Embedded Software Qual...
 
Presentation (software engineering)
Presentation (software engineering)Presentation (software engineering)
Presentation (software engineering)
 
Functional and non functional
Functional and non functionalFunctional and non functional
Functional and non functional
 
Non Functional Testing
Non Functional TestingNon Functional Testing
Non Functional Testing
 
FMECA CocaCola Industry
FMECA CocaCola IndustryFMECA CocaCola Industry
FMECA CocaCola Industry
 
The Top Ten things that have been proven to effect software reliability
The Top Ten things that have been proven to effect software reliabilityThe Top Ten things that have been proven to effect software reliability
The Top Ten things that have been proven to effect software reliability
 
Website's functional and non functional requirements
Website's functional and non functional requirementsWebsite's functional and non functional requirements
Website's functional and non functional requirements
 
Software reliability
Software reliabilitySoftware reliability
Software reliability
 
Software engineering critical systems
Software engineering   critical systemsSoftware engineering   critical systems
Software engineering critical systems
 
Non functional requirement
Non functional requirementNon functional requirement
Non functional requirement
 
Introduction to FMEA/FMECA
Introduction to FMEA/FMECAIntroduction to FMEA/FMECA
Introduction to FMEA/FMECA
 
Software Testing Concepts
Software Testing  ConceptsSoftware Testing  Concepts
Software Testing Concepts
 
Top Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliabilityTop Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliability
 
A comprehensive guide to testing installers & what to look for while test...
A comprehensive guide to testing installers & what to look for while test...A comprehensive guide to testing installers & what to look for while test...
A comprehensive guide to testing installers & what to look for while test...
 
formal verification
formal verificationformal verification
formal verification
 
Software testing tools and its taxonomy
Software testing tools and its taxonomySoftware testing tools and its taxonomy
Software testing tools and its taxonomy
 

Viewers also liked

Jim Zemlin LCU14 Keynote
Jim Zemlin  LCU14 KeynoteJim Zemlin  LCU14 Keynote
Jim Zemlin LCU14 KeynoteLinaro
 
Standards and Standardization - A Research Project
Standards and Standardization - A Research ProjectStandards and Standardization - A Research Project
Standards and Standardization - A Research ProjectSandeep Purao
 
June 22nd 2016 - Foundation State of the Union - London Meetup @ Red Deer
June 22nd 2016 - Foundation State of the Union - London Meetup @ Red DeerJune 22nd 2016 - Foundation State of the Union - London Meetup @ Red Deer
June 22nd 2016 - Foundation State of the Union - London Meetup @ Red DeerSymphony Software Foundation
 
Symphony Software Foundation Financial Objectives Standardization
Symphony Software Foundation Financial Objectives Standardization Symphony Software Foundation Financial Objectives Standardization
Symphony Software Foundation Financial Objectives Standardization Symphony Software Foundation
 
Infosys Connected Vehicle Service Offerings
Infosys Connected Vehicle Service OfferingsInfosys Connected Vehicle Service Offerings
Infosys Connected Vehicle Service OfferingsInfosys
 
NSTIC draft bylaws August 2012 w comments
NSTIC draft bylaws August 2012 w commentsNSTIC draft bylaws August 2012 w comments
NSTIC draft bylaws August 2012 w commentsJamie Clark
 
Open source eu-ict-ipr-clark-2010final
Open source eu-ict-ipr-clark-2010finalOpen source eu-ict-ipr-clark-2010final
Open source eu-ict-ipr-clark-2010finalJamie Clark
 
Towards Standardisation in User Interface Development: the UsiXML Contribution
Towards Standardisation in User Interface Development: the UsiXML ContributionTowards Standardisation in User Interface Development: the UsiXML Contribution
Towards Standardisation in User Interface Development: the UsiXML ContributionJean Vanderdonckt
 
CS5032 Case study Ariane 5 launcher failure
CS5032 Case study Ariane 5 launcher failureCS5032 Case study Ariane 5 launcher failure
CS5032 Case study Ariane 5 launcher failureIan Sommerville
 
IoT Standardization and Implementation Challenges
IoT Standardization and Implementation ChallengesIoT Standardization and Implementation Challenges
IoT Standardization and Implementation ChallengesAhmed Banafa
 
Current Trends and Challenges in Big Data Benchmarking
Current Trends and Challenges in Big Data BenchmarkingCurrent Trends and Challenges in Big Data Benchmarking
Current Trends and Challenges in Big Data BenchmarkingeXascale Infolab
 
Standardization(work study & measurement)
Standardization(work study & measurement)Standardization(work study & measurement)
Standardization(work study & measurement)Nisarg Shah
 
Standardization and customization
Standardization and customizationStandardization and customization
Standardization and customizationYASHADA, Pune
 
Open Source and Standardization
Open Source and StandardizationOpen Source and Standardization
Open Source and StandardizationOW2
 
IBM InfoSphere MDM v11 Overview - Aomar BARIZ
IBM InfoSphere MDM v11 Overview - Aomar BARIZIBM InfoSphere MDM v11 Overview - Aomar BARIZ
IBM InfoSphere MDM v11 Overview - Aomar BARIZIBMInfoSphereUGFR
 

Viewers also liked (16)

Jim Zemlin LCU14 Keynote
Jim Zemlin  LCU14 KeynoteJim Zemlin  LCU14 Keynote
Jim Zemlin LCU14 Keynote
 
Standards and Standardization - A Research Project
Standards and Standardization - A Research ProjectStandards and Standardization - A Research Project
Standards and Standardization - A Research Project
 
June 22nd 2016 - Foundation State of the Union - London Meetup @ Red Deer
June 22nd 2016 - Foundation State of the Union - London Meetup @ Red DeerJune 22nd 2016 - Foundation State of the Union - London Meetup @ Red Deer
June 22nd 2016 - Foundation State of the Union - London Meetup @ Red Deer
 
Symphony Software Foundation Financial Objectives Standardization
Symphony Software Foundation Financial Objectives Standardization Symphony Software Foundation Financial Objectives Standardization
Symphony Software Foundation Financial Objectives Standardization
 
Infosys Connected Vehicle Service Offerings
Infosys Connected Vehicle Service OfferingsInfosys Connected Vehicle Service Offerings
Infosys Connected Vehicle Service Offerings
 
NSTIC draft bylaws August 2012 w comments
NSTIC draft bylaws August 2012 w commentsNSTIC draft bylaws August 2012 w comments
NSTIC draft bylaws August 2012 w comments
 
Open source eu-ict-ipr-clark-2010final
Open source eu-ict-ipr-clark-2010finalOpen source eu-ict-ipr-clark-2010final
Open source eu-ict-ipr-clark-2010final
 
Towards Standardisation in User Interface Development: the UsiXML Contribution
Towards Standardisation in User Interface Development: the UsiXML ContributionTowards Standardisation in User Interface Development: the UsiXML Contribution
Towards Standardisation in User Interface Development: the UsiXML Contribution
 
CS5032 Case study Ariane 5 launcher failure
CS5032 Case study Ariane 5 launcher failureCS5032 Case study Ariane 5 launcher failure
CS5032 Case study Ariane 5 launcher failure
 
IoT Standardization and Implementation Challenges
IoT Standardization and Implementation ChallengesIoT Standardization and Implementation Challenges
IoT Standardization and Implementation Challenges
 
Current Trends and Challenges in Big Data Benchmarking
Current Trends and Challenges in Big Data BenchmarkingCurrent Trends and Challenges in Big Data Benchmarking
Current Trends and Challenges in Big Data Benchmarking
 
Standardization(work study & measurement)
Standardization(work study & measurement)Standardization(work study & measurement)
Standardization(work study & measurement)
 
Standardization
StandardizationStandardization
Standardization
 
Standardization and customization
Standardization and customizationStandardization and customization
Standardization and customization
 
Open Source and Standardization
Open Source and StandardizationOpen Source and Standardization
Open Source and Standardization
 
IBM InfoSphere MDM v11 Overview - Aomar BARIZ
IBM InfoSphere MDM v11 Overview - Aomar BARIZIBM InfoSphere MDM v11 Overview - Aomar BARIZ
IBM InfoSphere MDM v11 Overview - Aomar BARIZ
 

Similar to Risk Management and Software Quality with Static Analysis

Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...Verhaert Masters in Innovation
 
Safety and security in distributed systems
Safety and security in distributed systemsSafety and security in distributed systems
Safety and security in distributed systemsEinar Landre
 
Safety and security in distributed systems
Safety and security in distributed systems Safety and security in distributed systems
Safety and security in distributed systems Einar Landre
 
Software engineering quality assurance and testing
Software engineering quality assurance and testingSoftware engineering quality assurance and testing
Software engineering quality assurance and testingBipul Roy Bpl
 
UNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptx
UNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptxUNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptx
UNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptxSKILL2021
 
2017 03-10 - vu amsterdam - testing safety critical systems
2017 03-10 - vu amsterdam - testing safety critical systems2017 03-10 - vu amsterdam - testing safety critical systems
2017 03-10 - vu amsterdam - testing safety critical systemsJaap van Ekris
 
Threat modelling & apps testing
Threat modelling & apps testingThreat modelling & apps testing
Threat modelling & apps testingAdrian Munteanu
 
When Medical Device Software Fails Due to Improper Verification & Validation ...
When Medical Device Software Fails Due to Improper Verification & Validation ...When Medical Device Software Fails Due to Improper Verification & Validation ...
When Medical Device Software Fails Due to Improper Verification & Validation ...Sterling Medical Devices
 
Testing Safety Critical Systems (10-02-2014, VU amsterdam)
Testing Safety Critical Systems (10-02-2014, VU amsterdam)Testing Safety Critical Systems (10-02-2014, VU amsterdam)
Testing Safety Critical Systems (10-02-2014, VU amsterdam)Jaap van Ekris
 
Fault detection consequence
Fault detection consequenceFault detection consequence
Fault detection consequenceMahbub Rashid
 
Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)
Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)
Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)Jaap van Ekris
 
2015 05-07 - vu amsterdam - testing safety critical systems
2015 05-07 - vu amsterdam - testing safety critical systems2015 05-07 - vu amsterdam - testing safety critical systems
2015 05-07 - vu amsterdam - testing safety critical systemsJaap van Ekris
 
2016-04-28 - VU Amsterdam - testing safety critical systems
2016-04-28 - VU Amsterdam - testing safety critical systems2016-04-28 - VU Amsterdam - testing safety critical systems
2016-04-28 - VU Amsterdam - testing safety critical systemsJaap van Ekris
 
Transcat Webinar: :Suitability Of Instruments: Presented By: Howard Zion
Transcat Webinar: :Suitability Of Instruments: Presented By: Howard ZionTranscat Webinar: :Suitability Of Instruments: Presented By: Howard Zion
Transcat Webinar: :Suitability Of Instruments: Presented By: Howard ZionTranscat
 
cupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptx
cupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptxcupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptx
cupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptxBigbearBigbear
 
Safety and security in mission critical IoT systems
Safety and security in mission critical IoT systemsSafety and security in mission critical IoT systems
Safety and security in mission critical IoT systemsEinar Landre
 
Reliability Levels of Subsea Production Systems During Operations
Reliability Levels of Subsea Production Systems During OperationsReliability Levels of Subsea Production Systems During Operations
Reliability Levels of Subsea Production Systems During OperationsLloyd's Register Energy
 
Arizona State University Test Lecture
Arizona State University Test LectureArizona State University Test Lecture
Arizona State University Test LecturePete Sarson, PH.D
 
Unit v11 proactive maintenance analysis
Unit v11 proactive maintenance analysisUnit v11 proactive maintenance analysis
Unit v11 proactive maintenance analysisCharlton Inao
 

Similar to Risk Management and Software Quality with Static Analysis (20)

Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
 
Safety and security in distributed systems
Safety and security in distributed systemsSafety and security in distributed systems
Safety and security in distributed systems
 
Safety and security in distributed systems
Safety and security in distributed systems Safety and security in distributed systems
Safety and security in distributed systems
 
Software engineering quality assurance and testing
Software engineering quality assurance and testingSoftware engineering quality assurance and testing
Software engineering quality assurance and testing
 
UNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptx
UNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptxUNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptx
UNIT 1C CHARACTERISTICS _ QUALITY ATT OF ES.pptx
 
2017 03-10 - vu amsterdam - testing safety critical systems
2017 03-10 - vu amsterdam - testing safety critical systems2017 03-10 - vu amsterdam - testing safety critical systems
2017 03-10 - vu amsterdam - testing safety critical systems
 
Threat modelling & apps testing
Threat modelling & apps testingThreat modelling & apps testing
Threat modelling & apps testing
 
When Medical Device Software Fails Due to Improper Verification & Validation ...
When Medical Device Software Fails Due to Improper Verification & Validation ...When Medical Device Software Fails Due to Improper Verification & Validation ...
When Medical Device Software Fails Due to Improper Verification & Validation ...
 
Testing Safety Critical Systems (10-02-2014, VU amsterdam)
Testing Safety Critical Systems (10-02-2014, VU amsterdam)Testing Safety Critical Systems (10-02-2014, VU amsterdam)
Testing Safety Critical Systems (10-02-2014, VU amsterdam)
 
Fault detection consequence
Fault detection consequenceFault detection consequence
Fault detection consequence
 
Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)
Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)
Testing safety critical systems: Practice and Theory (14-05-2013, VU Amsterdam)
 
2015 05-07 - vu amsterdam - testing safety critical systems
2015 05-07 - vu amsterdam - testing safety critical systems2015 05-07 - vu amsterdam - testing safety critical systems
2015 05-07 - vu amsterdam - testing safety critical systems
 
2016-04-28 - VU Amsterdam - testing safety critical systems
2016-04-28 - VU Amsterdam - testing safety critical systems2016-04-28 - VU Amsterdam - testing safety critical systems
2016-04-28 - VU Amsterdam - testing safety critical systems
 
Transcat Webinar: :Suitability Of Instruments: Presented By: Howard Zion
Transcat Webinar: :Suitability Of Instruments: Presented By: Howard ZionTranscat Webinar: :Suitability Of Instruments: Presented By: Howard Zion
Transcat Webinar: :Suitability Of Instruments: Presented By: Howard Zion
 
cupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptx
cupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptxcupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptx
cupdf.com_cheme-process-control-lab-equipment-heat-exchanger.pptx
 
Safety and security in mission critical IoT systems
Safety and security in mission critical IoT systemsSafety and security in mission critical IoT systems
Safety and security in mission critical IoT systems
 
Software development
Software developmentSoftware development
Software development
 
Reliability Levels of Subsea Production Systems During Operations
Reliability Levels of Subsea Production Systems During OperationsReliability Levels of Subsea Production Systems During Operations
Reliability Levels of Subsea Production Systems During Operations
 
Arizona State University Test Lecture
Arizona State University Test LectureArizona State University Test Lecture
Arizona State University Test Lecture
 
Unit v11 proactive maintenance analysis
Unit v11 proactive maintenance analysisUnit v11 proactive maintenance analysis
Unit v11 proactive maintenance analysis
 

More from Itris Automation Square

[FR] Récit Utilisateur Industrie Pharmaceutique
[FR] Récit Utilisateur Industrie Pharmaceutique[FR] Récit Utilisateur Industrie Pharmaceutique
[FR] Récit Utilisateur Industrie PharmaceutiqueItris Automation Square
 
[FR] Récit utilisateur inudstrie pharmaceutique
[FR] Récit utilisateur inudstrie pharmaceutique[FR] Récit utilisateur inudstrie pharmaceutique
[FR] Récit utilisateur inudstrie pharmaceutiqueItris Automation Square
 
SPS IPC Drives 2015 - Itris Automation paper
SPS IPC Drives 2015 - Itris Automation paperSPS IPC Drives 2015 - Itris Automation paper
SPS IPC Drives 2015 - Itris Automation paperItris Automation Square
 
[EN] Itris Automation - Company presentation
[EN] Itris Automation - Company presentation [EN] Itris Automation - Company presentation
[EN] Itris Automation - Company presentation Itris Automation Square
 
[EN] Mesures article: "PLC programs quality checked by their designers"
[EN] Mesures article: "PLC programs quality checked by their designers"[EN] Mesures article: "PLC programs quality checked by their designers"
[EN] Mesures article: "PLC programs quality checked by their designers"Itris Automation Square
 
[DE] Itris Automation - Unternehmenspräsentation
[DE] Itris Automation - Unternehmenspräsentation[DE] Itris Automation - Unternehmenspräsentation
[DE] Itris Automation - UnternehmenspräsentationItris Automation Square
 

More from Itris Automation Square (20)

[FR] Récit Utilisateur Eiffage Energie
[FR] Récit Utilisateur Eiffage Energie[FR] Récit Utilisateur Eiffage Energie
[FR] Récit Utilisateur Eiffage Energie
 
[FR] Récit Utilisateur Industrie Pharmaceutique
[FR] Récit Utilisateur Industrie Pharmaceutique[FR] Récit Utilisateur Industrie Pharmaceutique
[FR] Récit Utilisateur Industrie Pharmaceutique
 
[EN] Success Story ArianeGroup
[EN] Success Story ArianeGroup[EN] Success Story ArianeGroup
[EN] Success Story ArianeGroup
 
[FR] Récit Utilisateur ArianeGroup
[FR] Récit Utilisateur ArianeGroup[FR] Récit Utilisateur ArianeGroup
[FR] Récit Utilisateur ArianeGroup
 
PLCopen Webinar Presentation
PLCopen Webinar PresentationPLCopen Webinar Presentation
PLCopen Webinar Presentation
 
[FR] Récit utilisateur inudstrie pharmaceutique
[FR] Récit utilisateur inudstrie pharmaceutique[FR] Récit utilisateur inudstrie pharmaceutique
[FR] Récit utilisateur inudstrie pharmaceutique
 
[EN] Success story pharma
[EN] Success story pharma[EN] Success story pharma
[EN] Success story pharma
 
[EN] Success story Herakles
[EN] Success story Herakles[EN] Success story Herakles
[EN] Success story Herakles
 
SPS IPC Drives 2015 - Itris Automation paper
SPS IPC Drives 2015 - Itris Automation paperSPS IPC Drives 2015 - Itris Automation paper
SPS IPC Drives 2015 - Itris Automation paper
 
[IT] PLC Converter Presentation
[IT] PLC Converter Presentation[IT] PLC Converter Presentation
[IT] PLC Converter Presentation
 
[EN] PLC Checker Datasheet
[EN] PLC Checker Datasheet[EN] PLC Checker Datasheet
[EN] PLC Checker Datasheet
 
[EN] PLC DocGen Datasheet
[EN] PLC DocGen Datasheet[EN] PLC DocGen Datasheet
[EN] PLC DocGen Datasheet
 
[FR] Fiche produit PLC Converter
[FR] Fiche produit PLC Converter[FR] Fiche produit PLC Converter
[FR] Fiche produit PLC Converter
 
[FR] Fiche produit PLC DocGen
[FR] Fiche produit PLC DocGen[FR] Fiche produit PLC DocGen
[FR] Fiche produit PLC DocGen
 
[FR] Papier Cetsis 2014 - PLC Checker
[FR] Papier Cetsis 2014 - PLC Checker[FR] Papier Cetsis 2014 - PLC Checker
[FR] Papier Cetsis 2014 - PLC Checker
 
[FR] Poster Cetsis 2014 - PLC Checker
[FR] Poster Cetsis 2014 - PLC Checker[FR] Poster Cetsis 2014 - PLC Checker
[FR] Poster Cetsis 2014 - PLC Checker
 
[EN] Itris Automation - Company presentation
[EN] Itris Automation - Company presentation [EN] Itris Automation - Company presentation
[EN] Itris Automation - Company presentation
 
[EN] Mesures article: "PLC programs quality checked by their designers"
[EN] Mesures article: "PLC programs quality checked by their designers"[EN] Mesures article: "PLC programs quality checked by their designers"
[EN] Mesures article: "PLC programs quality checked by their designers"
 
[DE] Itris Automation - Unternehmenspräsentation
[DE] Itris Automation - Unternehmenspräsentation[DE] Itris Automation - Unternehmenspräsentation
[DE] Itris Automation - Unternehmenspräsentation
 
[EN] Press kit IAS
[EN] Press kit IAS[EN] Press kit IAS
[EN] Press kit IAS
 

Recently uploaded

Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxJoão Esperancinha
 
What are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.pptxWhat are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.pptxwendy cai
 
Biology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptxBiology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptxDeepakSakkari2
 
EduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AIEduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AIkoyaldeepu123
 
Heart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptxHeart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptxPoojaBan
 
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerStudy on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerAnamika Sarkar
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...VICTOR MAESTRE RAMIREZ
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort servicejennyeacort
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxbritheesh05
 
Architect Hassan Khalil Portfolio for 2024
Architect Hassan Khalil Portfolio for 2024Architect Hassan Khalil Portfolio for 2024
Architect Hassan Khalil Portfolio for 2024hassan khalil
 
GDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSCAESB
 
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdfCCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdfAsst.prof M.Gokilavani
 
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)Dr SOUNDIRARAJ N
 
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdfCCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdfAsst.prof M.Gokilavani
 
Arduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptArduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptSAURABHKUMAR892774
 
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfCCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfAsst.prof M.Gokilavani
 

Recently uploaded (20)

Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
 
What are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.pptxWhat are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.pptx
 
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptxExploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
 
Biology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptxBiology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptx
 
EduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AIEduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AI
 
Heart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptxHeart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptx
 
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerStudy on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
 
Design and analysis of solar grass cutter.pdf
Design and analysis of solar grass cutter.pdfDesign and analysis of solar grass cutter.pdf
Design and analysis of solar grass cutter.pdf
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptx
 
Architect Hassan Khalil Portfolio for 2024
Architect Hassan Khalil Portfolio for 2024Architect Hassan Khalil Portfolio for 2024
Architect Hassan Khalil Portfolio for 2024
 
GDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentation
 
🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...
🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...
🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...
 
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdfCCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
 
young call girls in Green Park🔝 9953056974 🔝 escort Service
young call girls in Green Park🔝 9953056974 🔝 escort Serviceyoung call girls in Green Park🔝 9953056974 🔝 escort Service
young call girls in Green Park🔝 9953056974 🔝 escort Service
 
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
UNIT III ANALOG ELECTRONICS (BASIC ELECTRONICS)
 
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdfCCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
CCS355 Neural Networks & Deep Learning Unit 1 PDF notes with Question bank .pdf
 
Arduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptArduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.ppt
 
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfCCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
 

Risk Management and Software Quality with Static Analysis

  • 1. Risk management and business protection with Coding Standardization & Static Analyzer
  • 2. SI Revenue & Specialties The key of SI success is software development and IT management
  • 3. Mars Polar Lander Crash • Cost – $125,000,000 • Disaster – After a 286-day journey from Earth, the Mars Climate Orbiter fell too far into Mars’ atmosphere, causing it to crash • Cause – The software that controlled the Orbiter thrusters used imperial units (pounds of force), rather than metric units (Newtons) as specified by NASA
  • 4. Ariane 5 Explosion • Cost – $500,000,000 • Disaster – ESA’s Ariane 5 unmanned rocket was intentionally destroyed seconds after launch on its maiden flight – Also destroyed was its cargo of four scientific satellites • Cause – When the guidance system tried to convert the sideways rocket velocity from 64-bits to 16-bits format, an overflow error resulted – When the system shut down, control passed to an identical redundant unit…
  • 5. AT&T Lines Go Dead • Cost – 75,000,000 phone calls missed – 200,000 airline reservations lost • Disaster – A single switch at one of AT&T’s 114 switching centers suffered a minor mechanical problem and shut down the center – When the center came back up, it sent a message to other switching centers, which in turn caused them to shut down – This brought down the entire AT&T network for 9 hours • Cause – A single line of buggy code in a complex software upgrade implemented to speed up calling caused a ripple effect that shut down the network
  • 6. Medical Machine Kills (1985) • Cost – 3 people dead – 3 people critically injured • Disaster – Therac-25 radiation therapy machine delivered lethal radiation doses to patients • Cause – A subtle bug called a race condition
  • 7. World War III… Almost • Cost – Almost all of humanity • Disaster – Soviet early warning system indicated the U.S. had launched 5 ICBMs – The human operator thankfully interpreted this as an error • Cause – A bug in the software failed to filter out false missile detections caused by sunlight reflecting off cloud-tops
  • 8. Your software? How do you assess the quality of your software?
  • 9. How do you protect yourself? Why should system integrator care? System Integrator Client Service delivered Law suit
  • 10. Product Liability Legal Theories • NEGLIGENCE – Did you fail to act as a reasonably prudent person/plant operator/manufacturer/installer/repairer would have acted under the same or similar circumstances • STRICT LIABILITY – Whether a person has been injured by a product that was defective in design or manufacture – Unreasonably dangerous when it left the manufacturer’s control. You may have been eminently reasonable, yet liable for a defect. • BREACH OF WARRANTY – This is a lesser applied theory but still available to an injured party. The focus is on whether the product conformed to representations made by the seller in writing, verbally, or implied by law. Source: Legal Considerations for Safety - Rockwell Automation Safety Automation Forum - November 2011
  • 11. Defective Condition • Consumer Expectation Test: – Whether the product failed to perform as safely as an ordinary consumer would expect. • Risk Utility Test: – Whether the harm could have been avoided by adopting a reasonable alternative design and on balance the benefit of that design outweighs the risk. – This test usually applies in cases involving more complex products. Source: Legal Considerations for Safety - Rockwell Automation Safety Automation Forum - November 2011
  • 12. What is safer alternative design? • A way that plaintiffs can demonstrate a defective product is to show that a safer alternative design was available • A design which satisfies ALL of the below – Prevents or significantly reduces the risk of injury – Does not substantially impair the product’s utility – Is not too expensive (economically feasible) – Is technologically feasible at the time the product left the manufacturer’s control Source: Legal Considerations for Safety - Rockwell Automation Safety Automation Forum - November 2011
  • 13. Software quality usability performance operation reliability functionality bug detection rate maintenance cost code complexity reusability testability reliability changeabilityefficiency maintainability coupling exception handling fault tolerance understandability readability architecture Source: PSaQC (~“Psychic”) PLC Software automated Quality Contro, DNVl
  • 14. Quality and safe design • Applicable standards and guidelines governing your product are a key part of every product liability • ISO, 14121.199E: – Documentation on risk assessment shall demonstrate the procedure which has been followed and the results which have been achieved • FDA, General Principles of Software Validation – Software validation is a critical tool used to assure the quality of device software and software automated operations. Software validation can …reduced liability to device manufacturers • ISO, IEC, IAEA, EWICS, etc.
  • 15. Common developer issues • Secure and defensive programming • Many malware exploiting vulnerability because of the lack of defensive programming • Defensive programming is not educated widely • Input inconsistency check, surveillance mechanism, etc. • Developers ignore the standards because it is cumbersome, they have not had experiences, or sometime just they don’t like it • Mistakes leftover in the code unknowingly • Reuse of code is very common • Reuse of code causes confusion and mistakes • Complete manual verification on all test variables and instructions (AFI, etc.) is virtually impossible • Lack of verification • There is no standard to objectively evaluate the quality of programmers • There are many standards but very little systemic verification (especially for PLC) • Outsourced development makes it harder to verify the quality
  • 16. What to do to protect yourself? • Implement code standardization – Multiple standards and refer to your industry standard – Recommend code standardization to your customers • Encourage and educate to use – Old habits are hard to kick – Educate the importance and encourage the developers • Verify and reinforce with static analyzer – Manual verification is not enough and can be faulty – Static anlyzers are priced reasonably – Don’t forget your PLC/PAC programs
  • 17. November 17, 2015 17 Your contact person Valerie Fontaine Director of International Business Development valerie.fontaine@itris-automation.com Mobile: +33 6 52 69 97 52 • Corporate website: www.itris-automation.com • Presentations: www.slideshare.net/ItrisAutomationSquare/ For more information