sig
  val get_period : Aadl_ast.component -> int
  type dispatch_protocol = Periodic | Aperiodic | Sporadic | Backgroud
  val get_dispatch_protocol :
    Aadl_ast.component -> Property.dispatch_protocol
  val get_compute_execution_time :
    Aadl_ast.component -> Ident.integer * Ident.integer
  val get_processor_binding :
    Aadl_ast.component -> (Ident.t * (Ident.t * Ident.t)) list
  type access_mode = Read | Write | ReadWrite | ByMethod
  val get_provided_access_mode :
    Aadl_ast.property list -> Property.access_mode
  val get_required_access_mode :
    Aadl_ast.property list -> Property.access_mode
end