Titlebook: Languages for System Specification; Selected Contributio Christoph Grimm Book 2004 Springer Science+Business Media New York 2004 Embedded S

可憎

UML-Based Co-Design for Run-Time Reconfigurable Architectures allow for thorough and complete system representations, platform-independence, comprehensible and seamless transition from specification to implementation, and the description of common development artifacts and activities. In this article we will focus on aspects and problems which are related to object-orientation, UML, and MDA.

innovation

LAERTE++: An Object Oriented High-Level TPG for SystemC Designsnition and an extensive use of the Standard Template Library (STL) for data structure definition. Laerte++ allows to set up and run an . TPG session by adding very few C++ code lines to any SystemC design under test description. The applicability and the efficiency of the presented framework have been confirmed by the analyzed benchmarks.

Stagger

免除責(zé)任

鄙視

Real-Time System Modeling with ACCORD/UML Methodologyg phases to guarantee safe construction and application correctness. Throughout this paper, an automotive case study, based on a car seat adjustment system, is used to illustrate the ins and outs of ACCORD/UML methodology.

LARK

SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS is partitioned in two parts: software and hardware modules. Each partition can be connected to our platform that includes a commercial RTOS executed by an ARM ISS scheduled by the SystemC simulator. One of our major contributions is that we can easily move a module from hardware to software (and vice versa) to allow architectural exploration.

睨視

WAX

Choreography

ing 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 model

雄辯

Book 2004selected 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.