Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation

Author:   Luis Gomes ,  Joao M. Fernandes
Publisher:   IGI Global
ISBN:  

9781605667508


Pages:   449
Publication Date:   31 July 2009
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $475.20 Quantity:  
Add to Cart

Share |

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation


Overview

Full Product Details

Author:   Luis Gomes ,  Joao M. Fernandes
Publisher:   IGI Global
Imprint:   Information Science Reference
Dimensions:   Width: 21.60cm , Height: 2.60cm , Length: 28.00cm
Weight:   1.684kg
ISBN:  

9781605667508


ISBN 10:   1605667501
Pages:   449
Publication Date:   31 July 2009
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Aspect-oriented approaches Behavioral modeling Design automation Embedded systems and technologies High-level design space exporation Model checking Model-based approaches Performance estimation of embedded systems Real-time embedded systems Timed automata for modeling

Reviews

Author Information

Lu���s Gomes is currently an associate professor in the Department of Electrical Engineering at the Universidade Nova de Lisboa (Portugal). Previously, he was a researcher with the UNINOVA Institute (Caparica, Portugal), a not-for-profit R&D institution aimed at technology transfer. He was made a ���Profesor Onorific���, at Transilvanea University of Brasov (Romania, 2007). His main scientific interests include the usage of formal methods for embedded systems co-design, such as Petri nets and other concurrency models, emphasizing reconfigurable computing platforms based implementations. He is author of more than 100 papers published in journals, books, and conference proceedings. He was co-editor of the books Hardware Design and Petri Nets (Kluwer Academic Publishers, 2000) and Advances on remote laboratories and e-learning experiences (University of Deusto, 2007). Dr. Gomes has been an associate editor for the IEEE Transactions on Industrial Informatics since 2005, and a member of the editorial board of LNCS ToPNoC - Transactions on Petri Nets and Other Models of Concurrency since 2006. Jo���o M. Fernandes is an associate professor with the Department of Informatics, Universidade do Minho. His research interests include software engineering, with a special interest in software modeling, requirements engineering, and embedded software. In May 2000, he finished his PhD dissertation where he proposed a UML-based approach to develop embedded systems. During his PhD and now as part of his research and teaching activities, his work is focused on the methodological and technologic aspects related to the use of a multi-perspective, model-driven approach for developing embedded systems. He is the author of more than 70 papers published in journals, books, and conference proceedings. Dr. Fernandes has been a member of the editorial review board for the Journal of Information Technology Research (IGI Global), since June, 2007. He has been involved in the organization of various international events, including the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), the 5th IFIP International Conference on Distributed and Parallel Embedded Systems (DIPES 2006), the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), and the Model-based Methodologies for Pervasive and Embedded Software (MOMPES) workshops series.

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List