BfArM Digitale Anwendungen - Local Development build (v3.0.2-RC1) built by the FHIR (HL7® FHIR® Standard) Build Tools. See the Directory of published versions
Extension: HiisDeviceDefinitionMivSet
| Official URL: https://fhir.bfarm.de/StructureDefinition/HiisDeviceDefinitionMivSet | Version: 3.0.2-RC1 | |||
| Draft as of 2026-02-25 | Computable Name: HiisDeviceDefinitionMivSet | |||
Extension for referencing an MIV Set (Mandatory Interoperable Value Set).
Context of Use
-
Element ID:
DeviceDefinition
This extension may be used on the following element(s)
Usage info
Usages:
- Use this Extension: HiisDeviceDataRecorderDefinition and HiisPersonalHealthDeviceDefinition
You can also check for usages in the FHIR IG Statistics
Formal Views of Extension Content
Description of Profiles, Differentials, Snapshots, and how the XML and JSON presentations work.
This structure is derived from Extension
| Name | Flags | Card. | Type | Description & Constraints Filter:   |
|---|---|---|---|---|
  Extension |
S | 0..* | Extension | MIV Set |
  extension |
S | 1..* | Extension | Extension |
  Slices for extension |
Content/Rules for all slices | |||
   extension:delayFromRealTime |
S | 0..1 | Extension | Delay from Real Time |
  extension |
0..0 | Extension | ||
| url |
1..1 | uri | "delayFromRealTime" | |
 Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Open by type:$this | |
  value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:gracePeriod |
S | 0..1 | Extension | Grace Period |
| extension |
0..0 | Extension | ||
| url |
1..1 | uri | "gracePeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Open by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:historicDataPeriod |
S | 0..1 | Extension | Historic Data Period |
| extension |
0..0 | Extension | ||
| url |
1..1 | uri | "historicDataPeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Open by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
 extension:mivSet |
S | 1..1 | Extension | MIV Set Reference |
| extension |
0..0 | Extension | ||
| url |
1..1 | uri | "mivSet" | |
| Slices for value[x] |
1..1 | Reference() | Value of extension Slice: Unordered, Open by type:$this | |
| value[x]:valueReference |
S | 1..1 | Reference() | Value of extension |
| reference |
S | 1..1 | string | Literal reference, Relative, internal or absolute URL |
 display |
S | 1..1 | string | Text alternative for the resource |
| url |
1..1 | uri | "https://fhir.bfarm.de/StructureDefinition/HiisDeviceDefinitionMivSet" | |
 value[x] |
0..0 | Value of extension | ||
| Documentation for this format | ||||
| Name | Flags | Card. | Type | Description & Constraints Filter: |
|---|---|---|---|---|
| Extension |
S | 0..* | Extension | MIV Set |
 id |
0..1 | string | Unique id for inter-element referencing | |
| Slices for extension |
S | 1..* | Extension | Extension Slice: Unordered, Open by value:url |
| extension:delayFromRealTime |
S | 0..1 | Extension | Delay from Real Time |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "delayFromRealTime" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:gracePeriod |
S | 0..1 | Extension | Grace Period |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "gracePeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:historicDataPeriod |
S | 0..1 | Extension | Historic Data Period |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "historicDataPeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:mivSet |
S | 1..1 | Extension | MIV Set Reference |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "mivSet" | |
| Slices for value[x] |
1..1 | Reference() | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueReference |
S | 1..1 | Reference() | Value of extension |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..* | Extension | Additional content defined by implementations Slice: Unordered, Open by value:url | |
| reference |
SΣC | 1..1 | string | Literal reference, Relative, internal or absolute URL |
| type |
Σ | 0..1 | uri | Type the reference refers to (e.g. "Patient") Binding: ResourceType (extensible): Aa resource (or, for logical models, the URI of the logical model). |
 identifier |
