Annex H (High Integrity Systems)
E284616
Annex H (High Integrity Systems) is an Ada language annex that defines specialized features and restrictions to support the development of high-integrity, safety- and security-critical software systems.
All labels observed (4)
| Label | Occurrences |
|---|---|
| Annex H (High Integrity Systems) canonical | 2 |
| Annex H | 1 |
| Annex H High Integrity Systems | 1 |
| High Integrity Systems Annex | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2629510 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Annex H (High Integrity Systems) Context triple: [GNAT, supportsStandard, Annex H (High Integrity Systems)]
-
A.
Annex A
Annex A is the section of the Stockholm Convention on Persistent Organic Pollutants that lists chemicals designated for complete elimination of production and use.
-
B.
Annex 11 Notification and Response
Annex 11 Notification and Response is a component of the Great Lakes Water Quality Agreement that sets out procedures for notifying and responding to activities or incidents that could affect the water quality of the Great Lakes.
-
C.
Annex SL high-level structure for ISO management system standards
Annex SL high-level structure for ISO management system standards is a standardized framework that provides a common core text, terms, and definitions to harmonize the design and implementation of all ISO management system standards.
-
D.
Annex SL high-level structure
Annex SL high-level structure is a standardized framework used across ISO management system standards to ensure consistent organization, terminology, and core requirements.
-
E.
Annex II
Annex II is the section of the MARPOL Convention that sets international regulations for controlling pollution from noxious liquid substances carried in bulk by ships.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Annex H (High Integrity Systems) Target entity description: Annex H (High Integrity Systems) is an Ada language annex that defines specialized features and restrictions to support the development of high-integrity, safety- and security-critical software systems.
-
A.
Annex A
Annex A is the section of the Stockholm Convention on Persistent Organic Pollutants that lists chemicals designated for complete elimination of production and use.
-
B.
Annex 11 Notification and Response
Annex 11 Notification and Response is a component of the Great Lakes Water Quality Agreement that sets out procedures for notifying and responding to activities or incidents that could affect the water quality of the Great Lakes.
-
C.
Annex SL high-level structure for ISO management system standards
Annex SL high-level structure for ISO management system standards is a standardized framework that provides a common core text, terms, and definitions to harmonize the design and implementation of all ISO management system standards.
-
D.
Annex SL high-level structure
Annex SL high-level structure is a standardized framework used across ISO management system standards to ensure consistent organization, terminology, and core requirements.
-
E.
Annex II
Annex II is the section of the MARPOL Convention that sets international regulations for controlling pollution from noxious liquid substances carried in bulk by ships.
- F. None of above. chosen
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
Ada language annex
ⓘ
language standard annex ⓘ |
| aimsTo |
increase reliability of Ada programs
ⓘ
increase safety of Ada programs ⓘ increase security of Ada programs ⓘ |
| appliesTo |
Ada programming language
ⓘ
linked to:
Ada
|
| belongsTo | safety and security-related annexes of Ada ⓘ |
| defines |
restrictions for high-integrity systems
ⓘ
specialized features for high-integrity systems ⓘ |
| focusesOn |
high-integrity system requirements
ⓘ
safety-related constraints ⓘ security-related constraints ⓘ |
| fullName |
High Integrity Systems Annex
ⓘ
linked to:
Annex H (High Integrity Systems)
|
| goal |
support development of dependable systems
ⓘ
support verification and validation of Ada software ⓘ |
| hasAbbreviation |
Annex H
ⓘ
linked to:
Annex H (High Integrity Systems)
|
| imposes | additional restrictions on Ada features ⓘ |
| intendedFor |
developers of high-integrity systems
ⓘ
safety engineers using Ada ⓘ security engineers using Ada ⓘ |
| partOf |
Ada language standard
ⓘ
linked to:
Ada programming language standard
|
| provides |
guidance for high-integrity Ada implementations
ⓘ
guidance for high-integrity Ada usage ⓘ |
| relatedTo | safety and security certification of software ⓘ |
| supports |
high-integrity software development
ⓘ
safety-critical software systems ⓘ security-critical software systems ⓘ |
| usedIn |
high-assurance software projects
ⓘ
safety-critical domains ⓘ security-critical domains ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Annex H (High Integrity Systems) Description of subject: Annex H (High Integrity Systems) is an Ada language annex that defines specialized features and restrictions to support the development of high-integrity, safety- and security-critical software systems.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject linked to:
gnat
linked to: Annex H (High Integrity Systems)
linked to: Annex H (High Integrity Systems)
linked to: Annex H (High Integrity Systems)