© 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 info@phaedsys.com