Σ | 0..1 | Identifier | Logical reference, when literal reference is not known |
| display |
SΣ | 1..1 | string | Text alternative for the resource |
| url |
1..1 | uri | "https://fhir.bfarm.de/StructureDefinition/HiisDeviceDefinitionMivSet" | |
| Documentation for this format | ||||
This structure is derived from Extension
Summary
Complex Extension: Extension for referencing an MIV Set (Mandatory Interoperable Value Set).
- delayFromRealTime: Duration: Maximum delay in seconds of the end-to-end synchronization from the Personal Health Device to the Health Record under normal operational conditions. (Only set in HiisDeviceDataRecorderDefinition.)
- gracePeriod: Duration: Time span a DiGA must wait between two requests for data that affect the same MIV and patient. (Only set in HiisDeviceDataRecorderDefinition.)
- historicDataPeriod: Duration: Minimum number of days historic data is available at the Device Data Recorder. (Only set in HiisDeviceDataRecorderDefinition.)
- mivSet: Reference: Reference to the supported MIV Set.
Differential View
This structure is derived from Extension
| Name | Flags | Card. | Type | Description & Constraints Filter: |
|---|---|---|---|---|
| Extension |
S | 0..* | Extension | MIV Set |
| extension |
S | 1..* | Extension | Extension |
| Slices for extension |
Content/Rules for all slices | |||
| extension:delayFromRealTime |
S | 0..1 | Extension | Delay from Real Time |
| extension |
0..0 | Extension | ||
| url |
1..1 | uri | "delayFromRealTime" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Open by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:gracePeriod |
S | 0..1 | Extension | Grace Period |
| extension |
0..0 | Extension | ||
| url |
1..1 | uri | "gracePeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Open by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:historicDataPeriod |
S | 0..1 | Extension | Historic Data Period |
| extension |
0..0 | Extension | ||
| url |
1..1 | uri | "historicDataPeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Open by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:mivSet |
S | 1..1 | Extension | MIV Set Reference |
| extension |
0..0 | Extension | ||
| url |
1..1 | uri | "mivSet" | |
| Slices for value[x] |
1..1 | Reference() | Value of extension Slice: Unordered, Open by type:$this | |
| value[x]:valueReference |
S | 1..1 | Reference() | Value of extension |
| reference |
S | 1..1 | string | Literal reference, Relative, internal or absolute URL |
| display |
S | 1..1 | string | Text alternative for the resource |
| url |
1..1 | uri | "https://fhir.bfarm.de/StructureDefinition/HiisDeviceDefinitionMivSet" | |
| value[x] |
0..0 | Value of extension | ||
| Documentation for this format | ||||
Snapshot View
| Name | Flags | Card. | Type | Description & Constraints Filter: |
|---|---|---|---|---|
| Extension |
S | 0..* | Extension | MIV Set |
| id |
0..1 | string | Unique id for inter-element referencing | |
| Slices for extension |
S | 1..* | Extension | Extension Slice: Unordered, Open by value:url |
| extension:delayFromRealTime |
S | 0..1 | Extension | Delay from Real Time |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "delayFromRealTime" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:gracePeriod |
S | 0..1 | Extension | Grace Period |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "gracePeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:historicDataPeriod |
S | 0..1 | Extension | Historic Data Period |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "historicDataPeriod" | |
| Slices for value[x] |
1..1 | Duration | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueDuration |
S | 1..1 | Duration | Value of extension |
| extension:mivSet |
S | 1..1 | Extension | MIV Set Reference |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..0 | Extension Slice: Unordered, Open by value:url | ||
| url |
1..1 | uri | "mivSet" | |
| Slices for value[x] |
1..1 | Reference() | Value of extension Slice: Unordered, Closed by type:$this | |
| value[x]:valueReference |
S | 1..1 | Reference() | Value of extension |
| id |
0..1 | string | Unique id for inter-element referencing | |
| extension |
0..* | Extension | Additional content defined by implementations Slice: Unordered, Open by value:url | |
| reference |
SΣC | 1..1 | string | Literal reference, Relative, internal or absolute URL |
| type |
Σ | 0..1 | uri | Type the reference refers to (e.g. "Patient") Binding: ResourceType (extensible): Aa resource (or, for logical models, the URI of the logical model). |
| identifier |
Σ | 0..1 | Identifier | Logical reference, when literal reference is not known |
| display |
SΣ | 1..1 | string | Text alternative for the resource |
| url |
1..1 | uri | "https://fhir.bfarm.de/StructureDefinition/HiisDeviceDefinitionMivSet" | |
| Documentation for this format | ||||
This structure is derived from Extension
Summary
Complex Extension: Extension for referencing an MIV Set (Mandatory Interoperable Value Set).
- delayFromRealTime: Duration: Maximum delay in seconds of the end-to-end synchronization from the Personal Health Device to the Health Record under normal operational conditions. (Only set in HiisDeviceDataRecorderDefinition.)
- gracePeriod: Duration: Time span a DiGA must wait between two requests for data that affect the same MIV and patient. (Only set in HiisDeviceDataRecorderDefinition.)
- historicDataPeriod: Duration: Minimum number of days historic data is available at the Device Data Recorder. (Only set in HiisDeviceDataRecorderDefinition.)
- mivSet: Reference: Reference to the supported MIV Set.
Other representations of profile: CSV, Excel, Schematron
Terminology Bindings
| Path | Status | Usage | ValueSet | Version | Source |
| Extension.extension:mivSet.value[x]:valueReference.type | Base | extensible | ResourceType | 📍4.0.1 | FHIR Std. |
Constraints
| Id | Grade | Path(s) | Description | Expression |
| ele-1 | error | **ALL** elements | All FHIR elements must have a @value or children |
hasValue() or (children().count() > id.count())
|
| ext-1 | error | **ALL** extensions | Must have either extensions or value[x], not both |
extension.exists() != value.exists()
|