Model based verification consulting service for conforming to ISO26262

With the increasing popularity and complexity of automotive electronic systems, safety related problems such as system failure or component failure of automotive electronic products are becoming increasingly serious. Since 2008, Hirain Technologies began to study ISO 26262 functional safety standards and technologies, and in 2012, Hirain participated in the functional safety standards discussion organized by the National Standards Committee and became a member of the functional safety standards setting group.  

After years of research and own automotive electronic product development practice, Hirain has further master the connotation of functional safety standard that is ISO 26262, and can provide customers with software model-based verification consulting services and platform planning which conforming to ISO 26262. 

The service content

• Embedded software model based verification consulting service for conforming to  ISO 26262

»  Setting up model verification process for conforming to  ISO 26262

»  Model based static verification consulting service  for conforming to  ISO 26262

»  Model based dynamic verification consulting service  for conforming to  ISO 26262 

• Model based verification tool platform  for conforming to  ISO 26262

»  Provide model-based verification tools and safety analysis tools for the whole verification process and safety analysis of the right side of V process defined by ISO 26262-6 

• MBD professional training in ISO 26262 functional safety

»  Software development process and architecture

»  Software design -- basic application of software

»  Software design -- graphical modeling

»  Software design -- event-driven modeling

»  Software implementation -- model automatic code generation technology

»  Software verification -- model static analysis technique and practice

»  Software verification -- Model dynamic testing (MIL/SIL) technique and practice