Traduction de «Safety critical computer software components » (Anglais → Néerlandais) :

TERMINOLOGIE

safety critical computer software components
softwarecomponenten die cruciaal zijn voor de veiligheid

critical software | safety-critical software
kritieke software

TRADUCTIONS EN CONTEXTE

Such information shall include information on the status and history of the vehicle, elements of the maintenance files, traceability of loading operations and safety-critical components as well as consignment notes.
Daartoe behoort informatie over de status en historiek van het voertuig, elementen van het onderhoudsdossier, traceerbaarheid van laadverrichtingen, voor de veiligheid kritieke inrichtingen en vrachtbrieven.

These include everything from chemicals to nuclear fuels, weapon parts, computer components and ultimately – and we debated this very intensively – even software and software components.
Dit betreft de meest uiteenlopende producten, van chemische producten tot nucleaire brandstoffen, onderdelen van wapens, computeronderdelen en ten slotte - en daarover hebben wij zeer intensief gediscussieerd - ook software en softwarecomponenten.

The design, construction or assembly, maintenance and monitoring of safety-critical components, and more particularly of the components involved in train movements must be such as to guarantee safety at the level corresponding to the aims laid down for the network, including those for specific degraded situations.
Het ontwerp, de bouw of de fabricage, het onderhoud van en het toezicht op voor de veiligheid kritieke inrichtingen en meer bepaald de bij het treinverkeer betrokken onderdelen moeten de veiligheid waarborgen op het niveau dat beantwoordt aan de voor het net gestelde doelstellingen, ook in de nader omschreven situaties met beperkte werking.

EATMN software components that cannot be shown to be independent of one another shall be allocated the software assurance level of the most critical of the dependent components.
Aan EATMN-softwarecomponenten waarvan niet kan worden aangetoond dat zij onafhankelijk van elkaar kunnen functioneren, wordt het softwarezekerheidsniveau van de meest kritische afhankelijke component toegewezen.

‘correct and complete EATMN software verification’ means all software safety requirements which correctly state what is required of the software component by the risk assessment and mitigation process and their implementation is demonstrated to the level required by the software assurance level.
„correcte en volledige verificatie van de EATMN-software”: situatie waarin alle softwareveiligheidseisen correct de eisen weergeven die in het kader van het risicobeoordelings- en -beperkingsproces aan de softwarecomponent worden gesteld en waarin de toepassing van die eisen overeenkomstig het vereiste softwarezekerheidsniveau is aangetoond.

Section 1. 1.1 of Annex III (General): The design, construction or assembly, maintenance and monitoring of safety-critical components and, more particularly, of the components involved in train movements must be such as to guarantee safety at the level corresponding to the aims laid down for the network, including those for specific degraded situations.
Punt 1. 1.1 van Bijlage III (Algemeen): Het ontwerp, de bouw of de fabricage, het onderhoud van en het toezicht op voor de veiligheidskritieke inrichtingen en meer bepaald de bij het treinverkeer betrokken onderdelen moeten de veiligheid waarborgen op het niveau dat beantwoordt aan de voor het net gestelde doelstellingen, ook in de nader omschreven situaties met beperkte werking.

– Embedded systems, computing and control: more powerful, secure, distributed, reliable and efficient hardware/software systems that can perceive, control and adapt to their environment while optimising the use of resources; methods and tools for system modelling, analysis, design, engineering and validation to master complexity; open composable architectures and scale-free platforms, middleware and distributed operating systems to enable truly seamless collaborative and ambient intelligent environments for sensing, actuation, computing, communication, storage, and service delivery; computing architectures incorporating heterogeneous, networked and reconfigurable components including compilation, programming and run-time support; control of large-scale, distributed, uncertain systems, high-performance computing (hardware and software) .
- Ingebedde systemen, computers en regelapparatuur: krachtigere, veilige, gedistribueerde, betrouwbare en efficiënte hard- en softwaresystemen voor waarneming, regeling en aanpassing aan de omgeving waarbij optimaal gebruik wordt gemaakt van de systeemelementen; methoden en gereedschappen voor systeemmodellering, -analyse, -ontwerp, -techniek en -validering waarmee de complexiteit kan worden beheerst; open configureerbare architecturen en schaalloze platforms, middleware en gedistribueerde besturingssystemen ten behoeve van echt naadloos samenwerkende omgevingen met omringende intelligentie voor sensoren, actuatoren, computers, communicatie- en opslagsystemen en dienstverlening; computerarchitecturen met heterogene, in netwerken opgenomen en herconfigureerbare componenten, waaronder compilatie-, programmerings- en runtime-ondersteuning; regeling van grootschalige, gedistribueerde, onzekere systemen; high-performance computing (hardware en software) .

– Embedded systems, computing and control: more powerful, secure, distributed, reliable and efficient hardware/software systems that can perceive, control and adapt to their environment while optimising the use of resources; methods and tools for system modelling, analysis, design, engineering and validation to master complexity; open composable architectures and scale-free platforms, middleware and distributed operating systems to enable truly seamless collaborative and ambient intelligent environments for sensing, actuation, computing, communication, storage, and service delivery; computing architectures incorporating heterogeneous, networked and reconfigurable components including compilation, programming and run-time support; control of large-scale, distributed, uncertain systems, high-performance computing (hardware and software).
- Ingebedde systemen, computers en regelapparatuur: krachtigere, veilige, gedistribueerde, betrouwbare en efficiënte hard- en softwaresystemen voor waarneming, regeling en aanpassing aan de omgeving waarbij optimaal gebruik wordt gemaakt van de systeemelementen; methoden en gereedschappen voor systeemmodellering, -analyse, -ontwerp, -techniek en -validering waarmee de complexiteit kan worden beheerst; open configureerbare architecturen en schaalloze platforms, middleware en gedistribueerde besturingssystemen ten behoeve van echt naadloos samenwerkende omgevingen met omringende intelligentie voor sensoren, actuatoren, computers, communicatie- en opslagsystemen en dienstverlening; computerarchitecturen met heterogene, in netwerken opgenomen en herconfigureerbare componenten, waaronder compilatie-, programmerings- en runtime-ondersteuning; regeling van grootschalige, gedistribueerde, onzekere systemen; high-performance computing (hardware en software).

The design, construction or assembly, maintenance and monitoring of safety-critical components and, more particularly, of the components involved in train movements must be such as to guarantee safety at the level corresponding to the aims laid down for the network, including those for specific degraded situations.
Het ontwerp, de bouw of de fabricage, het onderhoud aan en het toezicht op voor de veiligheid kritieke inrichtingen en meer bepaald de bij het treinverkeer betrokken onderdelen, moeten de veiligheid waarborgen op een niveau dat beantwoordt aan de voor het net gestelde doelstellingen, ook in de nader omschreven situaties met beperkte werking.