عنوان
پدید آورنده
موضوع
رده
TK7895.E42 G56 2007eb
TK7895
.
E42
G56
2007eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1280955473
(Number (ISBN
140206151X
(Number (ISBN
1402061536
(Number (ISBN
6610955476
(Number (ISBN
9781280955471
(Number (ISBN
9781402061516
(Number (ISBN
9781402061530
(Number (ISBN
9786610955473
NATIONAL BIBLIOGRAPHY NUMBER
Number
b750979
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Global specification and validation of embedded systems :
General Material Designation
[Book]
Other Title Information
integrating heterogeneous components /
First Statement of Responsibility
by G. Nicolescu and A.A. Jerraya [eds.].
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
©2007.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 148 pages) :
Other Physical Details
illustrations
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Heterogeneous Systems Modeling: Basic Concepts -- Execution Models -- Heterogeneous Systems Validation Based on Execution Models -- Anatomy of a Hardware/Software Execution Model in Heterogeneous Systems -- Anatomy of a Continuous/Discrete System Execution Model for Timed Execution of Heterogeneous Systems -- Methodology for Heterogeneous Systems Validation.
0
SUMMARY OR ABSTRACT
Text of Note
Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, cochlear implants), transportation (ex. automotive and aeronautical), etc. The main difficulties for their design are modelling and validation of the interactions between different components (hardware, software, analogue, RF, optical and micro-mechanical). Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems will be used to illustrate these concepts. The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems. The examples give to the designers solutions applicable in their daily practice.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer
Stock Number
978-1-4020-6151-6
OTHER EDITION IN ANOTHER MEDIUM
Title
Global specification and validation of embedded systems.
International Standard Book Number
9781402061516
PIECE
Title
Springer e-books
TOPICAL NAME USED AS SUBJECT
Computer programs-- Validation.
Embedded computer systems.
Heterogeneous computing.
Computer programs-- Validation.
COMPUTERS-- Hardware-- Handheld Devices.
COMPUTERS-- Hardware-- Personal Computers-- General.
COMPUTERS-- Microprocessors.
Embedded computer systems.
Heterogeneous computing.
Ingénierie.
(SUBJECT CATEGORY (Provisional
COM-- 041000
COM-- 050000
COM-- 074000
TJFC
DEWEY DECIMAL CLASSIFICATION
Number
004
.
16
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK7895
.
E42
Book number
G56
2007eb
OTHER CLASS NUMBERS
Class number
53
.
57
Class number
54
.
31
System Code
bcl
System Code
bcl
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Jerraya, Ahmed A., (Ahmed Amine)
Nicolescu, G., (Gabriela)
ORIGINATING SOURCE
Date of Transaction
20201204104259.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
