skip to content
Embedded systems specification and design languages : selected contributions from FDL'07 Preview this item
ClosePreview this item
Checking...

Embedded systems specification and design languages : selected contributions from FDL'07

Author: Eugenio Villar
Publisher: Berlin : Springer, 2008.
Series: Lecture notes in electrical engineering, 10.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
FDL (Forum on Specification and Design Languages) 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Eugenio Villar
ISBN: 1402082967 9781402082962 9048178347 9789048178346
OCLC Number: 232612280
Description: ix, 275 pages : illustrations ; 24 cm.
Contents: 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 Cedric 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 Rulke. 6: Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques by Daniel Grosse, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler. 7: SystemC-based Simulation of the MICAS Architecture by Dragos Truscan, Kim Sandstrom, 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 Jurgen 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 Andre, Frederic Mallet, Robert de Simone. 12: Software Real-Time Resource Modeling by Frederic Thomas, Sebastien Gerard, Jerome Delatour and Francois Terrier. 13: Model Transformations from a Data Parallel Formalism towards Synchronous Languages by Huafeng Yu and Abdoulaye Gamatie and Eric Rutten and Jean-Luc Dekeyser. 14: UML and SystemC- a Comparison and Mapping Rules for AutomaticCode Generation by Per Andersson and Martin Host. 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 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 Oberkonig, Martin Schweikert, and Hans Eveking.
Series Title: Lecture notes in electrical engineering, 10.
Other Titles: FDL'07
Responsibility: Eugenio Villar, editor.
More information:

Abstract:

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.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/232612280> # Embedded systems specification and design languages : selected contributions from FDL'07
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "232612280" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/896260975#Place/berlin> ; # Berlin
   schema:about <http://id.loc.gov/authorities/subjects/sh87005550> ; # Computer hardware description languages
   schema:about <http://id.worldcat.org/fast/872153> ; # Computer hardware description languages
   schema:about <http://dewey.info/class/004.16/> ;
   schema:about <http://dewey.info/class/621.392/e22/> ;
   schema:alternateName "FDL'07" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/85218683> ; # Eugenio Villar
   schema:contributor <http://experiment.worldcat.org/entity/work/data/896260975#Meeting/fdl_07_2007_catalonia_spain> ; # FDL'07 (2007 : Catalonia, Spain)
   schema:datePublished "2008" ;
   schema:description "FDL (Forum on Specification and Design Languages) 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 volume 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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/896260975> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/896260975#Series/lecture_notes_in_electrical_engineering> ; # Lecture notes in electrical engineering ;
   schema:name "Embedded systems specification and design languages : selected contributions from FDL'07"@en ;
   schema:productID "232612280" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/232612280#PublicationEvent/berlin_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/896260975#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0904/2008921989-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9781402082962> ;
   schema:workExample <http://worldcat.org/isbn/9789048178346> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/232612280> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/896260975#Place/catalonia_spain> # Catalonia, Spain)
    a schema:Place ;
   schema:name "Catalonia, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/896260975#Series/lecture_notes_in_electrical_engineering> # Lecture notes in electrical engineering ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/232612280> ; # Embedded systems specification and design languages : selected contributions from FDL'07
   schema:name "Lecture notes in electrical engineering ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh87005550> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages"@en ;
    .

<http://id.worldcat.org/fast/872153> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages"@en ;
    .

<http://viaf.org/viaf/85218683> # Eugenio Villar
    a schema:Person ;
   schema:familyName "Villar" ;
   schema:givenName "Eugenio" ;
   schema:name "Eugenio Villar" ;
    .

<http://worldcat.org/isbn/9781402082962>
    a schema:ProductModel ;
   schema:isbn "1402082967" ;
   schema:isbn "9781402082962" ;
    .

<http://worldcat.org/isbn/9789048178346>
    a schema:ProductModel ;
   schema:isbn "9048178347" ;
   schema:isbn "9789048178346" ;
    .

<http://www.worldcat.org/title/-/oclc/232612280>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/232612280> ; # Embedded systems specification and design languages : selected contributions from FDL'07
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.