Embed Size (px)
Citation preview
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
Thank you!
Oak Systems Pvt. Ltd.#27, NGEF Lane, Off 100 Feet Road,
Indira Nagar, Bangalore – 560 038, INDIATel : +91-80-41 26 76 81
Email: [email protected]
URL: www.oaksys.net
22
![Design Verification of Complex Microprocessors - KAISTics.kaist.ac.kr/intjpapers/Design Verification of Complex... · The hardware emulationr2], formal verification[l] ... suggest](https://img.dokumen.tips/doc/110x75/5b244c6a7f8b9a317d8b4604/design-verification-of-complex-microprocessors-verification-of-complex.jpg)
