Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

✍ Scribed by Bernd Steinbach, Thomas Beierlein, Dominik Fröhlich (auth.), Christoph Grimm (eds.)

• Publisher: Springer US
• Year: 2004
• Tongue: English
• Leaves: 352
• Edition: 1
• Category: Library

✦ Synopsis

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems.
Together with articles on new languages such as SystemVerilog and Software Engineering in Automotive Systems the contributions selected for this book embrace all aspects of languages and models for specification, design, modeling and verification of systems. Therefore, the book gives an excellent overview of the actual state-of-the-art and the latest research results.

✦ Table of Contents

Front Matter....Pages i-x
Front Matter....Pages 1-4
UML-Based Co-Design for Run-Time Reconfigurable Architectures....Pages 5-19
A Unified Approach to Code Generation from Behavioral Diagrams....Pages 20-34
Platform-Independent Design for Embedded Real-Time Systems....Pages 35-50
Real-Time System Modeling with ACCORD/UML Methodology....Pages 51-70
UML-Based Specifications of an Embedded System Oriented to HW/SW Partitioning....Pages 71-84
Front Matter....Pages 85-89
SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS....Pages 91-104
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs....Pages 105-117
A Case Study: SystemC-Based Design of an Industrial Exposure Control Unit....Pages 119-132
Modeling of CSP, KPN and SR Systems with SystemC....Pages 133-148
On Hardware Description in ECL....Pages 149-162
Front Matter....Pages 163-167
Rules for Analog and Mixed-Signal VHDL-AMS Modeling....Pages 169-182
A VHDL-AMS Library of Hierarchical Optoelectronic Device Models....Pages 183-199
Towards High-Level Analog and Mixed-Signal Synthesis From VHDL-AMS Specifications....Pages 201-216
Reliability Simulation of Electronic Circuits with VHDL-AMS....Pages 217-228
Extending SystemC to Analog Modelling and Simulation....Pages 229-242
Front Matter....Pages 243-246
Linking Architectural and Component Level System Views by Abstract State Machines....Pages 247-269
A New Time Extension to π -Calculus Based on Time Consuming Transition Semantics....Pages 271-283
Modeling CHP Descriptions in Labeled Transitions Systems for an Efficient Formal Validation of Asynchronous Circuit Specifications....Pages 285-300
Combined Formal Refinement and Model Checking for Real-Time Systems Verification....Pages 301-314
Refinement of Hybrid Systems....Pages 315-330
Front Matter....Pages 331-331
Automotive Software Engineering....Pages 333-347
Systemverilog....Pages 349-357

✦ Subjects

Theory of Computation; Circuits and Systems; Computer Hardware; Programming Languages, Compilers, Interpreters; Computer-Aided Engineering (CAD, CAE) and Design; Electrical Engineering