An electronic device , comprising: a GNSS receiver configured to receive a satellite signal transmitted by at least one positioning satellite and generate first information indicating a receiving state of the satellite signal; an atmospheric pressure sensor configured to generate second information that changes according to a height of a position of the electronic device ; and a specification unit configured to determine if a user of the electronic device is positioned in a predetermined area and to execute a specification process in which state specification, for specifying that the user of the electronic device is on a pedestrian overpass , is performed based on the first information and the second information, wherein the specification process is performed if it is determined that the user is positioned in a predetermined area; when determined that the height has increased and the receiving state is stable based on the first information and the second information, the specification unit is configured to determine that the user is on the pedestrian overpass , characterised in that wherein the first information includes a first value which becomes greater as the receiving state improves, and when an absolute value of a difference between the first value obtained at a first timing, and the first value obtained at a second timing later than the first timing is smaller than a first threshold value, the first timing corresponding to an increase in the height as indicated by the second information, the specification unit is configured to determine that the user is on the pedestrian overpass , and the positioning satellite is a plurality of satellites, and wherein the first value is represented by a number of the plurality of satellites captured by the receiver , or the first value is represented by a carrier power/noise power "C/N" value. a GNSS receiver configured to receive a satellite signal transmitted by at least one positioning satellite and generate first information indicating a receiving state of the satellite signal; an atmospheric pressure sensor configured to generate second information that changes according to a height of a position of the electronic device ; and a specification unit configured to determine if a user of the electronic device is positioned in a predetermined area and to execute a specification process in which state specification, for specifying that the user of the electronic device is on a pedestrian overpass , is performed based on the first information and the second information, wherein the specification process is performed if it is determined that the user is positioned in a predetermined area; when determined that the height has increased and the receiving state is stable based on the first information and the second information, the specification unit is configured to determine that the user is on the pedestrian overpass , characterised in that wherein the first information includes a first value which becomes greater as the receiving state improves, and when an absolute value of a difference between the first value obtained at a first timing, and the first value obtained at a second timing later than the first timing is smaller than a first threshold value, the first timing corresponding to an increase in the height as indicated by the second information, the specification unit is configured to determine that the user is on the pedestrian overpass , and the positioning satellite is a plurality of satellites, and wherein the first value is represented by a number of the plurality of satellites captured by the receiver , or the first value is represented by a carrier power/noise power "C/N" value. <EOS>