| 000 -LEADER |
|---|
| fixed length control field |
04760nam a22005655i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-0-387-27559-8 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20161121230516.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100806s2005 xxu| s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780387275598 |
| -- |
978-0-387-27559-8 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/11523277 |
| Source of number or code |
doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK5105.5-5105.9 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UKN |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM075000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.6 |
| Edition number |
23 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
From Specification to Embedded Systems Application |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc. |
edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
IFIP TC10 Working Conference: Internationall Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Boston, MA : |
| Name of producer, publisher, distributor, manufacturer |
Springer US : |
| -- |
Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2005. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XII, 320 p. |
| Other physical details |
online resource. |
| 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
IFIP On-Line Library in Computer Science, |
| International Standard Serial Number |
1868-4238 ; |
| Volume/sequential designation |
184 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Design Methodology -- Domain-Crossing Software Product Lines in Embedded Automotive Systems -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed Development of Embedded Systems -- An Embedded SW Design Exploration Approach based on UML Estimation Tools -- Software Synthesis and Power Management -- Embedded Hard Real-Time Software Synthesis considering Dispatcher Overheads -- Formal Verification and Testing -- Specification-based Testing of Real-Time Embedded Systems -- Enhancing Interaction Support in the CORBA Component Model -- Network and Communication Systems -- Adaptable Switch Boxes as On-Chip Routing Nodes for Networks-On-Chip -- Distributed Control Systems -- Integration of Two Complementary Time-Triggered Technologies: TMO and TTP -- Towards Run-Time Partitioning of a Real-Time Operating System for Reconfigurable Systems on a Chip -- Partitioning Metrics for Improved Performance and Economy of Distributed Embedded Systems. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
As almost no other technology, embedded systems is an essential element of many innovations in automotive engineering. New functions and improvements of already existing functions, as well as the compliance with traffic regulations and customer requirements, have only become possible by the increasing use of electronic systems, especially in the fields of driving, safety, reliability, and functionality. Along with the functionalities that increase in number and have to cooperate, the complexity of the entire system will increase. Synergy effects resulting from distributed application functionalities via several electronic control devies, exchanging information through the network brings about more complex system architectures with many different sub-networks, operating with different velocities and different protocol implementations. To manage the increasing complexity of these systems, a deterministic behaviour of the control units and the communication network must be provided for, in particular when dealing with a distributed functionality. From Specification to Embedded Systems Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer communication systems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Operating systems (Computers). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computers. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Artificial Intelligence (incl. Robotics). |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Operating Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Information Systems and Communication Service. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software Engineering/Programming and Operating Systems. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rettberg, Achim. |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Zanella, Mauro C. |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rammig, Franz J. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9780387275574 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
IFIP On-Line Library in Computer Science, |
| International Standard Serial Number |
1868-4238 ; |
| Volume/sequential designation |
184 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/11523277 |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
