Embedded Systems Specification and Design Languages: Selected contributions from FDL’07

✍ Scribed by Jens Brandt, Klaus Schneider (auth.), Prof. Eugenio Villar (eds.)

• Publisher: Springer Netherlands
• Year: 2008
• Tongue: English
• Leaves: 267
• Series: Lecture Notes in Electrical Engineering 10
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages i-ix
How Different Are Esterel and SystemC....Pages 3-13
Timed Asynchronous Circuits Modeling and Validation Using SystemC....Pages 15-29
On Construction of Cycle Approximate Bus TLMs....Pages 31-43
Combinatorial Dependencies in Transaction Level Models....Pages 45-58
An Integrated SystemC Debugging Environment....Pages 59-71
Measuring the Quality of a SystemC Testbench by Using Code Coverage Techniques....Pages 73-86
SystemC-Based Simulation of the MICAS Architecture....Pages 87-103
Heterogeneous Specification with HetSC and SystemC-AMS: Widening the Support of MoCs in SystemC....Pages 107-121
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations....Pages 123-136
Mixed-Level Modeling Using Configurable MOS Transistor Models....Pages 137-152
Modeling AADL Data Communications with UML MARTE....Pages 155-168
Software Real-Time Resource Modeling....Pages 169-182
Model Transformations from a Data Parallel Formalism Towards Synchronous Languages....Pages 183-198
UML and SystemC – A Comparison and Mapping Rules for Automatic Code Generation....Pages 199-209
An Enhanced SystemC UML Profile for Modeling at Transaction-Level....Pages 211-226
SC 2 StateCharts to SystemC: Automatic Executable Models Generation....Pages 227-239
Asynchronous On-Line Monitoring of Logical and Temporal Assertions....Pages 243-253
Transactor-Based Formal Verification of Real-Time Embedded Systems....Pages 255-270
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set....Pages 271-275

✦ Subjects

Circuits and Systems; Computer Hardware; Special Purpose and Application-Based Systems; Software Engineering/Programming and Operating Systems