Embedded Systems Development: From Functional Models to Implementations
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
2014
|
| Schriftenreihe: | Embedded Systems
20 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 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. Describes integration of heterogeneous models; Discusses synthesis of task model implementations and code implementations; Compares model-based design vs. model-driven approaches; Explains how to enforce correctness by construction in the functional and time domains; Includes optimization techniques for control performance |
| Beschreibung: | 1 Online-Ressource (VIII, 223 p.) 74 illus., 44 illus. in color |
| ISBN: | 9781461438793 |
| DOI: | 10.1007/978-1-4614-3879-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV041470853 | ||
| 003 | DE-604 | ||
| 005 | 20131223 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131210s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461438793 |9 978-1-4614-3879-3 | ||
| 024 | 7 | |a 10.1007/978-1-4614-3879-3 |2 doi | |
| 035 | |a (OCoLC)869827944 | ||
| 035 | |a (DE-599)BVBBV041470853 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-92 |a DE-634 |a DE-859 |a DE-898 |a DE-573 |a DE-861 |a DE-706 |a DE-863 |a DE-862 | ||
| 082 | 0 | |a 621.3815 |2 23 | |
| 100 | 1 | |a Sangiovanni-Vincentelli, Alberto |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Embedded Systems Development |b From Functional Models to Implementations |c edited by Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel |
| 264 | 1 | |c 2014 | |
| 300 | |a 1 Online-Ressource (VIII, 223 p.) |b 74 illus., 44 illus. in color | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Embedded Systems |v 20 | |
| 500 | |a 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. Describes integration of heterogeneous models; Discusses synthesis of task model implementations and code implementations; Compares model-based design vs. model-driven approaches; Explains how to enforce correctness by construction in the functional and time domains; Includes optimization techniques for control performance | ||
| 505 | 0 | |a Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems -- Part I Model-Based Design and Synthesis -- Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets -- Dataflow-based, Cross-Platform Design Flow for DSP Applications -- Part II Model-Driven, Integration and Verification of Heterogeneous Models -- On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification -- Schedulability Analysis at Early Design Stages with MARTE -- Part III Component-Based Design and Real-Time Components -- Early Time-Budgeting for Component-Based Embedded Control Systems -- Contract-Based Reasoning for Component systems with Rich Interactions -- Extracting End-to-end Timing Models from Component-Based Distributed Embedded Systems -- Part IV Timing Analysis and Time-Based Synthesis -- Distributed Priority Assignment in Real-Time Systems -- Exploration of Distributed Automotive Systems using Compositional Timing Analysis -- Design and Evaluation of Future Ethernet AVB-based ECU Networks | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Electronics | |
| 650 | 4 | |a Systems engineering | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Electronics and Microelectronics, Instrumentation | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 700 | 1 | |a Zeng, Haibo |e Sonstige |4 oth | |
| 700 | 1 | |a Di Natale, Marco |e Sonstige |4 oth | |
| 700 | 1 | |a Marwedel, Peter |e Sonstige |4 oth | |
| 830 | 0 | |a Embedded Systems |v 20 |w (DE-604)BV041539022 |9 20 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4614-3879-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026916995&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026916995&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026916995 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-3879-3 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 1015558 |
|---|---|
| _version_ | 1824553635997024256 |
| adam_text | EMBEDDED SYSTEMS DEVELOPMENT
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION: MODELING, ANALYSIS AND SYNTHESIS OF EMBEDDED SOFTWARE AND
SYSTEMS
PART I MODEL-BASED DESIGN AND SYNTHESIS
MODELING, ANALYSIS, AND IMPLEMENTATION OF STREAMING APPLICATIONS FOR
HARDWARE TARGETS
DATAFLOW-BASED, CROSS-PLATFORM DESIGN FLOW FOR DSP APPLICATIONS
PART II MODEL-DRIVEN, INTEGRATION AND VERIFICATION OF HETEROGENEOUS
MODELS
ON INTEGRATING EAST-ADL AND UPPAAL FOR EMBEDDED SYSTEM ARCHITECTURE
VERIFICATION
SCHEDULABILITY ANALYSIS AT EARLY DESIGN STAGES WITH MARTE
PART III COMPONENT-BASED DESIGN AND REAL-TIME COMPONENTS
EARLY TIME-BUDGETING FOR COMPONENT-BASED EMBEDDED CONTROL SYSTEMS
CONTRACT-BASED REASONING FOR COMPONENT SYSTEMS WITH RICH INTERACTIONS
EXTRACTING END-TO-END TIMING MODELS FROM COMPONENT-BASED DISTRIBUTED
EMBEDDED SYSTEMS
PART IV TIMING ANALYSIS AND TIME-BASED SYNTHESIS
DISTRIBUTED PRIORITY ASSIGNMENT IN REAL-TIME SYSTEMS
EXPLORATION OF DISTRIBUTED AUTOMOTIVE SYSTEMS USING COMPOSITIONAL TIMING
ANALYSIS
DESIGN AND EVALUATION OF FUTURE ETHERNET AVB-BASED ECU NETWORKS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
EMBEDDED SYSTEMS DEVELOPMENT
/
: 2014
ABSTRACT / INHALTSTEXT
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.
DESCRIBES INTEGRATION OF HETEROGENEOUS MODELS; DISCUSSES SYNTHESIS OF
TASK MODEL IMPLEMENTATIONS AND CODE IMPLEMENTATIONS; COMPARES
MODEL-BASED DESIGN VS. MODEL-DRIVEN APPROACHES; EXPLAINS HOW TO ENFORCE
CORRECTNESS BY CONSTRUCTION IN THE FUNCTIONAL AND TIME DOMAINS; INCLUDES
OPTIMIZATION TECHNIQUES FOR CONTROL PERFORMANCE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Sangiovanni-Vincentelli, Alberto |
| author_facet | Sangiovanni-Vincentelli, Alberto |
| author_role | aut |
| author_sort | Sangiovanni-Vincentelli, Alberto |
| author_variant | a s v asv |
| building | Verbundindex |
| bvnumber | BV041470853 |
| collection | ZDB-2-ENG |
| contents | Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems -- Part I Model-Based Design and Synthesis -- Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets -- Dataflow-based, Cross-Platform Design Flow for DSP Applications -- Part II Model-Driven, Integration and Verification of Heterogeneous Models -- On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification -- Schedulability Analysis at Early Design Stages with MARTE -- Part III Component-Based Design and Real-Time Components -- Early Time-Budgeting for Component-Based Embedded Control Systems -- Contract-Based Reasoning for Component systems with Rich Interactions -- Extracting End-to-end Timing Models from Component-Based Distributed Embedded Systems -- Part IV Timing Analysis and Time-Based Synthesis -- Distributed Priority Assignment in Real-Time Systems -- Exploration of Distributed Automotive Systems using Compositional Timing Analysis -- Design and Evaluation of Future Ethernet AVB-based ECU Networks |
| ctrlnum | (OCoLC)869827944 (DE-599)BVBBV041470853 |
| dewey-full | 621.3815 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815 |
| dewey-search | 621.3815 |
| dewey-sort | 3621.3815 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-1-4614-3879-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05085nmm a2200637zcb4500</leader><controlfield tag="001">BV041470853</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131223 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131210s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461438793</subfield><subfield code="9">978-1-4614-3879-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4614-3879-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)869827944</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041470853</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sangiovanni-Vincentelli, Alberto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Embedded Systems Development</subfield><subfield code="b">From Functional Models to Implementations</subfield><subfield code="c">edited by Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 223 p.)</subfield><subfield code="b">74 illus., 44 illus. in color</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Embedded Systems</subfield><subfield code="v">20</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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. Describes integration of heterogeneous models; Discusses synthesis of task model implementations and code implementations; Compares model-based design vs. model-driven approaches; Explains how to enforce correctness by construction in the functional and time domains; Includes optimization techniques for control performance</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems -- Part I Model-Based Design and Synthesis -- Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets -- Dataflow-based, Cross-Platform Design Flow for DSP Applications -- Part II Model-Driven, Integration and Verification of Heterogeneous Models -- On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification -- Schedulability Analysis at Early Design Stages with MARTE -- Part III Component-Based Design and Real-Time Components -- Early Time-Budgeting for Component-Based Embedded Control Systems -- Contract-Based Reasoning for Component systems with Rich Interactions -- Extracting End-to-end Timing Models from Component-Based Distributed Embedded Systems -- Part IV Timing Analysis and Time-Based Synthesis -- Distributed Priority Assignment in Real-Time Systems -- Exploration of Distributed Automotive Systems using Compositional Timing Analysis -- Design and Evaluation of Future Ethernet AVB-based ECU Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics and Microelectronics, Instrumentation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zeng, Haibo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Di Natale, Marco</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Marwedel, Peter</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Embedded Systems</subfield><subfield code="v">20</subfield><subfield code="w">(DE-604)BV041539022</subfield><subfield code="9">20</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026916995&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026916995&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026916995</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-3879-3</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV041470853 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T06:39:01Z |
| institution | BVB |
| isbn | 9781461438793 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026916995 |
| oclc_num | 869827944 |
| open_access_boolean | |
| owner | DE-Aug4 DE-92 DE-634 DE-859 DE-898 DE-BY-UBR DE-573 DE-861 DE-706 DE-863 DE-BY-FWS DE-862 DE-BY-FWS |
| owner_facet | DE-Aug4 DE-92 DE-634 DE-859 DE-898 DE-BY-UBR DE-573 DE-861 DE-706 DE-863 DE-BY-FWS DE-862 DE-BY-FWS |
| physical | 1 Online-Ressource (VIII, 223 p.) 74 illus., 44 illus. in color |
| psigel | ZDB-2-ENG |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| record_format | marc |
| series | Embedded Systems |
| series2 | Embedded Systems |
| spellingShingle | Sangiovanni-Vincentelli, Alberto Embedded Systems Development From Functional Models to Implementations Embedded Systems Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems -- Part I Model-Based Design and Synthesis -- Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets -- Dataflow-based, Cross-Platform Design Flow for DSP Applications -- Part II Model-Driven, Integration and Verification of Heterogeneous Models -- On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification -- Schedulability Analysis at Early Design Stages with MARTE -- Part III Component-Based Design and Real-Time Components -- Early Time-Budgeting for Component-Based Embedded Control Systems -- Contract-Based Reasoning for Component systems with Rich Interactions -- Extracting End-to-end Timing Models from Component-Based Distributed Embedded Systems -- Part IV Timing Analysis and Time-Based Synthesis -- Distributed Priority Assignment in Real-Time Systems -- Exploration of Distributed Automotive Systems using Compositional Timing Analysis -- Design and Evaluation of Future Ethernet AVB-based ECU Networks Engineering Computer science Electronics Systems engineering Circuits and Systems Electronics and Microelectronics, Instrumentation Processor Architectures Informatik Ingenieurwissenschaften |
| title | Embedded Systems Development From Functional Models to Implementations |
| title_auth | Embedded Systems Development From Functional Models to Implementations |
| title_exact_search | Embedded Systems Development From Functional Models to Implementations |
| title_full | Embedded Systems Development From Functional Models to Implementations edited by Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel |
| title_fullStr | Embedded Systems Development From Functional Models to Implementations edited by Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel |
| title_full_unstemmed | Embedded Systems Development From Functional Models to Implementations edited by Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel |
| title_short | Embedded Systems Development |
| title_sort | embedded systems development from functional models to implementations |
| title_sub | From Functional Models to Implementations |
| topic | Engineering Computer science Electronics Systems engineering Circuits and Systems Electronics and Microelectronics, Instrumentation Processor Architectures Informatik Ingenieurwissenschaften |
| topic_facet | Engineering Computer science Electronics Systems engineering Circuits and Systems Electronics and Microelectronics, Instrumentation Processor Architectures Informatik Ingenieurwissenschaften |
| url | https://doi.org/10.1007/978-1-4614-3879-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026916995&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026916995&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV041539022 |
| work_keys_str_mv | AT sangiovannivincentellialberto embeddedsystemsdevelopmentfromfunctionalmodelstoimplementations AT zenghaibo embeddedsystemsdevelopmentfromfunctionalmodelstoimplementations AT dinatalemarco embeddedsystemsdevelopmentfromfunctionalmodelstoimplementations AT marwedelpeter embeddedsystemsdevelopmentfromfunctionalmodelstoimplementations |