|
Showing 1 - 3 of
3 matches in All Departments
This book offers readers broad coverage of techniques to model,
verify and validate the behavior and performance of complex
distributed embedded systems. The authors attempt to bridge the gap
between the three disciplines of model-based design, real-time
analysis and model-driven development, for a better understanding
of the ways in which new development flows can be constructed,
going from system-level modeling to the correct and predictable
generation of a distributed implementation, leveraging current and
future research results.
This book to offers a hands-on guide to designing, analyzing and
debugging a communication infrastructure based on the Controller
Area Network (CAN) bus. Although the CAN bus standard is well
established and currently used in most automotive systems, as well
as avionics, medical systems and other devices, its features are
not fully understood by most developers, who tend to misuse the
network. This results in lost opportunities for better efficiency
and performance. These authors offer a comprehensive range of
architectural solutions and domains of analysis. It also provides
formal models and analytical results, with thorough discussion of
their applicability, so that it serves as an invaluable reference
for researchers and students, as well as practicing engineers.
This book offers readers broad coverage of techniques to model,
verify and validate the behavior and performance of complex
distributed embedded systems. The authors attempt to bridge the gap
between the three disciplines of model-based design, real-time
analysis and model-driven development, for a better understanding
of the ways in which new development flows can be constructed,
going from system-level modeling to the correct and predictable
generation of a distributed implementation, leveraging current and
future research results.
|
|