Embedded Systems Specification and Design Languages
Selected Contributions from FDL 07
(Sprache: Englisch)
This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and...
Leider schon ausverkauft
versandkostenfrei
Buch (Gebunden)
160.49 €
Produktdetails
Produktinformationen zu „Embedded Systems Specification and Design Languages “
This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages
Klappentext zu „Embedded Systems Specification and Design Languages “
This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages
Inhaltsverzeichnis zu „Embedded Systems Specification and Design Languages “
Part I: C/C++ Based System Design 1: How Different are Esterel and SystemC? By Jens Brandt and Klaus Schneider. 2: Timed Asynchronous Circuits Modeling and Validation using SystemC by Cédric Koch-Hofer and Marc Renaudin. 3: On Construction of Cycle Approximate Bus TLMs by Martin Radetzki and Rauf Salimi Khaligh. 4: Combinatorial Dependencies in Transaction Level Models by Robert Guenzel, Wolfgang Klingauf and James Aldis. 5: An Integrated SystemC Debugging Environment by Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke. 6: Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques by Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler. 7: SystemC-based Simulation of the MICAS Architecture by Dragos Truscan, Kim Sandström, Johan Lilius, and Ivan Porres. Part II: Analog, Mixed-Signal, and Heterogeneous System Design 8: Heterogeneous Specification with HetSC and SystemC-AMS: Widening the support of MoCs in SystemC by F. Herrera and E. Villar.9: An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations by Leran Wang, Chenxu Zhao and Tom J. Kazmierski. 10: Mixed-Level Modeling Using Configurable MOS Transistor Models by Jürgen Weber, Andreas Lemke, Andreas Lehmler, Mario Anton, Sorin A. Huss. Part III: UML-Based System Specification and Design 11: Modeling AADL data communications with UML MARTE by Charles André, Frédéric Mallet, Robert de Simone. 12: Software Real-Time Resource Modeling by Frédéric Thomas, Sébastien Gérard, Jérôme Delatour and François Terrier. 13: Model Transformations from a Data Parallel Formalism towards Synchronous Languages by Huafeng Yu and Abdoulaye Gamatié and Eric Rutten and Jean-Luc Dekeyser. 14: UML and SystemC- a Comparison and Mapping Rules for AutomaticCode Generation by Per Andersson and Martin Höst. 15: An Enhanced SystemC UML Profile for Modeling at Transaction-Level by S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. 16: SC2 StateCharts to SystemC: Automatic Executable
... mehr
Models Generation by Marcello Mura, Marco Paolieri. Part IV: Formalisms for Property-Driven Design. 17: Asynchronous on-line monitoring of logical and temporal assertions by K. Morin-Allory, L. Fesquet, B. Roustan, and D. Borrione. 18: Transactor-based Formal Verification of Real-time Embedded Systems by D. Karlsson, P. Eles, Z. Peng. 19: A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set by Martin Schickel, Martin Oberkönig, Martin Schweikert, and Hans Eveking.
... weniger
Bibliographische Angaben
- 2008, 275 Seiten, Maße: 16,6 x 24,3 cm, Gebunden, Englisch
- Herausgegeben:Villar, Eugenio
- Herausgegeben: Eugenio Villar
- Verlag: Springer Netherlands
- ISBN-10: 1402082967
- ISBN-13: 9781402082962
Sprache:
Englisch
Kommentar zu "Embedded Systems Specification and Design Languages"
0 Gebrauchte Artikel zu „Embedded Systems Specification and Design Languages“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Embedded Systems Specification and Design Languages".
Kommentar verfassen