|
Showing 1 - 2 of
2 matches in All Departments
In a component-based approach for system design, one of the
challenging problems is the way to prove the correctness of the
created components. Usually, the constituent components are
supposed to be correct - possessing the desirable properties and
free from undesirable ones. However, the operators may destroy
these properties or create new ones, resulting in an undesirable
new component. Hence, every created component has to go through a
new process of verification, involving a tremendous amount of
effort.This book presents a component -based methodology for the
creation and verification of design specifications. The methodology
is formally presented as an algebra called Property-Preserving
Petri Net Process Algebra (PPPA). PPPA includes five classes of
operators, and the authors show that every operator of PPPA can
preserve a large number of basic system properties. Therefore, if
the initial set of primitive components satisfies some of these
properties, the created components will also "automatically"
satisfy them without the need for further verification - thus
greatly saving verification efforts.
This book introduces the impact of channel aggregation (CA) and
channel fragmentation (CF) on traffic flows, through analytical
models, computer simulations, and test-bed implementations. Its
content includes the concept of CA and CF, the basic concept and
calculation of Markov chains (MCs), the modeling process of the CA
and CF enabled system via MCs, the process of simulations, and a
test-bed study based on a software defined radio. This book can
serve as a study guide for advanced-level students, who are
interested in studying the impact of CA and CF techniques on
traffic flows. This book would also interest communication
engineers, who would like to learn MC modeling for performance
evaluations, as it includes a step-by-step guidance for the
modeling process via MCs, as well as its simulation approaches.
|
You may like...
Tenet
John David Washington, Robert Pattinson, …
DVD
R53
Discovery Miles 530
|