Considerations in Verification of Safety Design for Complex Systems
-
Upload
oak-systems -
Category
Software
-
view
156 -
download
0
Transcript of Considerations in Verification of Safety Design for Complex Systems
Considerations In verification of
Safety designs
Hanumath Managoli
Oak Systems Pvt Ltd.
1
/ oaksys / Oak-systems / oaksystesting / oaksys
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..
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
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
17The “ERROR BUCKET”
EMPTY
Believe more on ‘BAD STORY’
Sizes of ‘FILL’, ‘EMPTY’ and ‘BUCKET’
depends on error & it’s impact
FILL
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