Newer
Older
/**
* @author ETSI / STF421
* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/branches/splitCalm/CALM/LibIts_TestSystem.ttcn $
* $Id: LibIts_TestSystem.ttcn 419 2012-03-12 13:17:27Z reinaortega $
* @desc Test System module for ITS
*
*/
module LibItsDcc_TestSystem {
// LibCommon
import from LibCommon_Time {modulepar all;}
import from LibCommon_Sync all;
// LibIts
import from LibItsCommon_TypesAndValues all;
import from LibItsCommon_TestSystem all;
group adapterInterface {
group portDefinitions {
/**
* @desc Upper Tester port
*/
type port UpperTesterPort message {
out
} // end UpperTesterPort
} // end portDefinitions
group interfaceComponents {
} // End of group interfaceComponents
group interfacePorts {
/**
* @desc IN Port used to trigger events at the access layer and to monitor the results
*/
type port InPort message {
in InSta;
out InReq;
} // End of port InPort
} // End of group interfacePorts
group componentDefinitions {
/**
* @desc ITS System Adapter
*/
type component ItsDccSystem {
port UpperTesterPort utPort;
port InPort inPort;
} // End of component ItsDccSystem
/**
*/
type component ItsDcc extends ItsBaseComponent {
port UpperTesterPort utPort;
// IN ports
port InPort inPort;
//timers
//component variables
//default
var default vc_default := null;
//global variables
} // End of component ItsDcc
} // End of group componentDefinitions
group upperTester {
/**
* @desc Upper Tester message to initialize IUT
*/
type union UtInitialize {
}
/**
* @desc Upper Tester message to trigger an action on IUT
*/
type record UtTrigger {
}
/**
* @desc Upper Tester message describing an action/event
*/
type union UtCommandIndication {
}
/**
* @desc Upper Tester response message
*/
type boolean UtResult;
} // End of group upper tester
with {
encode "LibIts_Interface"
} // End of group interfacePrimitives
} // End of module LibItsDtt_TestSystem