[1] LI Y WU Q M ZHOU C.Representation of parameter association structure for generalized modular by directed graph［J］.Computer Integrated Manufacturing Systems 2009 15(12):2312-2318.

[2] FANG S L SHEN Z H.Parameters transfer structure for complicated product variant design［J］.Computer Integrated Manufacturing Systems,2006,12(12):1934-1938.

[3] SCHULZ M ZERBE V YANG K et al.Optimization of avionic system architectures［J］.CEAS Aeronaut Journal,2011,2:289-294.

[4] LU H H ZHANG S Y WANG Y S et al.System of systems method and formal function decomposition for software systems［J］.Journal on Communications 2010 31(12):131-139.

[5] LI G X WU J Z ZHANG M et al.Approach to product mdular dsign bsed on FPBS［J］.Journal of National University of Defense Technology,2009,31(5):75-80.

[6] WANG Y L.System engineering［M］.4th ed.Beijing:China Machine Press 2011: 23-30.

[7] CHEN K LI C X.Research on the Fault localization based on directional graphic of fault propagation［J］.Process Automation Instrumentation 2011 32(4):14-17.

[8] CARCENAC F BONIOL F.A formal framework for veri-fying distributed embedded systems based on abstraction methods［J］.International Journal on Software Tools for Technology Transfer,2006,8(6):471-484.

[9] SHEIKH A A BRUN O HLADIK P E et al.Strictly periodic scheduling in IMA-based architectures［J］.Real-Time Systems 2012 48(4):359-386.

[10] GUO Z J.C language realization of warshall algorithm［J］.Journal of Changsha University 2008 22(5):69-71.