DESIGN OF SAFE
SYSTEM


Resiltech offers support for the design of safe systems; at system level:
  • Architecting and Implementation of Dependable Systems
  • Trade-off analysis and design based on qualitative and quantitative models for:
    • large-scale complex critical infrastructures,
    • embedded systems.
Support for SW design:
  • Application SW,
  • Communication Middlewares,
  • Diagnostic Libraries,
  • Secure communication Libraries
  • Software/tool development.







VERIFICATION & VALIDATION


Full V&V&S Cycles activities according to latest standards of SW intensive system.
Creation of Verification and Validation plan:
  • V&V Plan,
  • RAM Plan,
  • Safety Plan.
Creation of Verification and Validation reports:
  • V&V Report,
  • RAM Report,
  • Safety Report.
Planning and management of Safety Cases at:
  • System level,
  • Sub-system level,
  • Component level.
    Functional and Safety Requirements Analysis:
    • System, Sub-system and HW/SW Component level,
    • Formal Technical Inspection,
    • Traceability Analysis using commercial (as DOORS and RequisitePro) and custom proprietary solutions.
    Tests Definition and Execution:
    • at System and HW/SW Component level,
    • Coverage Analysis using commercial (Cantata, Logiscope, Test Checker) and custom code instrumentation,
    • Unit/Integration tests,
    • Functional Analysis,
    • Robustness Analysis,
    • Fault Injection Tests,
    • Performance Analysis.







    SAFETY ANALYSIS


    Qualitative Analysis:
    • Hazard Analysis:
      • Preliminary Hazard Analysis,
      • Interface Hazard Analysis,
      • System Hazard Anakysis.
    • Failure Mode and Effective Analysis (FMEA) and FTA (Fault Tree Analysis) both HW and SW,
    • ISO26262 SW architecture Assessment - SW FMEA based,
    • Formal Verification,
    • Safety Analysis of HW microarchitectures: Systems on Chip and MCUs.
    Software Quality Functional Assurance:
    • Analysis and assessment of SW Architecture,
    • Static Code Analysis,
    • Quality Rule Checking supported by commercial (e.g. Logiscope) and custom tools.
    Quantitative (model-based) Analysis:
    • Analytic Evaluation
      • RBD, Fault tree Analysis (FTA), SAN and Petri Nets
    • Simulative
      • SAN, Petri nets
      • Using commercial (e.g. Moebius), academic (e.g. Deem) and proprietary solutions
    Quantitative analysis is used to evaluate fundamental metrics demanded by IEC 61508 (functional safety standard):
    • ISO 26262 (for automotive Electric/Electronic Systems)
      • PMHF, SPFM, LFM
    • CENELEC 501XX
      • MTTF (Mean Time To Failure), MTTR (mean time to repair), MTBHE (Mean Time Between Hazardous Events).







    SUPPORT FOR CERTIFICATION


    Resiltech provides support for certification of safety-related products according to the most important international standards of railway and automotive domains: EN50126, EN50128, EN50129 and EN50159-1-2, Functional Safety Standards such as ISO26262, IEC61508.ResilTech offers support from both sides of the certification process:
    • supporting companies, acting as an independent third-party actor for validation activities
    • supporting the certification bodies providing technical V&V Quality Assurance checks







    SECURITY ASSESSMENT


    Resiltech offers support from the design to the assessment of security solutions:
    • System and SW architecture threat analysis,
    • Secure algorithm definition and implementation,
    • Penetration testing,
    • quantitative assessment of system security.







    TRAINING


    ResilTech offers on-demand Professional High-Quality Training Courses on several topics related to RAMS, security and Functional Safety including:
    • Safety Critical Systems and Architectures
    • V&V Processes
    • Fundaments of Dependability of Computing Systems
    • Quantitative Evaluation of Resilient Computing Systems
    • National and International safety standard specific courses (E.g.: ISO26262, EN50128).