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.







PDFThis email address is being protected from spambots. You need JavaScript enabled to view it.

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.







    PDFThis email address is being protected from spambots. You need JavaScript enabled to view it.

    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).







    PDFThis email address is being protected from spambots. You need JavaScript enabled to view it.

    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







    PDFThis email address is being protected from spambots. You need JavaScript enabled to view it.

    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.







    PDFThis email address is being protected from spambots. You need JavaScript enabled to view it.

    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).







    PDFThis email address is being protected from spambots. You need JavaScript enabled to view it.