Sisäänkirjautuminen

Huss, Sorin A.

Advances in Design and Specification Languages for Embedded Systems

Huss, Sorin A. - Advances in Design and Specification Languages for Embedded Systems, e-kirja

142,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781402061493
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

1. Analog, Mixed-Signal, and Heterogeneous System Design

1. Compact Modeling of Emerging Technologies with VHDL-AMS
Fabien Prégaldiny, Christophe Lallement, Birahim Diagne, Jean-Michel Sallese, François Krummenacher

2. Baseband Modeling Using Multidimensional Networks in VHDL-AMS
Joachim Haase

3. Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits
Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock

4. Improving Efficiency and Robustness of Analog Behavioral Models
Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke

5. ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems
Torsten Mähne, Alain Vachoux

2. C/C++-Based System Design

6. The Quiny SystemCTM Front End: Self-Synthesising Designs
Thorsten Schubert, Wolfgang Nebel

7. Mining Metadata from SystemC IP Library
Deepak A. Mathaikutty, Sandeep K. Shukla

8. Nonintrusive High-level SystemC Debugging
Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt

9. Transaction-Level Modeling in Communication Engine Design: A Case Study
Vesa Lahtinen, Jouni Siirtola, Tommi Mäkeläinen

10. Object-Oriented Transaction-Level Modelling
Martin Radetzki

3. Formalisms for Property-Driven Design

11. An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets
Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking

12. Online Monitoring of Properties Built on Regular Expressions Sequences
Katell Morin-Allory, Dominique Borrione

13. Observer-BasedVerification Using Introspection: A System-level Verification Implementation
M. Metzger, F. Bastien, F. Rousseau, J. Vachon, E. M. Aboulhamid

14. Formalizing TLM with Communicating State Machines
Bernhard Niemann, Christian Haubelt, Maite Uribe Oyanguren, Jürgen Teich

15. Different Kinds of System Descriptions as Synchronous Programs
Jens Brandt, Klaus Schneider

4. UML-Based System Specification and Design

16. A Model-driven Co-design Flow for Embedded Systems
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra

17. A Method for Mobile Terminal Platform Architecture Development
Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson

18. UML2 Profile for Modeling Controlled Data Parallel Applications
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Éric Rutten

19. MCF: A Metamodeling-based Visual Component Composition Framework
Deepak A. Mathaikutty, Sandeep K. Shukla

20. Reusing Systems Design Experience Through Modelling Patterns
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000

Tekijä(t)
Julkaisija
Springer
Julkaisuvuosi
2007
Kieli
en
Painos
1
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781402061493

Samankaltaisia e-kirjoja