Open Systems Dependability
portes grátis
Open Systems Dependability
Dependability Engineering for Ever-Changing Systems, Second Edition
Tokoro, Mario
Taylor & Francis Ltd
12/2020
288
Mole
Inglês
9780367738174
15 a 20 dias
530
Descrição não disponível.
Introduction. Open Systems Dependability. The DEOS Technology. D-Case: Building Consensus and Achieving Accountability. D-Case Tools. D-Case Integrity Checking and Formal Assurance Case. D-RE: The DEOS Runtime Environment Runtime Environment. D-Script: System Operation Based on D-Case Agreement. D-ADD-The Agreement Description Database. Toward Standardization of Open Systems Dependability. Concluding Remarks. Appendix. Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
DEOS Process;Monitor Node;DEOS;Assurance Case;D-Case;Context Nodes;D-Add;Add;D-Script;Document Management System;Accountability Achievement;Failure Response;Software Verifi Cation;System Failure;SIL;Guest Operating System;St Ag;Safety Case;Application Containers;Operation Scripts;CMIS;IEC JTC1;Commercial Broadcast System;Argument Tree;IFIP WG;Natural Language Descriptions;Risk Analysis Phase;System Container;Virtual Machine Monitor
Introduction. Open Systems Dependability. The DEOS Technology. D-Case: Building Consensus and Achieving Accountability. D-Case Tools. D-Case Integrity Checking and Formal Assurance Case. D-RE: The DEOS Runtime Environment Runtime Environment. D-Script: System Operation Based on D-Case Agreement. D-ADD-The Agreement Description Database. Toward Standardization of Open Systems Dependability. Concluding Remarks. Appendix. Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
DEOS Process;Monitor Node;DEOS;Assurance Case;D-Case;Context Nodes;D-Add;Add;D-Script;Document Management System;Accountability Achievement;Failure Response;Software Verifi Cation;System Failure;SIL;Guest Operating System;St Ag;Safety Case;Application Containers;Operation Scripts;CMIS;IEC JTC1;Commercial Broadcast System;Argument Tree;IFIP WG;Natural Language Descriptions;Risk Analysis Phase;System Container;Virtual Machine Monitor
