MARC details
000 -LEADER |
fixed length control field |
11915cam a22005532i 4500 |
001 - CONTROL NUMBER |
control field |
022504673 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
UkOxU |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220408141508.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr |n||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
131216s2014 ne a ob 001 0 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2013027695 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0124166563 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780124166561 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780124166196 |
Qualifying information |
(alk. paper) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0124166199 |
Qualifying information |
(alk. paper) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1306070805 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781306070805 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)872699357 |
Canceled/invalid control number |
(OCoLC)862050244 |
-- |
(OCoLC)862364214 |
-- |
(OCoLC)961487021 |
-- |
(OCoLC)1039479394 |
-- |
(OCoLC)1162301508 |
-- |
(OCoLC)1229061165 |
-- |
(OCoLC)1235115333 |
037 ## - SOURCE OF ACQUISITION |
Stock number |
538331 |
Source of stock number/acquisition |
MIL |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
LCC |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
CNSPO |
Modifying agency |
OCLCO |
-- |
YDXCP |
-- |
EBLCP |
-- |
OPELS |
-- |
N$T |
-- |
UPM |
-- |
DEBSZ |
-- |
OCLCQ |
-- |
MERUC |
-- |
OCLCQ |
-- |
AZK |
-- |
IDEBK |
-- |
CDX |
-- |
ESU |
-- |
U3W |
-- |
D6H |
-- |
OCLCQ |
-- |
WYU |
-- |
OCLCQ |
-- |
VLY |
-- |
S2H |
-- |
OCLCO |
-- |
REDDC |
-- |
gsu |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
EQOA |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
TK7895.E42 |
Item number |
S3985 2014 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
000000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
006.2/2 |
Edition number |
23 |
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) |
Classification number |
WMS872699357 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Selic, Bran, |
Relator term |
author. |
245 10 - TITLE STATEMENT |
Title |
Modeling and analysis of real-time and embedded systems with UML and MARTE : |
Remainder of title |
developing cyber-physical systems / |
Statement of responsibility, etc. |
Bran Selić, Sébastien Gérard. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Amsterdam : |
Name of producer, publisher, distributor, manufacturer |
Elsevier, |
Date of production, publication, distribution, manufacture, or copyright notice |
[2014] |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (xxvi, 287 pages .) |
Other physical details |
illustrations (same color) |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
The MK/OMG Press |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references and index. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Machine generated contents note: pt. I INTRODUCTION TO MARTE -- ch. 1 An Overview of MARTE -- 1.1. Introduction -- 1.2. Why model? -- 1.3.A simple example -- 1.4. What does MARTE add to UML? -- 1.5. Conceptual foundations and design principles -- 1.5.1. Foundational concepts: Applications, platforms, and deployment -- 1.5.2. Foundational concepts (1): Resources, brokers, services, usages -- 1.5.3. Foundational concepts (2): Physical data types and values -- 1.5.4. Foundational concepts (3): Time and timed behavior -- 1.5.5. Foundational concepts (4): Class/instance unification [Advanced] -- 1.5.6. Core design principle (1): Support for concern-specific representations [Advanced] -- 1.5.7. Core design principle (2): Composite stereotypes [Advanced] -- 1.5.8. Core design principle (3): Modularity for scalability [Advanced] -- 1.6. Standard use cases for MARTE -- 1.6.1. Use case (1): Application modeling -- 1.6.2. Use case (2): Modeling platforms -- 1.6.3. Use case (3): Specifying deployment -- 1.6.4. Use case (4): Analyze model -- 1.6.5. Use case (5): Create a new analysis profile -- 1.6.6. Use case (6): Configure product variant -- 1.6.7. Use case (7): Extend MARTE -- 1.7. Tool support for MARTE -- 1.8. Summary -- References -- pt. II FOUNDATIONS -- ch. 2 An Introduction to UML Profiles -- 2.1. Introduction -- 2.2. The two kinds of profiles -- 2.3. How profiles work -- 2.3.1. Metamodels -- 2.3.2. The stereotype concept -- 2.3.3. First-class language concepts -- 2.3.4. Profile packages -- 2.3.5. Using stereotypes in models -- 2.3.6. Under the hood: How stereotypes are implemented -- 2.3.7. Denotational and annotational properties of stereotypes -- 2.3.8. Multibased stereotypes -- 2.4. Conventions related to the use of profiles -- 2.4.1. Default values of omitted stereotype properties -- 2.4.2. Transitivity of class stereotypes to elements representing instances -- 2.4.3. Inheritance of stereotype applications -- 2.5. Model libraries for profiles -- 2.6. Specializing profiles -- 2.7. Summary -- References -- ch. 3 MARTE Foundations: Specifying Non-functional Properties -- 3.1. Introduction -- 3.2. The modeling of physical data types in MARTE -- 3.3. How to use the MARTE standard physical types -- 3.3.1. Time types, time values, and time expressions -- 3.4. Adding new physical data types [Advanced] -- 3.4.1. Step 1: Defining the physical units and their concrete representation -- 3.4.2. Step 2: Defining the unit type (Dimension) of the physical type -- 3.4.3. Step 3: Defining the new physical type -- 3.5. Specifying probabilistic values for physical data types [Advanced] -- 3.6. Specifying required and offered values -- 3.7. Summary -- References -- ch. 4 MARTE Foundations: Modeling Time and Resources -- 4.1. Introduction -- 4.2. Modeling with time and clocks -- 4.2.1. Two alternatives for dealing with time values -- 4.2.2. MARTE models of time -- 4.2.3. Base concepts for explicit reference clock modeling -- 4.2.4. Modeling clocks -- 4.2.5. The ideal clock -- 4.2.6. Associating behavior with time -- 4.2.7. Timed constraints -- 4.2.8. Modeling timers and timeouts -- 4.3. Modeling resources -- 4.3.1. Conceptual framework for representing resources -- 4.3.2. Modeling resources -- 4.3.3. Modeling resource services -- 4.3.4. Modeling resource usages -- 4.4. Summary -- References -- pt. III MODELING REAL-TIME SYSTEMS WITH MARTE -- ch. 5 Modeling Software Applications -- 5.1. Introduction -- 5.2. Distinguishing characteristics of "real-time" applications -- 5.3. Application modeling foundations -- 5.3.1. Software resources -- 5.3.2. Software resource services -- 5.4. Dealing with concurrency -- 5.4.1. Modeling concurrent tasks -- 5.4.2. Modeling synchronization mechanisms -- 5.4.3. Modeling task communications mechanisms -- 5.5. Dealing with timeliness -- 5.5.1. Modeling clocks and timers via the implicit approach -- 5.5.2. Associating time with services and service invocations [Advanced] -- 5.5.3. Modeling cyclical behaviors -- 5.6. Dealing with asynchrony and hardware interfacing -- 5.6.1. Modeling interrupt sources and interrupt handling -- 5.6.2. Modeling signal-based notifications -- 5.7. Dealing with resource limitations (Specifying platform requirements) -- 5.8. Summary -- References -- ch. 6 Modeling Platforms -- 6.1. Introduction -- 6.2. What is a platform? -- 6.3. Why model platforms? -- 6.4. MARTE approach to modeling platforms -- 6.4.1. Platform modeling -- core concepts -- 6.4.2. Modeling processing resources -- 6.4.3. Modeling storage resources -- 6.4.4. Modeling communications resources -- 6.4.5. Modeling concurrency resources -- 6.4.6. Modeling synchronization resources -- 6.4.7. Modeling hardware devices and interrupt sources -- 6.4.8. Modeling concepts for physical platform modeling -- 6.5. Platform modeling guidelines -- 6.5.1. Specifying offered quality of service using NFP_Constraint -- 6.5.2. How detailed should a platform model be? -- 6.5.3. Platforms: Class-based or instance-based models? -- 6.5.4. The acceptable platform design pattern [Advanced] -- 6.6. Summary -- References -- ch. 7 Modeling Deployment -- 7.1. Introduction -- 7.2. The two primary use cases for deployment modeling -- 7.3. The assign and allocate stereotypes -- 7.4. Specifying required and provided QoS values via deployment -- 7.5. Granularity and meaning of deployment specifications -- 7.6. Capturing multiple deployment variants -- 7.7. Limitations of the UML approach to modeling deployment [Advanced] -- 7.8. Summary -- References -- ch. 8 Modeling Cyber-Physical Systems: Combining MARTE with SysML -- 8.1. Introduction -- 8.2. The SysML profile -- 8.3. Why use SysML and MARTE together? -- 8.4. Methods of combining SysML and MARTE -- 8.5.Common scenarios of joint use of SysML and MARTE -- 8.5.1. Use case: Supplementing SysML requirements with MARTE NFP specifications -- 8.5.2. Use case: Transitioning between models at different levels of abstraction -- 8.5.3. Use case: Engineering analysis of a SysML model using MARTE analysis facilities -- 8.6. Summary -- References -- pt. IV SYSTEM ANALYSIS WITH MARTE -- ch. 9 Foundations for Model-Based Analysis -- 9.1. Introduction -- 9.2. The demand -- supply analysis pattern -- 9.3. Model-based design analysis -- 9.3.1. Design models versus analysis models -- 9.3.2. Design space exploration with MARTE-based model analysis -- 9.3.3. Instance versus class models for analysis -- 9.4. GQAM concepts -- 9.4.1. The analysis context -- 9.4.2. Specifying demand: Workload -- 9.4.3. Specifying the supply side: Scenarios and steps -- 9.4.4. Platforms -- 9.4.5. Defining timing constraints using time observers -- 9.5. Summary -- References -- ch. 10 Model-Based Schedulability Analysis -- 10.1. Introduction -- 10.2. Basic SAM concepts -- 10.2.1. Analysis context -- 10.2.2. Specifying workloads for schedulability analysis -- 10.2.3. Specifying platforms for schedulability analysis -- 10.3. An example of schedulability analysis -- 10.3.1.A simple ABS system -- 10.3.2. Schedulability analysis example -- 10.3.3. Creating a platform model for analysis -- 10.3.4. Creating workload descriptions -- 10.3.5. Defining analysis contexts -- 10.3.6. Performing a rate monotonic schedulability analysis -- 10.4. Summary -- References -- ch. 11 Model-Based Performance Analysis -- 11.1. Introduction -- 11.2. Concepts of performance analysis -- 11.3. MARTE performance analysis example -- 11.4. Key stereotypes for performance analysis -- 11.5. Construction of a simple Pmodel, and bottleneck analysis -- 11.5.1. Creating a QN model -- 11.6. More complex annotations -- 11.6.1. Parameterized values -- 11.6.2. NFP types -- 11.6.3. Message handling delays -- 11.6.4. Logical resources -- 11.6.5. Importation of external operations -- 11.6.6. Required values and other sources of values -- 11.7. Modeling with multiple scenarios -- 11.8. The typical performance analysis process -- 11.9. Summary -- References -- pt. V EXTENDING MARTE -- ch. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
12 Extending MARTE [Advanced] -- 12.1. Introduction -- 12.2. How to add missing modeling capabilities to MARTE -- 12.3. Extending the MARTE domain-specific language -- a case study -- 12.3.1.A quick overview of AADL -- 12.3.2. Mapping of AADL concepts to MARTE -- 12.3.3. Extending multiple base classes -- 12.3.4. Selecting base classes for stereotypes -- 12.4. Who should define language extensions? -- 12.5. Summary -- Appendices -- Appendix A The Value Specification Language (VSL) -- A.1. Why VSL? -- A.2. Where to apply VSL -- A.3. Quick (abbreviated) VSL user guide -- A.3.1. Modeling structured data types with VSL [Advanced] -- A.3.2. VSL expressions -- A.4. Alternatives to VSL -- A.4.1. The Alf language -- A.4.2. SysML parametrics and physical types -- A.5. Summary -- References -- Appendix B MARTE Library Types -- Quick Reference -- B.1. Introduction -- B.2. The MARTE library primitive types -- B.3. The MARTE library measurement units -- B.4. The MARTE library basic NFP types -- B.5. The MARTE library time types -- B.6. Other MARTE library types -- References -- Appendix C MARTE Stereotypes -- Quick Reference -- References. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software. Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern. |
546 ## - LANGUAGE NOTE |
Language note |
English. |
588 ## - SOURCE OF DESCRIPTION NOTE |
Source of description note |
Description based on print version record. |
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
Uniform title |
UML (Computer science) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Embedded computer systems |
General subdivision |
Computer simulation. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
COMPUTERS |
General subdivision |
General. |
Source of heading or term |
bisacsh |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Gérard, Sébastien, |
Relator term |
author. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Print version: |
Main entry heading |
Selic, Bran. |
Title |
Modeling and analysis of real-time and embedded systems with UML and MARTE. |
International Standard Book Number |
9780124166196 |
-- |
0124166199 |
Record control number |
(DLC) 2013027695 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
MK/OMG Press. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
ScienceDirect All Books |
Uniform Resource Identifier |
<a href="https://www.sciencedirect.com/science/book/9780124166196">https://www.sciencedirect.com/science/book/9780124166196</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Library of Congress Classification |
Koha item type |
Books |
Suppress in OPAC |
No |