Earth-moving machinery and mobile road construction machinery — Worksite data exchange — Part 4: Wor...
This document specifies requirements for data exchange at the interface between earth-moving machinery, as defined in ISO 6165, mobile road construction machinery, as defined in ISO 22242, and the worksite information systems. It focuses on data for management of a worksite and the assets specific to that worksite.
This document includes:
a) methods of local position correction and…
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile i...
This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.
To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.
This document is aimed at a…
Information technology - Programming languages - Guidance for the use of the Ada Ravenscar Profile i...
This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.
To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.
This document is aimed at a…
Security for industrial automation and control systems - Part 6-2: Security evaluation methodology f...
IEC TS 62443-6-2:2025 specifies the evaluation methodology to support achieving repeatable and reproducible evaluation results for IACS components under evaluation against IEC 62443-4-2 requirements.
This document does not specify the definition of a complete certification scheme or certification program.
This document does not specify the process evaluations of the secure development lifecycle…
Computer graphics, image processing and environmental data representation — Spatial reference model ...
This document specifies the C++ programming language layer for the language independent application program interface (API) of the Spatial Reference Model (SRM), ISO/IEC 18026.
Computer graphics, image processing and environmental data representation - Spatial reference model ...
This document specifies the C++ programming language layer for the language independent application program interface (API) of the Spatial Reference Model (SRM), ISO/IEC 18026.
Ships and marine technology — Electronic port clearance (EPC) — Part 1: Message structures and appli...
This document defines the principles, methods and requirements for message exchanges between ships, ship representatives, and other shore parties via a peer-to-peer communication system. This document defines the message structure, including how the data content is assembled from other parts of the ISO 28005 series, and how digital signatures for authentication, integrity, and confidentiality of…
Programming Languages — Technical specification for C++ extensions for concurrency 2
This document builds upon ISO/IEC 14882 by describing requirements for implementations of an interface that computer programs written in the C++ programming language could use to invoke algorithms with concurrent execution. The algorithms described by this document are realizable across a broad class of computer architectures. This document is written as a set of differences from the base…
Programming Languages - Technical specification for C++ extensions for concurrency 2
This document builds upon ISO/IEC 14882 by describing requirements for implementations of an interface that computer programs written in the C++ programming language could use to invoke algorithms with concurrent execution. The algorithms described by this document are realizable across a broad class of computer architectures. This document is written as a set of differences from the base…
