Formal Verification of Complex Systems based on SysML Functional Requirements

Hoda Mehrpouyan, Irem Y. Tumer, chris Hoyle, Dimitra Giannakopoulou, and Guillaume Brat
Submission Type: 
Full Paper
AttachmentSizeTimestamp
phmc_14_022.pdf772.89 KBSeptember 17, 2014 - 1:40pm

As modern systems continue to increase in size and complexity, they pose an increasingly significant safety and risk management challenges. Model-Based safety approach is an efficient way of coping with the increasing system complexity. It helps better manage the complexity by utilizing reasoning tools that require abstract models to detect failures as early as possible during the design process. This paper develops a methodology for the verification of safety requirements for design of complex engineered systems. The proposed approach combines \emph{SysML} modeling approach to document and structure safety requirements and \emph{assume-guarantee} technique for the formal verification purpose. The assume-guarantee approach which is based on a compositional and hierarchical reasoning combined with a learning algorithm is able to simplify complex design verification problems. The objective of the proposed methodology is to integrate safety concept into early design stages and help the system designers to consider safety aspect during conceptual design synthesis and reduce the number of iterations and cost. The proposed approach is validated on the quad-redundant Electro-Mechanical Actuator (EMA) of a Flight Control Surface (FCS) of an aircraft.

Publication Year: 
2014
Publication Volume: 
5
Publication Control Number: 
022
Page Count: 
12
Submission Keywords: 
failure prognosis
early system design
Verification
safety analysis
Submission Topic Areas: 
Verification and validation
Submitted by: 
  
 
 
 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed