=Paper=
{{Paper
|id=Vol-1728/paper7
|storemode=property
|title=A Model Based Approach to Design for Reliability and Safety of Critical Aeronautic Systems
|pdfUrl=https://ceur-ws.org/Vol-1728/paper7.pdf
|volume=Vol-1728
|authors=Candida Stigliani,Davide Ferretto,Claudio Pessa,Eugenio Brusa
|dblpUrl=https://dblp.org/rec/conf/ciise/StiglianiFPB16
}}
==A Model Based Approach to Design for Reliability and Safety of Critical Aeronautic Systems==
A model based approach to design for reliability and safety of critical aeronautic systems Eugenio Brusa Candida Stigliani Politecnico di Torino, Dept. Mech. and Aer. Eng. Politecnico di Torino, Dept. Mech. and Aer. Eng. Torino, Italy Torino, Italy eugenio.brusa@polito.it Davide Ferretto Claudio Pessa Politecnico di Torino, Dept. Mech. and Aer. Eng. Leonardo Company, Finmeccanica Aircraft Division Torino, Italy Torino, Italy claudio.pessa@leonardocompany.com davide.ferretto@polito.it Copyright © held by the authors. Abstract—This paper explores how the safety engineering slightly different implementations, depending on the practices applied to the aircraft design can be effectively manufacturer [5] or even upon the technical domain [6]. Clear associated to the MBSE. Requirements and procedures of the statements about functions, interfaces, hierarchy of control ARP4754/ED-79 and ARP4761 were considered. As an example functions and safety based trade–off of the proposed layouts the fuel system of a civil aircraft was used. Some key issues were are needed. As it looks evident the Systems Engineering can found relevant, whilst modeling the system through the MBSE greatly support that activity as it is discussed in this paper. In tools. The management of both the functional and dysfunctional particular, the aim is that of assessing a procedure to perform analysis, leading to the Functional Hazard Analysis (FHA) of the the safety analysis of the system, through the tools of the whole aircraft, within the same modeling environment was tested. MBSE [7,8], suitable for homologation according to the The elicitation of safety requirements with a direct link to the standards of civil aircrafts [2]. The development of this FTA and FMEA used to quantify the risk of failure was performed. The software tools which can be interoperated for analysis basically deals with an integration between the usual those tasks were tested. As a result, the integration between the functional analysis performed in SE and the dysfunctional two above mentioned analyses looks fairly easy. In fact, further analysis used in safety engineering to quantify and prevent the efforts are required to make fully interoperable the tools risk of failure [10]. As an example the fuel system of a civil currently available to perform this activity and to include the aircraft with two engines for 90 passengers equipped with an human interaction with the analyzed system. Auxiliary Power Unit (APU) will be described. As it is known the fuel system is required to be highly reliable, to suitably Keywords—Model Based Systems Engineering, Machine perform in all of operating conditions foreseen by the aircraft Design, Numerical methods, Functional Analysis, Risk analysis, design [11,12,13]. In addition its configuration must fit some System reliability and safety. requirements about the weight, cost and performance in service, as well as those of maintainability and availability. I. INTRODUCTION A main goal of the Model Based Systems Engineering II. SAFETY ANALYSIS AND DESIGN (MBSE) is the safety assurance in critical systems. To be The aim of safety analysis in design is that of defining assumed as a main reference for the design, the MBSE needs suitable requirements to be fitted to comply with the needs of to be fully integrated with the tools of the Safety engineering. conformity to the manufacturer’s practice, technical standards Aeronautics is a typical application of safety critical systems and directives, homologation items and tests. The whole with an increasing complexity, associated to the number of process to perform the safety analysis is described by the subsystems connected, of functions exploited and of interfaces ARP4761. In practice, the aircraft functions and those of its [1]. A bright integration among subsystems and components is systems should assure a risk degree compatible with the strictly required to assure a suitable level of safety and to norms. The main activities are described in Fig.1. The safety comply with the homologation of the aircraft product [2]. It is analysis can be integrated within the MBSE approach, for known that the high level of complexity generally might instance by associating the above mentioned activities to the increase the risk of failure, without a suitable prevention and a steps defined by the V–model, as the ARP4754A states careful reliability assessment. Those motivations led to the (Fig.2). requirements expressed by the Recommended Practices ARP4754/ED-79 [3] and ARP4761 [4]. They define a process A key issue of this analysis is the so–called FHA to provide all the relevant information to certify the safety of (Functional Hazard Analysis), which was performed in the test complex and highly integrated aeronautic systems. case first at the aircraft level, then applied to the fuel system. Nevertheless, daily practice demonstrated that processes and According to the FHA, for each system function, failure definitions of those standards led to several interpretations and modes, severity and risk associated are explored [14]. Obviously the safety targets are defined by fixing the degree of severity and risk compatible with a safe operation as in III. FUNCTIONAL HAZARD ANALYSIS other similar safety critical systems [15,16]. Once that all the As the FHA is performed, all the failure modes of the requirements could be allocated to the system functions, and system functions are identified. Failure conditions are these are associated to subsystems and components, the FHA evaluated for both single and multiple events, in normal and has to be performed for all of those. If the MBSE is applied degraded environment. Effects of failures are then defined and this activity looks fairly easy. A preliminary functional classified. Some requirements to be associated to the failure analysis is performed thus identifying use cases, stakeholders, conditions are then defined and their coverage in allocation is functions and architecture of the designed system. Then a finally checked. In the test case, the FHA at the aircraft level dysfunctional analysis can be run, thus allowing a critical was provided as an input of the modeling of the fuel system. review of all the eventual failure modes. It might be noticed Functions included were mainly referenced to the ARP 4754. that this approach provides a clear outline to proceed Many of those may affect the behavior of the fuel system. straightforward, particularly during the concept design Among all, for instance, the thrust, self-piloting, data activity. Safety analysis is performed fairly fast through the monitoring and recording, electric power, internal and external FHA and is easily documented. connections and energy conversion were analyzed. For each function, four states were considered in failure condition. A severe failure occurs in case of total or partial loss of the function, while less dangerous is considered an error signal. Moreover, a function might be performed too early or too late. In addition, failure might be either detected or not. Once that the failure modes are defined, a relevant task is investigating the severity of effects. This activity might be very difficult, since associating a too severe consequence to a dysfunction might turn out into a stringent requirement, as well as under evaluating the severity of a failure might affect the overall safety of the system. This difficulty could be overcome through the System Engineering. It provides the functional analysis, puts in evidence the stakeholders and the use cases and allows tracing the effect of a failure through the product development from the constructed part to the corresponding function and requirement. The FHA was formalized in the test case to be integrated with the MBSE approach. Some degrees of severity of the failure modes were set up. They were evaluated by considering in sequence the absolute safety of system, its operational capability, effects on the crew, effects on passengers. Catastrophic is the dysfunction preventing continued safe flight and landing, thus leading to the death of Fig. 1. Main contents and tools of the safety analysis performed in humans, inhibiting some important operational capability or aeronautical engineering (from ARP 4761)[4]. causing even injuries to crew to be urgently treated. Hazardous is each event decreasing significantly the safety margins, increasing the amount of work produced by the system or affecting a number of other functions, or even strongly tiring the crew or causing injuries not requiring an immediate treatment for the occupants. A major dysfunction for the aircraft allows it cruising and landing safely and significantly increases the work of crew. Less relevant dysfunctions might be classified either as minor or irrelevant, depending on the appreciable reduction of safety margins. TABLE I. SAFETY TARGETS AND REQUIREMENTS Degree Probability per flight hour Catastrophic < 10-9 Hazardous 10-9< x < 10-7 Major 10-7< x < 10-5 Fig. 2. Integration of the tasks of safety analysis within the V-diagram of the Systems Engineering (from ARP 4754A) [3]. Minor 10-5< x < 10-3 Irrelevant (no effect) 10-3 < To complete the FHA the probability of occurrence was suitable to be compatible with the tradition of the aeronautical associated to each degree of severity of failure (Tab.1). This domain and to describe the dysfunctions, since it was action immediately allowed writing the corresponding safety sufficient negating the operations defined in the sequence requirements. diagrams to create several dysfunctional behaviors. Some critical issues in the proposed architecture were IV. REQUIREMENT ANALYSIS detected thanks to the dysfunctional analysis, which helped in The elicitation of requirements for the fuel system in the updating the Functional Breakdown Analysis of the fuel test case was driven by two parallel set of needs. Safety system. requirements were directly derived from the results of the FHA applied to the aircraft first, then on the system. A. Use cases Functional requirements were found by means of the When a safety analysis is integrated with the functional functional analysis performed in IBM Rhapsody®. It is analysis of the system, a more general interpretation of the use worthy noticing that some goals were assumed as needs: case is applied. Instead of only a goal to be achieved by the redundancy of critical functions, automatic monitoring with system, which usually involves as a stakeholder more the warning capabilities, location of commands preventing any users than other subsystems, a use case might be even accidental activation, double signal transmission. The considered an action performed by the stakeholder, without a requirement analysis was performed by following the standard specific request. As an example, the engines feeding (Fig. 3) IEEE 1220 [17]. Therefore, their attributes are specific, might be seen a logic action operated simply by changing measurable, suitable, feasible and traceable, as is required by some parameters in the FCU (Fuel Control Unit) [21]. that standard. Additional requirements were written to fit the However, this interpretation makes the engine a sort of a standard ASD S 1000 D (former ATA 100) [18]. To digitalize shadow stakeholder, poorly considered in the dysfunctional those requirements the IBM Rational DOORS® tool was used. analysis. If the engine is considered as a regular stakeholder, all of functions, connections, errors are activated and V. FUNCTIONAL ANALYSIS dysfunctional paths can be easily defined. In the test case, for Typical diagrams of the System Modeling Language instance, the fuel storage performed by the tank, according to (SysML) were drawn to perform the functional and the SE literature, cannot be assumed as function since the tank operational analysis of the system [19]. As a matter of fact, in does not require to the system to be filled nor the system the test case which includes several material components to be requires to store the fuel. Therefore, the tank is a sort of either assembled or connected to constitute the system, some service, poorly compatible with the role of stakeholder. questionable issues were found in the MBSE as is known in However, if it is assumed to be a component of the fuel the literature. For instance, the sequence of diagrams and their system, whose use case is store the fuel, in case of topology might have an impact on a straight implementation permeability of the tank structure dysfunction of fuel loss can of the approach. According to the Harmony© approach be foreseen and analyzed. proposed by IBM [20] and widely used to run the Rhapsody® tool, functional analysis can be performed by following some Fuel System Boundary Box Physical subsystem alternate paths. Person Feed LH Provided that a preliminary definition of requirement engine diagrams is performed and behavioral diagrams (use cases, activity, sequence, state machine) are drawn before the FCU architectural diagrams, including block (BBD) and internal Cockpit Feed LH engine with RH fuel Store fuel crew black diagrams (IBD), respectively, to perform the functional analysis, after the use cases, sequences, activities and IBD together with the state machine diagrams can be used. Shut-off LH engine feed Alternatively, activities can be drawn before the sequences or even the state machine diagram can be used to derive the other ones. This choice is up to the user, but effectiveness of the software implementation changes as it might change the impact of the proposed MBSE approach on the existing practices of the technical domain. Fig. 3. Use case diagram, with special operational use case highlighted. In the test case, the fuel system was easily described by As it could be remarked in the test case, safety analysis resorting to the use cases and the sequences of actions affects the definition of the use cases. This happened for the performed in operation, thus allowing a natural derivation of heating control. It was found after a preliminary elicitation of activities and states. Some use cases were dedicated to a requirements that a control of the temperature of the stored dysfunctional behavior, according to the FHA, by fuel is required and temperature cannot be below a define implementing the approach described in Fig.2. It was threshold in operation, to assure a prompt use. The hydraulic remarked that many requirements could be assessed and system plays the role of stakeholder in the heat exchange, refined and others added by completing this task. Moreover, since it provides the required amount of heat to the fuel tank. the path followed in drawing the diagrams looked the most This refinement was added after identifying a critical issue in the dysfunctional analysis of the fuel system. As usual, the they can be used for both the functional and dysfunctional functional analysis was performed in IBM Rhapsody® by analyses. An example of negation of a function is shown in resorting to the connection between IBM DOORS® and Fig.4. Moreover, in the test case it was demonstrated that a Rhapsody® through the existing gateway, which assures a preliminary set-up of functional sequence diagrams allows synchronization of contents. identifying all the critical issues for an eventual dysfunction, thus driving the dysfunctional analysis. A difference between B. Use cases realization a functional and dysfunctional sequence diagram is that to The realization of use cases is aimed at investigating the describe a dysfunction often it is required to resort to several system behavior case by case and at identifying the functions additional details or links and some more functions. They exploited. This task is usually based on the sequence increase the nodes of possible failure in the related diagrams, which highlight the functions performed and the architecture of the system, which have to be enclosed inside stakeholders involved in each one. It is worthy noticing that the FHA. «Person» «F unction,Block » «Block ,Function» «Function,Block » «Function,Block » «Exter nal,Function,Block » Groundcrew ENV Fuel quantity Sensing detection Fuel storage Tanks venting ENV Refuel flow indication supplier opt [Refuel_flow_supplier_connected_to_tanks_filler_points] Start_refuel_flow() Refuel_flow Fuel_level No_fuel_level_measure Nominal gravity refuel flow- pressure characteristic. Stop_refuel_flow() Refuel_flow Gravity refuel flow = 0 Fig. 4. Dysfunctional scenario related to a lack of measurement of the fuel level during a feed by gravity Sys tem_command Information_noti fication Sensing_detection Fuel_quantity_indication Fuel_storage Tanks_venti ng Tanks_refuelling Groundc rew Reques t refuel Groundc rew Refuel Notify refuel is not allowed [R efuel==A LLOWED] [R efuel==NOT A LLOWED] A llow refuel flow Detec t if fuel flow is allowed Groundc rew Notify if refuel flow is allowed Rec eive refuel flow S tore refuel flow Meas ure fuel level Groundc rew [available] FUE L LE VE L Notify fuel [not available] level [NO] Fuel leakages [YES] ENV P rovide air venting [els e] FUE L LE VE L [FUEL LEV EL==T A R GET FUEL LEV EL/FUEL LEV EL==M AX FUEL LEV EL] Groundc rew ENV [failed] [groundcrew not aware of failure] Reques t s top refuel High level detection Protec t tanks from flow spillage [els e] Not allow refuel flow Detec t if fuel flow is not allowed Notify if refuel flow is not allowed Groundc rew Fig. 5. Activity diagram used for the dysfunctional analysis of the system. B. Logical architecture C. Activities and swimlanes The system operation can be preliminarily described by Activity diagrams were then drawn to complete the the logical architecture of the system. It allows the transition description of the system behavior. Action flows are there between the functional and the physical modeling of the shown, thus allowing immediately to identify a dysfunction system. Usually physical blocks are there not yet wherever the flow is stopped (Fig.5). The role of each represented, while the allocation of system functions to function or capability can be easily highlighted and further logical blocks, which will be then allocated to subsystems, analyzed in this diagram by resorting to the columns, thus components and parts in a next step (Fig.7), is described. A describing the so–called “swimlanes”. The connection with logical block is used to identify the relation between a stakeholders can be represented as well. certain operational task and the components of the system 1 «Function,Block» Fuel storage 1 1 1 involved. Each logical block is already an active entity like 1 1 1 1 a device, no more a pure function, not yet a real component. «Block,Function» Fuel supply to engines «Block,Function» Cross-feed In practice a preliminary layout of the system architecture is 1 1 1 1 drawn, without forcing the designer to select the «Block,Function» corresponding components. The logical architecture can be 1 Fue l supply t o APU 1 also helpful to provide a preliminary system breakdown 1 suitable for the first allocation of the reliability of the system, whilst the real prediction will be performed thanks «Function,Block» Tanks refuel ling 1 1 1 to the Product Breakdown Structure (PBS), as described in «Block,Function» Fuel Sys tem Functions 1 1 «Function,Block» Tanks defuel ling Section VI.C. 1 «Function,Block» Tanks drainage 1 1 «Function,Block» «Function,Block» Tanks venting Tanks pressurisation 1 1 «Block,Function» «Block,Function» 1 1 Sys tem control, monitoring, actuation Sys tem actuation 1 1 1 1 1 1 «Function,Block» Fuel quantity indi cation «Block,Function» Sensing detection «Block,Function» 1 Heat exchange 1 1 1 1 «Function,Block» «Block,Function» Fuel low level warning Inf ormation notif icati on 1 1 1 1 «Block,Function» «Block,Function» Sys tem command Fuel temperature indication 1 1 «Block,Function» Prognos tic 1 Fig. 6. Functional breakdown structure of the system. Fig. 7. Logical blocks of the system. VI. PRODUCT DESIGN A. Functional breakdown structure C. Product breakdown structure According to the MBSE to avoid a pure repetition of the Once that the FBS and the logical blocks could be layouts already applied in a previous version of the product, enriched according to results of the dysfunctional analysis, a a good practice consists of dividing the architecture preliminary Product Breakdown Structure (PBS) can be definition into three steps. Functions to be required to the drawn as in Fig.8. It includes some new components system can be suitably defined by a breakdown structure introduced into the FBS and fits the requirements of and then instantiated into a logical architecture, being allocation of the logical blocks description. Each physical different from the real architecture since for each function block might allocate several logical blocks, while a logical only a generic device or subsystem capable to perform it is block must be allocated uniquely on a physical one. This included instead of the real and material component, which criterion allows reducing the number of components used, will contribute to compose the system assembly. In the test the failure modes and the system complexity. It is worthy case it was realized that the Functional Breakdown Structure noticing that this approach fails in case of required (FBS) might be enriched if the functional analysis is redundancy of the system. From this point of view if the performed in parallel with the dysfunctional one. In safety analysis drives towards the application of a particular, control functions were detailed, as is shown in redundancy, the allocation between function, logical block Fig.6. and physical blocks might be affected. In the test case it was found that, according to the standards ATA some components were necessarily added (Fig.8). Moreover, some safety requirements might suggest to introduce maximum level in each tank is reached, then the refueling additional components, like in test case it was the heat valve automatically is closed. A backup system was added, exchanger for the heat transfer between the hydraulic and in case the main control of fuel level does not suitably work. the fuel system. It consists of a sensor, being applied to the roof of each tank. It assures that a warning is sent to the operators and the pilot when the tank is full and that refueling is stopped. It might be remarked that a panel is applied close to the refueling connector to allow the ground operator monitoring the state of each valve, even in case of feeding by gravity. If an emergency landing is decided, refueling system is used to control to open the valves through a dedicated depressurizing device operating at 0,77 bar. A venting circuit assures that pressure be always positive during the whole mission profile. Each tank is pressurized through a venting valve connected to another one located at the end of the corresponding wing. This one is connected to the external environment through an air intake NACA, designed against the risk of ice accretion. The venting circuit is used even to prevent any risk associated to an accidental spill-out of fuel during the refueling operation. The upper part of the fuselage includes an empty and pressurized room, connected to the cross- feeding circuit of the fuel system which allows controlling the steam present inside the system. Fig. 8. Portion of the Product breakdown structure of the system with additional blocks. A control system manages the fuel stored on the aircraft. A set of six sensors in each tank allows monitoring the fuel level in each tank. Their measurements are elaborated and D. System architecture displayed to the pilots. Additional magnetic sensors assure The above mentioned rationale led in the test case to monitoring the fuel level even on ground. Temperature of define the overall architecture of the fuel system. According the fuel system is always monitored and shown to the crew. to the ATA standards three subsystems were introduced. A A typical warning is activated when pressure in jet pumps is fuel storage, a fuel feeding, a fuel monitoring and lower than 300 mbar, to indicate the lack of fuel or a failure management. occurring to the pumps. A preliminary system layout was proposed, including two tanks, located inside the wings, each one capable of VII. FUNCTIONAL HAZARD ANALYSIS (FHA) storing 3185 l (approximately 2500 kg) and accessible from Previous definition of the fuel system layout was the upper surface of each wing through two gates. In regular performed through a functional analysis based on the MBSE service each engine shall receive the fuel from the nearest approach. However, as is clearly remarked by the number of tank. To prevent any problem in case lack of gravity, each redundant devices foreseen in the proposed architecture, tank is equipped with a small fuel reservoir of about 200 l especially sensors, this system looks highly safety critical. It (feeder compartment), always full and connected to an means that functional analysis might be incomplete and electric pump and to a jet pump. The first one is used during somehow unsuitable to detect all the risks associated to its the engine start-up operation, then the jet pumps are operation and to refine both the list of requirements and the automatically activated. The electric pumps automatically system layout. As it was previously described a are switched on when pressure of fuel goes below 350 mbar, dysfunctional analysis is associated to the functional one to thus assuring the fuel feeding. A cross-feed valve, being perform a deeper investigation and to complete the trade-off controlled by an electromechanical actuator, allows feeding of the system layout. the fuel to both the engines, through the same pump, in case of emergency, or to connect the right engine to the left The so-called Functional Hazard Analysis already pump and vice versa. A second valve is applied to each performed at aircraft level (as in section 2.1) was developed tank, to stop the fuel feeding and to prevent the risk of fire. for the fuel system. This action needs some preliminary If the minimum amount of fuel of 160 kg is detected in one activities: tank, the related electric pump automatically starts. Some • system functions should be clearly defined as in the heat exchangers allow keeping the temperature of fuel under Functional Breakdown Structure (FBS); control and transferring the heat to the hydraulic system. • interfaces with the operational environment should be Re-fueling on ground is operated through a main known, as in the Use Case diagram; connector, located just close to a landing gear. A piping system distributes the fuel through the aircraft, until that the • functions of the super-system should be evenly known, The FHA allows deriving the safety requirements for the i.e. in this case those of the whole aircraft; system. Failure modes simultaneously are the high level failure condition to start the derivation of the Fault Tree • related failure modes and conditions of the super-system Analysis (FTA) [10,22], as in Fig. 10. should be already explored and detected through the FHA of the whole system, i.e. the aircraft; VIII. SYSTEM SAFETY ASSESSMENT (SSA) • system requirements should be defined and listed as in Once that the dysfunctional analysis is ready, as it happens requirements list and diagrams, respectively. in case of the heterogeneous simulation for the prediction of the dynamic behavior of system after the functional, for instance, an interoperation with the System Safety Assessment (SSA) is performed, to enable a verification of the safety requirements. The SSA consists of a systematic analysis of the architecture to link all the dysfunctions previously identified by the FHA to safety requirements. This activity needs a preliminary verification plan, based on the severity of each failure as the ARP4761 describes. In particular, in this work it was done by following some criteria as: the function type, its severity, the flight step in which the failure occurs and the complexity of the subsystem or component analyzed. According to that approach, it is relevant resorting to the classification of degrees described in Table 1. Dangerous and catastrophic events are usually more deeply analyzed. A. FTA Each failure condition detected by the FHA leads to Fig. 9. Sketch of a typical layout of a fuel system similar to that forseen in verify the corresponding safety requirements. To perform the test case for a civil aircraft for regional connections. this activity, the FTA is used. Starting from a main failure event, all the related failures are detected through the connections present inside the system and the interfaces according to a sort of "top-down" screening as in Fig.10. This analysis resorts to the hierarchic structure of the system. Therefore, the functional and dysfunctional analyses performed through the BBD and IBD immediately support this action. In case of the explosion of a tank, for instance, it could be possible detecting the tree of faults easily by considering the use cases and the proposed system architecture. B. FMECA A quantitative evaluation of risk is possible when the Fig. 10. Example of FTA for a failure event of tank esplosion. cause and effects analysis is performed, by creating the homonymous FMEA (Failure Mode and Effect Analysis) A main benefit of the MBSE applied to the test case was [10]. To introduce some metrics inside the FTA, failure that FHA naturally flows if one looks at the FBS as well as rates have to be identified, component by component, as at the other SysML diagrams previously drawn, especially well as their reliability. If one assumes that those values are to identify the system functions and interfaces. Practically, it constant over time, at least in this step of the analysis, a was sufficient negating the actions foreseen in sequence and FMEA report can be linked to the functional model and then activity diagrams. Moreover, safety engineering procedures used to fit requirements of the ARP4761. Relevant inputs can be easily performed by all of involved operators since are the component identification number and name, the the models are shared through a platform among all. From failure modes foreseen, a description of effects, tools to the point of view of scenarios and missions starting from the detect the failure, to measure their severity and to repair, use cases, linking each failure condition to a specific and when possible. known flight phase helps a lot. Designer should avoid Once that the FMEA is completed, failure rates can be detailing too much in this activity the contents of the FHA, easily derived by looking at the FTA. Moreover, there is a as it could be easily the case, because of the availability of time of exposure to the detected risk. In the test case, for those functional diagrams. many components it simply corresponds to the time of flight, since this subsystem is highly critical, the failures severe and the consequences mainly dangerous or even mistakes in operation, i.e., upon including humans in the catastrophic. In some cases other values were set up, model, or even of multiple failures simultaneously according to the literature herein indicated. The occurring. interoperability in this case is played with the software used to define the above mentioned values, i.e. the RAM- COMMANDER®. Each FTA allows computing the Acknowledgment probability of failure associated to the main event at the top, This work was funded by the ARTEMIS Joint through the Boolean algebraic function described by the Undertaking under Grant Agreement N° 332830. tree. It might be considered that those approaches can benefit References of other currently developed within the frame of computer [1] E. Brusa, A. Calà, S. Chiesa, F. De Vita, D. Ferretto, “Towards an science and information technology. Even in this field a full effective interoperability of models within the 'Systems Engineering' interoperability of tools is looked for. Some examples of applied to aeronautics”, in Proc. INCOSE Conf. on Systems reliability analysis linked to a system dynamic behavior was Engineering (CIISE 2014), Rome, Italy, November 24-25, 2014, already proposed by resorting to Modelica® as a tool for a pp.38–47, CEUR Workshop Proceedings, ISSN–1613–0073. full safety analysis [24]. Moreover, structured reliability [2] Federal Aviation Admnistration (FAA), Advisory Circular, System analysis and safety assurance processes are currently Safety Analysis and Assessment for Part 23 Airplanes, AC 23.1309- 1E (11/17/2011), ACE-100 developed and tested to be used in connection with the [3] SAE Aerospace , ARP4754: Certification Considerations for Highly- MBSE and related tools. They could be integrated with the Integrated or Complex Aircraft Systems, SAE Systems Integration process above described, to enrich and complete the tool Requirements Task Group AS-1C, ASD., REV. A, Society of chain and create a suitable platform to support the overall Automotive Engineers, Inc., 2010 system development [25]. [4] SAE Aerospace, ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment, U.S.A.,SAE Committee S-18, Society of Automotive IX. CONCLUSION AND FUTURE WORK Engineers, Inc., 1996 A challenging issue to demonstrate the effectiveness of [5] A. Mitschke, E. Brusa, A. Calà, D. Ferretto, C. Pessa, G. Bachelor, the Model Based Systems Engineering in developing and “Heterogeneous simulation based on standards: deepening interoperability in trade-off analysis approach for aeronautical integrating mechanical and aeronautical systems is using its application”, Proc. 23rd Conf. Italian Ass. of Aeronautics and tools to enhance the elicitation and the verification of safety Astronautics, AIDAA 2015, 17-19 November 2015, Torino. requirements. Actually the analyzed test case of the fuel [6] E. Brusa, A. Calà “Identifying the Smartness of a Mechatronic Coiler system for a civil aircraft demonstrated that coverage and through the 'Systems Engineering'”, Proc. INCOSE Conf. on Systems traceability of requirements can be greatly improved by Engineering (CIISE 2014), Rome, Italy, November 24-25, 2014, using the MBSE. Safety engineering basically needs a clear pp.116–125, CEUR Workshop Proceedings, ISSN–1613–0073. definition of functions, interfaces and hierarchies in the [7] D. Walden, G.J. Roedler, K. Forsberg, R. D. Hamelin, T. Shortell, INCOSE Systems Engineering Handbook v.4, INCOSE-TP-2003- system layout to proceed with a straight evaluation of failure 002-04, 2015. modes and their propagation in terms of effects upon the [8] NASA, NASA System Safety Handbook, 2 vv., Washington D.C., whole system. Functional modeling allows developing a National Aeronautics and Space Administration, 2014 dysfunctional analysis, which helps in detecting the failure [9] E. Brusa, A. Calà, D. Ferretto, “Integration of heterogeneous modes and defining the corresponding safety requirements. functional-vs-physical simulation within the industrial system design A key activity is the Functional Hazard Analysis, which activity”, IEEE Int. Symposium on Systems Engineering, Rome, might easily be performed by following the information September 29–30, 2015, ISBN: 978-1-4799-1919-2, pp.303-310. described by the behavioral and architectural diagrams of [10] S. Chiesa, Affidabilità, sicurezza e manutenzione nel progetto dei the MBSE. Moreover, safety analysis requires a quantitative sistemi, Torino: CLUT Editrice, 2008. prediction of risk and of the related probability of [11] S. Chiesa, Impianti di bordo per aeromobili: impianto combustibile, Torino: CLUT Editrice, 1994. occurrence. In this second step of the activity it might be noticed that FTA and FMEA are supported by the MBSE, [12] I.G.Medvešek, T. Perić, J. Šoda, Fault Tree Analysis in the Reliability of Heavy Fuel Oil Supply, 2014. never substituted, although functional modeling allows [13] S. Quilty, Overview of Airport Fueling Operations, Washington, D. deriving fairly easily the contents of those analyses. A better C., Transportation Reserach Board, 2015. correlation between the FHA of the whole aircraft and of the [14] T.P. Kelly, P.J. Wilkinson, “Functional Hazard Analysis for highly fuel system was even found. Critical issues at the interface integrated aerospace sytems”, in Certification of ground/air Systems between those two systems could be even detected. As a seminars, IEE, 255, 1998. matter of facts, the designed fuel system demonstrated to be [15] K.J. Hayhurst, J.M. Maddalon, P.S. Miner, G.N. Szatkowski, M.L. capable of feeding the required amount of fuel along a Ulrey, M.P. DeWalt, C.R. Spitzer, Preliminary Considerations for complete flight mission, for given pressure, temperature, Classifying Hazards of Unmanned Aircraft Systems, Hampton, Virginia, NASA TM-2007-214539, L-19299, 2007. altitude and scenario. Fuel level is continuously monitored [16] TEC-DOC, IAEA, Component reliability data for use in probabilistic [23] and fuel heating suitably controlled by heat exchangers. safety assessment, Vienna: International Atomic Energy Agency, Interoperation between functional models, FMEA and FTA October 1988. looks possible and effective, although a corresponding [17] T. Doran, “IEEE 1220 for practical Systems Engineering”, Computer, interoperation of related software has to be further tested. A 39:5,2006. future work could be focused on the effect of human [18] ASD – AIA – ATA, International specification for technical publications using a common source database, S1000D, 2007. [19] J. Holt, S. Perry, SysML for Systems Engineering, London: The Institution of Engineering and Technology, 2008. [20] H. Hoffmann, Systems Engineering Best Practices with the Rational Solution for Systems and Software Engineering Deskbook, Release 4.1, U.S.A, IBM Corporation, 2011 [21] Wang XiaoYang, “Aircraft Fuel System Prognostics and Health Management”, Master thesis, University of Cranfield, 2012. [22] U.S. Nuclear Regulatory Commission, Fault Tree Handbook, Washington, D.C., 1981. [23] C. Pessa, M. Cifaldi, E. Brusa, D. Ferretto, K. Malgieri, N. Viola, “Integration of different MBSE approaches within the design of a control maintenance system applied to the aircraft fuel system”, in Proc. IEEE Int. Symposium on Systems Engineering, Edinburgh, October 4–5, 2016. [24] L. Rogovchenko-Buffoni, A. Tundis, M.Z. Hossain, M. Nyberg, P. Fritzson, “An integrated toolchain for model based functional safety analysis”, J. Computational Science, Vol. 5, Issue 3, May 2014, pp.408–414. [25] A. Garro and A. Tundis, “On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions”, IEEE Systems Journal, Vol. 9, issue 1, pp.232-241, March 2015; doi: 10.1109/JSYST.2014.2321617.