Considerations in Verification of Safety Design for Complex Systems
0 likes256 views
The document presents an overview of Oak Systems, a company specializing in software verification and validation services since 1998, certified in ISO 9001. It details the critical aspects of testing and verification in various domains such as automotive, aerospace, and healthcare, emphasizing the importance of rigorous quality checks in safety designs. Key considerations include evaluating system requirements, error handling, and ensuring systems achieve safe states following faults.
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
- 16. 16Transitioning: Sure trouble spots
- 17. 17The âERROR BUCKETâ EMPTY Believe more on âBAD STORYâ Sizes of âFILLâ, âEMPTYâ and âBUCKETâ depends on error & itâs impact FILL
- 18. 18TestingâŚ
- 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