|
Showing 1 - 4 of
4 matches in All Departments
Nowadays, the prevalence of computing systems in our lives is so
ubiquitous that we live in a cyber-physical world dominated by
computer systems, from pacemakers to cars and airplanes. These
systems demand for more computational performance to process large
amounts of data from multiple data sources with guaranteed
processing times. Actuating outside of the required timing bounds
may cause the failure of the system, being vital for systems like
planes, cars, business monitoring, e-trading, etc. High-Performance
and Time-Predictable Embedded Computing presents recent advances in
software architecture and tools to support such complex systems,
enabling the design of embedded computing devices which are able to
deliver high-performance whilst guaranteeing the application
required timing bounds. Technical topics discussed in the book
include: - Parallel embedded platforms - Programming models -
Mapping and scheduling of parallel computations - Timing and
schedulability analysis - Runtimes and operating systems The work
reflected in this book was done in the scope of the European
project P SOCRATES, funded under the FP7 framework program of the
European Commission. High-performance and time-predictable embedded
computing is ideal for personnel in computer/communication/embedded
industries as well as academic staff and master/research students
in computer science, embedded systems, cyber-physical systems and
internet-of-things.
This book provides a comprehensive overview of both theoretical and
pragmatic aspects of resource-allocation and scheduling in
multiprocessor and multicore hard-real-time systems. The
authors derive new, abstract models of real-time tasks that capture
accurately the salient features of real application systems that
are to be implemented on multiprocessor platforms, and identify
rules for mapping application systems onto the most appropriate
models. New run-time multiprocessor scheduling algorithms
are presented, which are demonstrably better than those currently
used, both in terms of run-time efficiency and tractability of
off-line analysis. Readers will benefit from a new design
and analysis framework for multiprocessor real-time systems, which
will translate into a significantly enhanced ability to provide
formally verified, safety-critical real-time systems at a
significantly lower cost.
This book provides a comprehensive overview of both theoretical and
pragmatic aspects of resource-allocation and scheduling in
multiprocessor and multicore hard-real-time systems. The authors
derive new, abstract models of real-time tasks that capture
accurately the salient features of real application systems that
are to be implemented on multiprocessor platforms, and identify
rules for mapping application systems onto the most appropriate
models. New run-time multiprocessor scheduling algorithms are
presented, which are demonstrably better than those currently used,
both in terms of run-time efficiency and tractability of off-line
analysis. Readers will benefit from a new design and analysis
framework for multiprocessor real-time systems, which will
translate into a significantly enhanced ability to provide formally
verified, safety-critical real-time systems at a significantly
lower cost.
This book constitutes the refereed proceedings of the 21st
Ada-Europe International Conference on Reliable Software
Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.
The revised 12 full papers presented together with one invited
paper were carefully reviewed and selected from 28 submissions.
They are organized in topical sections on concurrency and
parallelism, testing and verification, program correctness and
robustness, and real-time systems.
|
|