Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL 08
Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture Notes in Electrical Engineering
36 |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Languages for Embedded Systems and their Applications, Texte imprimé, 9781402097133 |
| LEADER | 04434nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 941561 | ||
| 008 | 090903q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN136299571 | ||
| 020 | |a 9781402097140 | ||
| 020 | |a 9781402097140 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Radetzki, Martin. | |
| 245 | 1 | 0 | |a Languages for Embedded Systems and their Applications : |b Selected Contributions on Specification, Design, and Verification from FDL 08 |c edited by Martin Radetzki. |
| 260 | |a Dordrecht : |b Springer Netherlands. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture Notes in Electrical Engineering |v 36 |x 1876-1100 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a Model-Based System Specification Languages Power and Energy Estimations in Model-Based Design MARTE vs. AADL for Discrete-Event and Discrete-Time Domains Generation of MARTE Allocation Models from Activity Threads Model-Driven System Validation by Scenarios An Advanced Simulink Verification Flow Using SystemC Languages for Heterogeneous System Design VHDL AMS Implementation of a Numerical Ballistic CNT Model Wide-Band Sigma Delta ADC Design in Superconducting Technology Heterogeneous and Non-linear Modeling in SystemC AMS Digital Systems Design Methodologies Based on C++ Application Workload and SystemC Platform Modeling for Performance Evaluation Adaptive Interconnect Models for Transaction-Level Simulation Efficient Architecture Evaluation Using Functional Mapping Symbolic Scheduling of SystemC Dataflow Designs SystemC Simulation of Networked Embedded Systems Modeling of Embedded Software Multitasking in SystemC/OSSS High-Level Reconfiguration Modeling in SystemC Stream Programming for FPGAs Verification and Requirements Evaluation A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level Debugging Contradictory Constraints in Constraint-Based Random Simulation Design of Communication Infrastructures for Reconfigurable Systems Analysis of Non-functional Properties of MPSoC Designs | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages. The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL 08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation | ||
| 700 | 1 | |a Radetzki, Martin. |4 edt | |
| 776 | 0 | |t Languages for Embedded Systems and their Applications |b Texte imprimé |z 9781402097133 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-1-4020-9714-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-K0WQS143-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747846200 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-1-4020-9714-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750863730 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-1-4020-9714-0 |z Accès INSA CVL | |
| 997 | |0 941561 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||