medini™ analyze - phaedsys.org · © ikv++ technologies ag supports driving situation analysis,...
Transcript of medini™ analyze - phaedsys.org · © ikv++ technologies ag supports driving situation analysis,...
© ikv++ technologies ag
medini™ analyze functional safety analysis for ISO 26262
� safety analysis and design for software controlled safety related functions tailored to ISO 26262
� integrates architectural/functional design with functional safety analysis methods
� supports driving situation analysis, hazard and risk analysis,
Fault Tree Analysis (FTA), Failure Mode and Effects Analysis (FMEA), probabilistic analysis and hardware failure metrics
� trace and track all safety relevant information and decisions throughout the whole development process
� generates ISO 26262 work products
� integrates with Rational DOORS, MATLAB/
Simulink/Stateflow, MKS Integrity, MS Office and Rational Team Concert
item definition
� form based description of the item
� definition of the functions, malfunctions and their relations, HAZOP
� initial item architecture with SysML
� integration of external documents by
linking to them via URI or by including them into the functional safety project
hazard analysis, risk assessment and ASIL
determination
� table-based management of driving situations and hazardous events
� support for driving situation catalogues with drag & drop
� ISO 26262 compliant ASIL determination
� specification of driving situations and hazards based on predefined parameters
� comprehensive traceability to item
definition and item functions as well as to safety goals and safety analysis artifacts
© ikv++ technologies ag
safety goal analysis and management
� graphical and table editors for safety goals and requirements
� capture and manage functional and technical (HW/SW) safety requirements
� validation rules to check compliance with ISO 26262
� requirements allocation to system architecture and function model
� visualize fulfillment of single point and latent fault metrics for the safety goals
� import and export requirements
management systems (e.g. DOORS, MKS integrity)
system architecture modeling (SysML)
� graphical SysML editor for architecture models
� navigation to goal & requirements models
� specification of failure modes and failure
rates for the elements of the system architecture
� single source for safety analysis such as FTA, FME(D)A and Hardware Metrics
� automatic synchronization of failure related data with safety analysis models
� computation and visualization of the
resulting ASIL for components considering “argumentation of independence”
function modeling
� import and visualization of
MATLAB®/Simulink® or Stateflow® models
� associate elements of MATLAB®/Simulink®
model to elements of the system architecture model
� traceability to goal & requirements models
and to safety analysis such as FTA and FMEA
� validation of the HW/SW mapping
� automated creation of FTA models from
MATLAB/Simulink using structural path analysis
� consistent update of MATLAB/Simulink models in case of design change
© ikv++ technologies ag
Failure Mode and Effects Analysis (FMEA)
� standard templates for FMEA/FMEDA
� automatic population of the table with the
components/functions from the system models
� automatic inclusion of all failure
modes/rates specified for the elements of the system model
� automatic computation of Risk Priority
Numbers (RPN) to prioritize which items
require additional quality planning or action
� Safe Failure Fraction (SFF) computation
� Excel import for legacy integration
ISO 26262 Part 5 Hardware Metrics
� provision of tables for Single Point Fault metric and Latent Fault metric
� evaluation based on safety goal and required ASIL
� bound to architecture model with
automatic synchronization with failure mode and failure rate data
� extensible catalog of safety mechanisms according to part 5 of ISO 26262
� specification of properties for used safety mechanisms
� rich validation for consistency checks
Fault Tree Analysis (FTA)
� integrated FTA enabling the creation of fault trees and their quantitative
evaluation
� semi-automatic population with failure
events from the system architecture model (including failure rates)
� determination and evaluation of minimal
cut-sets to find out their probability
� algorithms like Fussell/Vesely, Birnbaum,
Criticality
� seamless navigation from cut-sets to
elements of the system design (based on traces)
� automatic re-calculation of probabilities after design changes
© ikv++ technologies ag
sophisticated traceability
� definition of traces between any kind of element within medini analyze
� definition of traces using trace-matrix or using quick-trace functionality
� follow-trace to navigate quickly to related elements in other models
� filters and hierarchies to support the comprehension even of large trace matrices
� dependency view to represent element
relationships graphically and for impact analysis
integrated task management
� creation of tasks/comments for arbitrary model elements
� navigation from tasks to elements and vice versa
� management of private tasks for user work organization
� management of public tasks via a task repository to organize team work
� context visualization for active tasks � documentation of all decisions at the tasks
� integration with task repositories like trac, bugzilla, RTC and many others
� scheduling, user assignment, e-mail notification and much more
licensing
� attractive product tailoring due to individually licensable components
� single user, dongle and network floating licenses available
system requirements
� supported platforms: Microsoft® Windows 2000/XP/Vista®/Windows 7
� required disc space: 250 MB
� recommended memory size: 2 GB
do you need more information?
do you have questions?
do you want a trial?
contact us at
www.phaedsys.com
+44 1827 259546 [email protected]