|
Showing 1 - 10 of
10 matches in All Departments
Foundations of Dependable Computing: Paradigms for Dependable
Applications, presents a variety of specific approaches to
achieving dependability at the application level. Driven by the
higher level fault models of Models and Frameworks for Dependable
Systems, and built on the lower level abstractions implemented in a
third companion book subtitled System Implementation, these
approaches demonstrate how dependability may be tuned to the
requirements of an application, the fault environment, and the
characteristics of the target platform. Three classes of paradigms
are considered: protocol-based paradigms for distributed
applications, algorithm-based paradigms for parallel applications,
and approaches to exploiting application semantics in embedded
real-time control systems. The companion volume subtitled Models
and Frameworks for Dependable Systems presents two comprehensive
frameworks for reasoning about system dependability, thereby
establishing a context for understanding the roles played by
specific approaches presented in this book's two companion volumes.
It then explores the range of models and analysis methods necessary
to design, validate and analyze dependable systems. Another
companion book (published by Kluwer) subtitled System
Implementation, explores the system infrastructure needed to
support the various paradigms of Paradigms for Dependable
Applications. Approaches to implementing support mechanisms and to
incorporating additional appropriate levels of fault detection and
fault tolerance at the processor, network, and operating system
level are presented. A primary concern at these levels is balancing
cost and performance against coverage and overall dependability. As
these chapters demonstrate, low overhead, practical solutions are
attainable and not necessarily incompatible with performance
considerations. The section on innovative compiler support, in
particular, demonstrates how the benefits of application
specificity may be obtained while reducing hardware cost and
run-time overhead.
Foundations of Dependable Computing: System Implementation,
explores the system infrastructure needed to support the various
paradigms of Paradigms for Dependable Applications. Approaches to
implementing support mechanisms and to incorporating additional
appropriate levels of fault detection and fault tolerance at the
processor, network, and operating system level are presented. A
primary concern at these levels is balancing cost and performance
against coverage and overall dependability. As these chapters
demonstrate, low overhead, practical solutions are attainable and
not necessarily incompatible with performance considerations. The
section on innovative compiler support, in particular, demonstrates
how the benefits of application specificity may be obtained while
reducing hardware cost and run-time overhead. A companion to this
volume (published by Kluwer) subtitled Models and Frameworks for
Dependable Systems presents two comprehensive frameworks for
reasoning about system dependability, thereby establishing a
context for understanding the roles played by specific approaches
presented in this book's two companion volumes. It then explores
the range of models and analysis methods necessary to design,
validate and analyze dependable systems. Another companion to this
book (published by Kluwer), subtitled Paradigms for Dependable
Applications, presents a variety of specific approaches to
achieving dependability at the application level. Driven by the
higher level fault models of Models and Frameworks for Dependable
Systems, and built on the lower level abstractions implemented in a
third companion book subtitled System Implementation, these
approaches demonstrate how dependability may be tuned to the
requirements of an application, the fault environment, and the
characteristics of the target platform. Three classes of paradigms
are considered: protocol-based paradigms for distributed
applications, algorithm-based paradigms for parallel applications,
and approaches to exploiting application semantics in embedded
real-time control systems.
Foundations of Dependable Computing: Models and Frameworks for
Dependable Systems presents two comprehensive frameworks for
reasoning about system dependability, thereby establishing a
context for understanding the roles played by specific approaches
presented in this book's two companion volumes. It then explores
the range of models and analysis methods necessary to design,
validate and analyze dependable systems. A companion to this book
(published by Kluwer), subtitled Paradigms for Dependable
Applications, presents a variety of specific approaches to
achieving dependability at the application level. Driven by the
higher level fault models of Models and Frameworks for Dependable
Systems, and built on the lower level abstractions implemented in a
third companion book subtitled System Implementation, these
approaches demonstrate how dependability may be tuned to the
requirements of an application, the fault environment, and the
characteristics of the target platform. Three classes of paradigms
are considered: protocol-based paradigms for distributed
applications, algorithm-based paradigms for parallel applications,
and approaches to exploiting application semantics in embedded
real-time control systems. Another companion book (published by
Kluwer) subtitled System Implementation, explores the system
infrastructure needed to support the various paradigms of Paradigms
for Dependable Applications. Approaches to implementing support
mechanisms and to incorporating additional appropriate levels of
fault detection and fault tolerance at the processor, network, and
operating system level are presented. A primary concern at these
levels is balancing cost and performance against coverage and
overall dependability. As these chapters demonstrate, low overhead,
practical solutions are attainable and not necessarily incompatible
with performance considerations. The section on innovative compiler
support, in particular, demonstrates how the benefits of
application specificity may be obtained while reducing hardware
cost and run-time overhead.
This volume contains a selection of papers that focus on the
state-of the-art in real-time scheduling and resource management.
Preliminary versions of these papers were presented at a workshop
on the foundations of real-time computing sponsored by the Office
of Naval Research in October, 1990 in Washington, D.C. A companion
volume by the title Foundations of Real-Time Computing: Fonnal
Specifications and Methods complements this book by addressing many
of the most advanced approaches currently being investigated in the
arena of formal specification and verification of real-time
systems. Together, these two texts provide a comprehensive snapshot
of current insights into the process of designing and building
real-time computing systems on a scientific basis. Many of the
papers in this book take care to define the notion of real-time
system precisely, because it is often easy to misunderstand what is
meant by that term. Different communities of researchers variously
use the term real-time to refer to either very fast computing, or
immediate on-line data acquisition, or deadline-driven computing.
This text is concerned with the very difficult problems of
scheduling tasks and resource management in computer systems whose
performance is inextricably fused with the achievement of
deadlines. Such systems have been enabled for a rapidly increasing
set of diverse end-uses by the unremitting advances in computing
power per constant-dollar cost and per constant-unit-volume of
space. End-use applications of deadline-driven real-time computers
span a spectrum that includes transportation systems, robotics and
manufacturing, aerospace and defense, industrial process control,
and telecommunications."
This volume contains a selection of papers that focus on the
state-of the-art in formal specification and verification of
real-time computing systems. Preliminary versions of these papers
were presented at a workshop on the foundations of real-time
computing sponsored by the Office of Naval Research in October,
1990 in Washington, D. C. A companion volume by the title
Foundations of Real-Time Computing: Scheduling and Resource
Management complements this hook by addressing many of the recently
devised techniques and approaches for scheduling tasks and managing
resources in real-time systems. Together, these two texts provide a
comprehensive snapshot of current insights into the process of
designing and building real time computing systems on a scientific
basis. The notion of real-time system has alternative
interpretations, not all of which are intended usages in this
collection of papers. Different communities of researchers
variously use the term real-time to refer to either very fast
computing, or immediate on-line data acquisition, or
deadline-driven computing. This text is concerned with the formal
specification and verification of computer software and systems
whose correct performance is dependent on carefully orchestrated
interactions with time, e. g., meeting deadlines and synchronizing
with clocks. Such systems have been enabled for a rapidly
increasing set of diverse end-uses by the unremitting advances in
computing power per constant-dollar cost and per
constant-unit-volume of space. End use applications of real-time
computers span a spectrum that includes transportation systems,
robotics and manufacturing, aerospace and defense, industrial
process control, and telecommunications."
Foundations of Dependable Computing: Models and Frameworks for
Dependable Systems presents two comprehensive frameworks for
reasoning about system dependability, thereby establishing a
context for understanding the roles played by specific approaches
presented in this book's two companion volumes. It then explores
the range of models and analysis methods necessary to design,
validate and analyze dependable systems. A companion to this book
(published by Kluwer), subtitled Paradigms for Dependable
Applications, presents a variety of specific approaches to
achieving dependability at the application level. Driven by the
higher level fault models of Models and Frameworks for Dependable
Systems, and built on the lower level abstractions implemented in a
third companion book subtitled System Implementation, these
approaches demonstrate how dependability may be tuned to the
requirements of an application, the fault environment, and the
characteristics of the target platform. Three classes of paradigms
are considered: protocol-based paradigms for distributed
applications, algorithm-based paradigms for parallel applications,
and approaches to exploiting application semantics in embedded
real-time control systems. Another companion book (published by
Kluwer) subtitled System Implementation, explores the system
infrastructure needed to support the various paradigms of Paradigms
for Dependable Applications. Approaches to implementing support
mechanisms and to incorporating additional appropriate levels of
fault detection and fault tolerance at the processor, network, and
operating system level are presented. A primary concern at these
levels is balancing cost and performance against coverage and
overall dependability. As these chapters demonstrate, low overhead,
practical solutions are attainable and not necessarily incompatible
with performance considerations. The section on innovative compiler
support, in particular, demonstrates how the benefits of
application specificity may be obtained while reducing hardware
cost and run-time overhead.
Foundations of Dependable Computing: System Implementation,
explores the system infrastructure needed to support the various
paradigms of Paradigms for Dependable Applications. Approaches to
implementing support mechanisms and to incorporating additional
appropriate levels of fault detection and fault tolerance at the
processor, network, and operating system level are presented. A
primary concern at these levels is balancing cost and performance
against coverage and overall dependability. As these chapters
demonstrate, low overhead, practical solutions are attainable and
not necessarily incompatible with performance considerations. The
section on innovative compiler support, in particular, demonstrates
how the benefits of application specificity may be obtained while
reducing hardware cost and run-time overhead. A companion to this
volume (published by Kluwer) subtitled Models and Frameworks for
Dependable Systems presents two comprehensive frameworks for
reasoning about system dependability, thereby establishing a
context for understanding the roles played by specific approaches
presented in this book's two companion volumes. It then explores
the range of models and analysis methods necessary to design,
validate and analyze dependable systems. Another companion to this
book (published by Kluwer), subtitled Paradigms for Dependable
Applications, presents a variety of specific approaches to
achieving dependability at the application level. Driven by the
higher level fault models of Models and Frameworks for Dependable
Systems, and built on the lower level abstractions implemented in a
third companion book subtitled System Implementation, these
approaches demonstrate how dependability may be tuned to the
requirements of an application, the fault environment, and the
characteristics of the target platform. Three classes of paradigms
are considered: protocol-based paradigms for distributed
applications, algorithm-based paradigms for parallel applications,
and approaches to exploiting application semantics in embedded
real-time control systems.
Foundations of Dependable Computing: Paradigms for Dependable
Applications, presents a variety of specific approaches to
achieving dependability at the application level. Driven by the
higher level fault models of Models and Frameworks for Dependable
Systems, and built on the lower level abstractions implemented in a
third companion book subtitled System Implementation, these
approaches demonstrate how dependability may be tuned to the
requirements of an application, the fault environment, and the
characteristics of the target platform. Three classes of paradigms
are considered: protocol-based paradigms for distributed
applications, algorithm-based paradigms for parallel applications,
and approaches to exploiting application semantics in embedded
real-time control systems. The companion volume subtitled Models
and Frameworks for Dependable Systems presents two comprehensive
frameworks for reasoning about system dependability, thereby
establishing a context for understanding the roles played by
specific approaches presented in this book's two companion volumes.
It then explores the range of models and analysis methods necessary
to design, validate and analyze dependable systems. Another
companion book (published by Kluwer) subtitled System
Implementation, explores the system infrastructure needed to
support the various paradigms of Paradigms for Dependable
Applications. Approaches to implementing support mechanisms and to
incorporating additional appropriate levels of fault detection and
fault tolerance at the processor, network, and operating system
level are presented. A primary concern at these levels is balancing
cost and performance against coverage and overall dependability. As
these chapters demonstrate, low overhead, practical solutions are
attainable and not necessarily incompatible with performance
considerations. The section on innovative compiler support, in
particular, demonstrates how the benefits of application
specificity may be obtained while reducing hardware cost and
run-time overhead.
This volume contains a selection of papers that focus on the
state-of the-art in formal specification and verification of
real-time computing systems. Preliminary versions of these papers
were presented at a workshop on the foundations of real-time
computing sponsored by the Office of Naval Research in October,
1990 in Washington, D. C. A companion volume by the title
Foundations of Real-Time Computing: Scheduling and Resource
Management complements this hook by addressing many of the recently
devised techniques and approaches for scheduling tasks and managing
resources in real-time systems. Together, these two texts provide a
comprehensive snapshot of current insights into the process of
designing and building real time computing systems on a scientific
basis. The notion of real-time system has alternative
interpretations, not all of which are intended usages in this
collection of papers. Different communities of researchers
variously use the term real-time to refer to either very fast
computing, or immediate on-line data acquisition, or
deadline-driven computing. This text is concerned with the formal
specification and verification of computer software and systems
whose correct performance is dependent on carefully orchestrated
interactions with time, e. g., meeting deadlines and synchronizing
with clocks. Such systems have been enabled for a rapidly
increasing set of diverse end-uses by the unremitting advances in
computing power per constant-dollar cost and per
constant-unit-volume of space. End use applications of real-time
computers span a spectrum that includes transportation systems,
robotics and manufacturing, aerospace and defense, industrial
process control, and telecommunications."
This volume contains a selection of papers that focus on the
state-of the-art in real-time scheduling and resource management.
Preliminary versions of these papers were presented at a workshop
on the foundations of real-time computing sponsored by the Office
of Naval Research in October, 1990 in Washington, D.C. A companion
volume by the title Foundations of Real-Time Computing: Fonnal
Specifications and Methods complements this book by addressing many
of the most advanced approaches currently being investigated in the
arena of formal specification and verification of real-time
systems. Together, these two texts provide a comprehensive snapshot
of current insights into the process of designing and building
real-time computing systems on a scientific basis. Many of the
papers in this book take care to define the notion of real-time
system precisely, because it is often easy to misunderstand what is
meant by that term. Different communities of researchers variously
use the term real-time to refer to either very fast computing, or
immediate on-line data acquisition, or deadline-driven computing.
This text is concerned with the very difficult problems of
scheduling tasks and resource management in computer systems whose
performance is inextricably fused with the achievement of
deadlines. Such systems have been enabled for a rapidly increasing
set of diverse end-uses by the unremitting advances in computing
power per constant-dollar cost and per constant-unit-volume of
space. End-use applications of deadline-driven real-time computers
span a spectrum that includes transportation systems, robotics and
manufacturing, aerospace and defense, industrial process control,
and telecommunications."
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|