## Summary
### Documentation
- Stage the documentation index as a learning path: a first application,
independent client, server, and PubSub paths, then data and services,
companion models, production, advanced integration, and draft or
experimental capabilities.
- Add Getting started (repository samples or NuGet packages), OPC UA
concepts, Your first information model, and a production readiness
checklist.
- Add Native AOT application publishing, a first PubSub publisher and
subscriber exchange, and the UDP transport options.
- Add or expand contents navigation throughout `docs/`, and keep
contributor documentation separate.
- Correct outdated SDK examples and capability guidance, consolidate
repeated explanations into canonical guides, and repair local links and
heading structure.
- Rewrite What's New in 2.0 as a concise feature overview with short
linked details; keep migration instructions in the Migration Guide.
- Expand the feature catalogue with specification IDs, GDS, LDS, the OPC
10000-21 onboarding registrar, ISA-95, xRegistry, OpenUSD, and
sample-local models; distinguish draft status, explain crypto
pluggability, and bring performance guidance forward.
- Address review feedback on wording, active monitored items during
shadow reload, and the `Samples.md` filename and references.
- Regenerate the `opcua-v20-migration` plugin's bundled copy of the
migration guides so it matches the edited `docs/migrate/2.0.x` guides.
- Merge the latest `master`, preserving upstream resource-isolation
guidance within the task-based documentation index.
- Retain deferred Lingity findings where appropriate; this PR does not
claim that every document meets the Lingity score thresholds.
### Fixes found while verifying the guides
Each fix has regression tests that fail without it.
- **Client:** V2 subscriptions compared their lifetime with the
operation timeout instead of the session timeout, and logged a spurious
warning. `ISubscriptionEngineContext`, which is new in 2.0, gains a
`SessionTimeout` property; implementations must add it.
- **PubSub:** a subscriber now registers the `DataSetMetaData`
configured on its readers (OPC 10000-14 6.2.9.4), and the UADP decoder
decodes DataSetMessages that carry no ConfigurationVersion. Before, a
secured subscriber of the reference sample received no DataSets.
- **Source generator:** a ModelDesign method that declares its arguments
inline, without a method type, produced code that did not compile; it
now uses `MethodState`. The generated code of existing models is
unchanged.
- **MinimalClient sample:** waits for its first data-change notification
before it disconnects.
### Known issues, not addressed here
- UDP multicast: the publisher does not send on the interface that the
subscriber joins, and `MulticastLoopback` defaults to false. The PubSub
guide uses unicast for the exchange on one computer.
- The UDP metadata announcement is sent unsecured on secured writer
groups; a secured subscriber drops it with a warning.
- A server does not start in globalization-invariant mode, because
`ResourceManager` creates `CultureInfo("en-US")`. The Native AOT guide
cautions against the mode.
## Validation
- `git diff --check` and
`./.azurepipelines/validate-migration-plugin.ps1` (15 bundled migration
docs validated, plugin manifests synchronized).
- Local Markdown links, anchors, file-link casing, and contents lists
checked across all 87 documents under `docs/`. The index links every
top-level guide and every target of the previous index.
- Both Getting started routes, Your first information model, the PubSub
exchange, and the Native AOT publish of the Getting started client and
server were run as documented. The NuGet route and the tutorial use the
public `2.0.0-preview.5` packages.
- The changed libraries build for all target frameworks in Release
without warnings.
- Tests on .NET 10: Opc.Ua.SourceGeneration.Tests 199 passed;
Opc.Ua.SourceGeneration.Core.Tests 3,977 passed, 8 skipped;
Opc.Ua.Server.Tests `Fluent` category 621 passed; Opc.Ua.Client.Tests
subscription-engine tests 70 passed; Opc.Ua.PubSub.Tests 1,374 passed, 2
skipped; PubSub fuzz replay 145 passed. The new and affected tests also
pass on .NET Framework 4.8.
- Earlier merge validation: 174 resource-isolation tests passed on .NET
10.
- The full solution suite was not run locally.
Review and validation artifacts are maintained outside the repository.
---------
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
19 KiB
Device Integration (DI) — Software Update Facet
Glossary: "DI" throughout this document means OPC UA Device Integration (OPC 10000-100), not .NET Dependency Injection.
This document explains how to expose the OPC 10000-100 §10.3 software-update facet on a Device Integration (DI) device, what address-space surface it creates, and how clients drive it.
Contents
- Address-space layout
- Server side — fluent surface
- Storage abstractions
- File-transfer pipeline
- Client side
- Hosted-server walkthrough
- Implementation pointers
- Spec references
Address-space layout
WithSoftwareUpdate(...) materialises one
SoftwareUpdateType instance per device with the following children:
{device} (ComponentState / DeviceState)
└─ SoftwareUpdate SoftwareUpdateType (OPC-DI i=1)
├─ Loading {Package|Direct|Cached}LoadingType
│ (default: PackageLoadingType i=137)
├─ PrepareForUpdate PrepareForUpdateStateMachineType (i=213)
│ ├─ CurrentState
│ ├─ Prepare (Method)
│ ├─ Abort (Method)
│ └─ Resume (Method)
├─ Installation InstallationStateMachineType (i=249)
│ ├─ CurrentState
│ ├─ InstallSoftwarePackage (InstallSoftwarePackageMethodType i=389)
│ ├─ InstallFiles (InstallFilesMethodType)
│ ├─ Uninstall (Method)
│ └─ Resume (Method)
├─ PowerCycle PowerCycleStateMachineType (i=285)
└─ Confirmation ConfirmationStateMachineType (i=307)
└─ Confirm (Method)
Choose the loading subtype with one of these methods:
UsePackageLoading()(default), which uses file transfer andCloseAndCommit.UseDirectLoading().UseCachedLoading().
The full structure is added to the
AsyncCustomNodeManager's PredefinedNodes via
AddPredefinedNodeAsync, so direct NodeId lookup, browse, subscription
wiring, and method calls all work out of the box.
Server side — fluent surface
using Opc.Ua.Di.Server.Builders;
using Opc.Ua.Di.Server.SoftwareUpdate;
// 1) Register a server-wide package store (commonly via
// .NET Microsoft.Extensions.DependencyInjection).
services.AddSingleton<ISoftwarePackageStore, MemoryPackageStore>();
// 2) Inside ConfigureDevicesFor<DiNodeManager>:
device.WithSoftwareUpdate(
ctx.GetRequiredService<ISoftwarePackageStore>(),
su => su.UsePackageLoading());
WithSoftwareUpdate auto-registers a per-device
MemorySoftwareFolder keyed by the device's NodeId. Override with
.WithSoftwareFolder(folder) if you need a custom folder
implementation (e.g. FileSystemSoftwareFolder for persistence
between server restarts).
Method-handler hooks
The library ships "succeed immediately" defaults for every method so the sample is fully exercisable out of the box. Override individual hooks to drive the real firmware-flashing logic:
device.WithSoftwareUpdate(packageStore, su => su
.OnPrepare(async (ctx, ct) =>
{
// Validate the staged package, lock the device, etc.
await myDevice.StartPreparationAsync(ct);
})
.OnInstall(async (ctx, package, ct) =>
{
// Flash the firmware. Throw to fail the state machine.
await myDevice.FlashAsync(package, ct);
})
.OnConfirm(async (ctx, success, ct) =>
{
await myDevice.CommitOrRollbackAsync(success, ct);
})
.OnUninstall(async (ctx, ct) =>
{
await myDevice.UninstallAsync(ct);
}));
ISoftwareUpdateContext exposes the device NodeId, server system context,
package store, and per-device software folder. Handlers can use these values
to persist version metadata without resolving them again.
Server-side state reporting
The four state machines (PrepareForUpdate, Installation,
PowerCycle, Confirmation) are pre-seeded to their initial state
(Idle / NotWaitingForConfirm / NotWaitingForPowerCycle) when
the SU facet attaches. Every successful method invocation walks the
FSM through the standard Part 16 transitions and publishes
CurrentState / LastTransition updates that subscribers observe in
real time. Failures route to the Error state (Installation) or back
to Idle (PrepareForUpdate), again with proper LastTransition
metadata. The Installation FSM also exposes a per-operation
PercentComplete byte that walks 0 → 100 on success.
To plug application instrumentation into the same lifecycle without having to subscribe through the address space, register the state-changed hooks:
device.WithSoftwareUpdate(packageStore, su => su
.OnInstall(async (ctx, package, ct) => await myDevice.FlashAsync(package, ct))
.OnInstallationStateChanged((ctx, change) =>
{
_logger.LogInformation(
"Install on device {Device}: phase={Phase} progress={Pct}% message={Msg}",
ctx.DeviceId, change.Phase, change.ProgressPercent, change.Message);
return default;
}));
Each method call raises two hook events. Started fires before the
application callback. On success, the method raises Completed; on failure,
it raises Failed with the exception message. The hook runs in the
service call's async context; exceptions thrown by the hook are
logged and swallowed so instrumentation faults never abort the
underlying SU operation. Domain-keyed SoftwareUpdatePhase (rather
than raw Part 16 cause / transition ids) keeps application code
independent of dispatcher internals.
Note
— the source-generated DI FSMs ship without Part 16
StateTable/TransitionTable/CauseMappingsoverrides, soFiniteStateMachineState.SetState(...)(and by extensionStateMachineBuilder.For(...).WithCause(...)) is a no-op against them today. The SU wiring works around this by writingCurrentState/LastTransitiondirectly via the internalSoftwareUpdateStateMachineDispatcherhelper. Once the generator emits the Part 16 tables (tracked as a separate generator enhancement) the dispatcher can collapse into a thinStateMachineBuilder.For(...)adapter without touching the public hook surface.
Storage abstractions
Two independent storage abstractions live under
Opc.Ua.Di.Server.SoftwareUpdate:
| Type | Role |
|---|---|
ISoftwarePackageStore |
Server-wide repository: Add/Get/List/Delete by id + binary payload. Backs the Loading file-transfer pipeline. |
ISoftwareFolder |
Per-device multi-version archive (Current / Previous / Future). Updated by the default Install handler. |
Default implementations:
| Implementation | Use case |
|---|---|
MemoryPackageStore |
In-process tests + samples. |
FileSystemPackageStore |
Disk-backed, composed over IFileSystemProvider. |
MemorySoftwareFolder |
Default for WithSoftwareUpdate. |
FileSystemSoftwareFolder |
Persistence across server restarts. |
Package-store contract
ISoftwarePackageStore implementations must support concurrent calls.
The interface exposes the following asynchronous operations:
| Operation | Result |
|---|---|
ListAsync |
Enumerate package metadata. |
GetAsync |
Return the matching SoftwarePackage, or null if absent. |
ExistsAsync |
Report whether an id is present. |
OpenReadAsync |
Return a caller-owned payload stream; throw FileNotFoundException for an unknown id. |
AddAsync |
Copy the supplied stream and add or replace the package with that id. |
DeleteAsync |
Return whether a package was removed. |
SoftwarePackage carries Id, Version, Vendor, Description, SizeBytes,
CreatedAt, and an optional Hash. Both in-box stores compute SizeBytes and
CreatedAt during AddAsync; callers may supply zero and default for those
fields. They do not compute a content hash from an empty Hash.
See ISoftwarePackageStore
for the exact signatures.
File-system layout and provider composition
FileSystemPackageStore stores each package beneath a provider-relative root:
{root}/
{package-id}/
payload.bin
metadata.json
The JSON metadata uses the source-generated SoftwarePackageJsonContext, so
serialization does not require reflection. Package ids must be nonempty, must
not contain / or \, and must not be . or ..; invalid ids throw
ArgumentException.
Reuse the server's configured IFileSystemProvider:
ISoftwarePackageStore store = new FileSystemPackageStore(
provider: fileSystemProvider,
rootPath: "/SoftwarePackages");
The provider must permit writes for add/delete operations. A read-only provider
can still serve list, metadata, and payload-read operations. The same provider can
also be mounted through FileSystemNodeManager; use the store API rather than
editing package files directly.
Seeding a package
Resolve ISoftwarePackageStore from the host, then copy the payload into it.
The caller owns and disposes the source stream:
ISoftwarePackageStore store = serviceProvider.GetRequiredService<ISoftwarePackageStore>();
using FileStream payload = File.OpenRead("firmware.bin");
SoftwarePackage package = await store.AddAsync(
new SoftwarePackage(
Id: "firmware-1.0.0",
Version: "1.0.0",
Vendor: "Acme",
Description: "Device firmware",
SizeBytes: 0,
CreatedAt: default,
Hash: string.Empty),
payload,
ct);
File-transfer pipeline
When UsePackageLoading() is selected (the default), the SU facet
materialises a TemporaryFileTransferType instance under
SoftwareUpdate.Loading.FileTransfer. The internal
SoftwareUpdateFileTransferManager implements the OPC 10000-5 §11.4
two-tier protocol:
- Client calls
Loading.FileTransfer.GenerateFileForWrite(generateOptions). The server allocates a fresh handle, creates a transientFileTypechild (namedUploadFile_<handle>) backed by an in-memory buffer, and returns the file NodeId + handle. ThegenerateOptionsargument is treated as a vendor-defined hint; the default manager interprets a singleStringvalue as the suggested package id. - Client opens the returned FileState in
Write|EraseExistingmode (mode 6), streams chunks via the standardWritemethod, and closes it. - Client calls
Loading.FileTransfer.CloseAndCommit(fileHandle). The server reads the buffered payload, packages it into aSoftwarePackage(id from thegenerateOptionshint or a timestamped fallback), hands it toISoftwarePackageStore.AddAsync(metadata, stream), and removes the transient FileState from the address space.
Operational caps (defaults, configurable via constants on
SoftwareUpdateFileTransferManager):
| Cap | Value |
|---|---|
| Concurrent upload handles per FileTransfer | 8 |
| Max buffered upload size | 64 MiB |
| Supported open mode | Write | EraseExisting (6); other modes are rejected with BadNotSupported |
| Read on a transient upload file | rejected with BadNotSupported |
Handles are owned by the session that allocated them; cross-session
access is rejected with BadUserAccessDenied.
Note
—
DirectLoadingTypeandCachedLoadingTypeinheritPackageLoadingTypeand therefore expose the same FileTransfer slot. The wiring is shared because the upload semantics are identical; the difference between Package / Direct / Cached lives in the application'sOnInstallhandler (which decides whether to deploy immediately, atomically swap, or stage as fallback).
Client side
The minimal v1 SoftwareUpdateClient reads the device's
SoftwareVersion property:
var client = new SoftwareUpdateClient(
session, softwareUpdateNodeId, telemetry);
string version = await client.ReadSoftwareVersionAsync();
Uploading a package
SoftwareUpdateClient.UploadPackageAsync drives the full
GenerateForWrite → Open → Write* → Close → CloseAndCommit flow,
streaming the payload in chunkSizeBytes-sized chunks (default 8 KiB):
var client = new SoftwareUpdateClient(session, suNodeId, telemetry);
// byte-array convenience overload
long bytesUploaded = await client.UploadPackageAsync(
payload: firmwareBytes,
suggestedPackageId: "acme-firmware-2.0.0",
ct: ct);
// streaming overload (does not seek the stream)
using FileStream fs = File.OpenRead("firmware.bin");
await client.UploadPackageAsync(
payload: fs,
suggestedPackageId: "acme-firmware-2.0.0",
chunkSizeBytes: 16 * 1024,
ct: ct);
After commit the package is queryable via the server's
ISoftwarePackageStore.GetAsync(suggestedPackageId). The recommended
deployment flow is: upload via UploadPackageAsync(...) → drive the
state machines via PrepareAsync / InstallSoftwarePackageAsync /
ConfirmAsync as described below.
Typed Part 16 state-machine surface
SoftwareUpdateClient exposes typed accessors for the four child
state machines (PrepareForUpdate, Installation, Confirmation,
PowerCycle), each composed over the source-generated
*StateMachineTypeClient proxies and the generic Part 16 extensions
(GetCurrentFiniteStateAsync, ObserveFiniteTransitionsAsync,
WaitForStateAsync). The proxies are resolved lazily on first use
via SoftwareUpdateTypeClient.GetXxxAsync(telemetry, ct) and cached
for the lifetime of the client so the browse-path-translate
round-trip happens at most once per state machine.
var client = new SoftwareUpdateClient(session, suNodeId, telemetry);
// Snapshot the current state of any of the four FSMs.
FiniteStateSnapshot? install = await client.GetInstallationStateAsync(ct);
FiniteStateSnapshot? prep = await client.GetPrepareForUpdateStateAsync(ct);
// Drive cause methods (resolved against the typed proxy — no manual
// TranslateBrowsePath / method-NodeId look-up required).
await client.PrepareAsync(ct);
await client.InstallSoftwarePackageAsync(
manufacturerUri: "urn:acme",
softwareRevision: "2.0.0",
patchIdentifiers: ArrayOf.Empty<string>(),
hash: default,
ct: ct);
await client.ConfirmAsync(ct);
// Stream transitions via a streaming subscription.
await foreach (FiniteStateSnapshot snap in client
.ObserveInstallationTransitionsAsync(streaming, options: null, ct))
{
_logger.LogInformation("Installation moved to {State}", snap.CurrentState);
}
When the server does not expose the optional child the Get*StateAsync
overloads return null; the cause-method wrappers
(PrepareAsync, InstallSoftwarePackageAsync, ConfirmAsync, etc.)
throw ServiceResultException(BadNotFound) so calling code never
needs to redo browse-path resolution. See
StateMachines.md for the generic state-machine
API the typed wrappers build on.
Hosted-server walkthrough
Attach the software-update facet to a ComponentType-derived device
created through the Device Integration builder:
services.AddSingleton<ISoftwarePackageStore, MemoryPackageStore>();
services
.AddOpcUa()
.AddServer(o =>
{
o.ApplicationName = "DeviceIntegrationServer";
o.EndpointUrls.Add($"opc.tcp://localhost:{port}/DeviceIntegrationServer");
})
.AddOpcUaDi()
.ConfigureDevicesFor<DiNodeManager>(async ctx =>
{
IDeviceBuilder<DeviceState> device = await ctx.CreateDeviceAsync(
new QualifiedName("Controller #1", ctx.Manager.DiNamespaceIndex));
device.WithIdentification(id =>
{
id.Manufacturer = new LocalizedText("Acme Controls");
id.Model = new LocalizedText("Controller 2000");
id.SerialNumber = "SN-DI-1";
id.SoftwareRevision = "2.5.3";
});
var packageStore = ctx.GetRequiredService<ISoftwarePackageStore>();
device.WithSoftwareUpdate(packageStore, su => su.UsePackageLoading());
});
await builder.Build().RunAsync();
A client connecting to the running server will discover the SU
subtree under Controller #1.SoftwareUpdate, can browse the state
machines, and invoke InstallSoftwarePackage,
PrepareForUpdate.Prepare, Confirmation.Confirm, etc. The
library-supplied default handlers record the installed version in the
per-device MemorySoftwareFolder, so a subsequent read of the
device's SoftwareVersion reflects the new version.
Implementation pointers
- Fluent surface:
src/Opc.Ua.Di.Server/Builders/ISoftwareUpdateBuilder.csandDeviceBuilderSoftwareUpdateExtensions.cs. - Address-space wiring:
SoftwareUpdateFacetWiring.cs(internal). - State-machine dispatcher:
SoftwareUpdateStateMachineDispatcher.cs(internal — directCurrentState/LastTransitionwrites until the model source generator emits Part 16 tables for*StateMachineState). - File-transfer pipeline:
src/Opc.Ua.Di.Server/Builders/SoftwareUpdateFileTransferManager.cs(internal —GenerateFileForWrite/CloseAndCommit+ per-handle transientFileTypematerialisation). - Storage abstractions:
src/Opc.Ua.Di.Server/SoftwareUpdate/ISoftwarePackageStore.csandISoftwareFolder.cs. - Client helpers:
src/Opc.Ua.Di.Client/SoftwareUpdateClient.cs(read-only discovery),src/Opc.Ua.Di.Client/SoftwareUpdateClient.StateMachine.cs(typed Part 16 partial), andsrc/Opc.Ua.Di.Client/SoftwareUpdateClient.Upload.cs(UploadPackageAsyncdriving the FileTransfer pipeline). - Tests:
tests/Opc.Ua.Di.Tests/DeviceBuilderSoftwareUpdateTests.cs,DeviceBuilderSoftwareUpdateStateChangeTests.cs,SoftwareUpdateFileTransferTests.cs(server side),SoftwareUpdateClientStateMachineTests.cs,SoftwareUpdateClientUploadTests.cs,SoftwareUpdateClientUploadIntegrationTests.cs(client + bridge end-to-end againstDiInProcessSessionBridge),MemorySoftwareFolderTests.cs,PackageStoreTests.cs,SoftwareUpdateClientTests.cs.
Spec references
- OPC 10000-100 §10.3 — Software Update (companion specification).
- OPC 10000-5 §11.4 —
TemporaryFileTransferTypeand theGenerateFileForRead/GenerateFileForWrite/CloseAndCommitmethod triplet.