Embedded Systems Specification and Design Languages : Selected contributions from FDL 07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW emb...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Dordrecht :
Springer Netherlands
2008.
Cham : Springer Nature |
| Edice: | Lecture Notes in Electrical Engineering
10 |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Embedded systems specification and design languages, selected contributions from FDL'07, Eugenio Villar, editor, Berlin, Springer, 2008, 1 vol. (IX-275 p.), Lecture notes in electrical engineering, 1-402-08296-7 • Embedded Systems Specification and Design Languages, Texte imprimé, 9789048117352 • Embedded Systems Specification and Design Languages, Texte imprimé, 9789048178346 |
| LEADER | 04998nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 940451 | ||
| 008 | 080829s2008 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN127046747 | ||
| 020 | |a 9781402082979 | ||
| 020 | |a 9781402082979 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Villar, Eugenio. | |
| 245 | 1 | 0 | |a Embedded Systems Specification and Design Languages : |b Selected contributions from FDL 07 |c edited by Eugenio Villar. |
| 260 | |a Dordrecht : |b Springer Netherlands. | ||
| 260 | |a Cham : |b Springer Nature, |c 2008. | ||
| 490 | 0 | |a Lecture Notes in Electrical Engineering |v 10 |x 1876-1119 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a C/C++ Based System Design -- How Different Are Esterel and SystemC -- Timed Asynchronous Circuits Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial Dependencies in Transaction Level Models -- An Integrated SystemC Debugging Environment -- Measuring the Quality of a SystemC Testbench by Using Code Coverage Techniques -- SystemC-Based Simulation of the MICAS Architecture -- Analog, Mixed-Signal, and Heterogeneous System Design -- Heterogeneous Specification with HetSC and SystemC-AMS: Widening the Support of MoCs in SystemC -- An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations -- Mixed-Level Modeling Using Configurable MOS Transistor Models -- UML-Based System Specification and Design -- Modeling AADL Data Communications with UML MARTE -- Software Real-Time Resource Modeling -- Model Transformations from a Data Parallel Formalism Towards Synchronous Languages -- UML and SystemC A Comparison and Mapping Rules for Automatic Code Generation -- An Enhanced SystemC UML Profile for Modeling at Transaction-Level -- SC2 StateCharts to SystemC: Automatic Executable Models Generation -- Formalisms for Property-Driven Design -- Asynchronous On-Line Monitoring of Logical and Temporal Assertions -- Transactor-Based Formal Verification of Real-Time Embedded Systems -- A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. | |
| 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. chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL 07 was the tenth of a series of successful events held all around Europe. FDL 07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design. The objective of Embedded Systems Specification and Design Languages is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems. | ||
| 700 | 1 | |a Villar, Eugenio. |4 pbd | |
| 776 | 0 | |0 127088644 |t Embedded systems specification and design languages |o selected contributions from FDL'07 |f Eugenio Villar, editor |c Berlin |n Springer |d 2008 |p 1 vol. (IX-275 p.) |s Lecture notes in electrical engineering |z 1-402-08296-7 | |
| 776 | 0 | |t Embedded Systems Specification and Design Languages |b Texte imprimé |z 9789048117352 | |
| 776 | 0 | |t Embedded Systems Specification and Design Languages |b Texte imprimé |z 9789048178346 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-1-4020-8297-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2QN12G2T-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747860602 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-1-4020-8297-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750878134 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-1-4020-8297-9 |z Accès INSA CVL | |
| 997 | |0 940451 |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/ | ||