Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006 - Tapa dura

 
9781402049323: Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006

Sinopsis

The International Workshop on “Embedded Systems - Modeling, Techn- ogy, and Applications” is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book synthesizes the results of the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin, bringing together researchers from both universities in order to present research results to an international community. Aspects covered here include, among others, Models and specification; Simulation of different properties; Middleware for distributed real-time systems; Signal Analysis; Control methods; Applications in airborne and medical systems.

Reseña del editor

The International Workshop on "Embedded Systems -- Modeling, Technology, and Applications" is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of those workshops is to bring together researchers from both universities in order to present research results to an international community. Successfully realizing Embedded Systems requires methods and tools from different disciplines. Formal specification techniques not only for the embedded system itself but also for the device and environment that is controlled by the embedded system are used for functional and non-functional properties (e.g. performance, real-time behavior). Formal models allow analyzing and optimizing those properties. Different methods and tools are used to design the required behavior of the system and finally to implement and test the system. Aspects covered in this workshop are, among others,/ Models and specification / Simulation of different properties / Middleware for distributed real-time systems / Signal Analysis / Control methods / Applications in airborne and medical systems.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9789048172306: Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006

Edición Destacada

ISBN 10:  9048172306 ISBN 13:  9789048172306
Editorial: Springer, 2010
Tapa blanda