header

Tcas : A module of an on-board aircraft conflict detection and resolution system used by commercial aircraft.
Tag:
Edit edit   Starstar

Program Information

Name: Tcas
Domain: Algorithm
Functionality: A module of an on-board aircraft conflict detection and resolution system used by commercial aircraft.
Input:
     T(High_Confidence, Own_Tracked_Alt_Rate, Cur_Vertical_Sep, Other_Capability, Two_Of_Three_Report_Valid, Other_RAC, Climb_Inhibit, Up_Separation, Down_Seperation, Other_Tracked_Alt, Positive_RA_Alt_Thresh, Alt_Layer_Value,): 12 integer parameters, including the altitudes of the controlled aircraft and the intruder aircraft, etc (Type: Integer)
Output:

Reference

     Metamorphic slice: An application in spectrum-based fault localization http://dx.doi.org/10.1016/j.infsof.2012.08.008

MR Information


MR1


    Source input: $T_s$ ; Source output: $O_s$
    Follow-up input: $T_f$ ; Follow-up output: $O_f$
    Input relation: $T_f$ = Modification in Own_Tracked_Alt and Other_Tracke-d_Alt of $T_s$
    Output relation: $O_f = O_s$

MR2


    Source input: $T_s$ ; Source output: $O_s$
    Follow-up input: $T_f$ ; Follow-up output: $O_f$
    Input relation: $T_f$ =Modification in Up_Separation and Down_Separation of $T_s$
    Output relation: $O_f = O_s$

MR3


    Source input: $T_s$ ; Source output: $O_s$
    Follow-up input: $T_f$ ; Follow-up output: $O_f$
    Input relation: $T_f$ = Modification in Alt_Layer_Value of $T_s$
    Output relation: $O_f = O_s$

Related

Insert title here