Abstract: A system for tracing members of an animal population throughout a process including moving at least some of the members between a plurality of physically separate locations, the system comprising: a plurality of identification devices, each being attached to, and uniquely identifying, a respective member of the members; a plurality of identification device readers, each capable of being located at a respective physically separate location of the physically separate locations, and each capable of reading the identification devices to uniquely identify the respective member; a data repository comprising one or more records, each of the records (i) being associated with a respective member of the members, and (ii) including a unique animal identifier associated with the identification device attached to the respective member of the members; and a processing circuitry configured to perform a process for storing location change records indicative of location changes of the members during the process.

Abstract: A system for determining a welfare of an animal population, the system comprising: one or more monitoring devices configured to monitor parameters of members of the animal population; a data repository comprising one or more records, each of the records (i) being associated with a respective member of the members, and (ii) including one or more parameters of the respective member as monitored by at least one of the monitoring devices over time; and a processing circuitry configured to calculate a welfare score of the animal population based on the at least two of: (a) health scores calculated for at least some of the members, (b) natural living scores calculated for at least some of the members, or (c) affectivity/happiness scores calculated for at least some of the members.

Abstract: A system for tracing members of an animal population throughout a process including moving at least some of the members between a plurality of physically separate locations, the system comprising: a plurality of identification devices, each being attached to, and uniquely identifying, a respective member of the members; a plurality of identification device readers, each capable of being located at a respective physically separate location of the physically separate locations, and each capable of reading the identification devices to uniquely identify the respective member; a data repository comprising one or more records, each of the records (i) being associated with a respective member of the members, and (ii) including a unique animal identifier associated with the identification device attached to the respective member of the members; and a processing circuitry configured to perform a process for storing location change records indicative of location changes of the members during the process.

Abstract: There is provided in accordance with embodiments of the present invention a method and a system for testing and verifying a requirements specification of a system comprising describing the requirements specification in a REQUIREMENTS ENGINEERING LANGUAGE (REL), simulating an execution of a scenario of the REL, and identifying logical faults in said requirements specification based on said simulating. Accordingly, the system for testing and verifying of requirements specification of a system comprising a modeling and testing component to build a model of the requirements specification, and a dynamic testing component to test the requirements specification by execution of at least one simulation cycle.