Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
Book Citation Index

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

Luís Gomes, João M. Fernandes
Indexed In: SCOPUS View 3 More Indices
Release Date: July, 2009|Copyright: © 2010 |Pages: 494
DOI: 10.4018/978-1-60566-750-8
ISBN13: 9781605667508|ISBN10: 1605667501|EISBN13: 9781605667515
Hardcover:
Available
$180.00
Benefits & Incentives
TOTAL SAVINGS: $180.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
Hardcover:
Available
$180.00
Benefits & Incentives
TOTAL SAVINGS: $180.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
E-Book:
Available
$180.00
Benefits & Incentives
TOTAL SAVINGS: $180.00
Benefits
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • PDF download
E-Book:
Available
$180.00
Benefits & Incentives
TOTAL SAVINGS: $180.00
Benefits
  • Immediate access after purchase
  • No DRM
  • PDF download
  • Receive a 10% Discount on eBooks
Hardcover +
E-Book:
Available
$215.00
Benefits & Incentives
TOTAL SAVINGS: $215.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • PDF download
Hardcover +
E-Book:
Available
$215.00
Benefits & Incentives
TOTAL SAVINGS: $215.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Immediate access after purchase
  • No DRM
  • PDF download
Article Processing Charge:
Available
$700.00
Benefits & Incentives
TOTAL SAVINGS: $700.00
OnDemand:
(Individual Chapters)
Available
$37.50
Benefits & Incentives
TOTAL SAVINGS: $37.50
Benefits
  • Purchase individual chapters from this book
  • Immediate PDF download after purchase or access through your personal library
Description & Coverage
Description:

The development of embedded systems offers a higher degree of abstraction, crucial to tackling the growing complexity and usage of model-driven approaches.

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation provides an overview on innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations. This dynamic compilation presents an authoritative reference collection to the most significant models of computation currently in use for embedded systems design.

Coverage:

The many academic areas covered in this publication include, but are not limited to:

  • 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 & Statements

"Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation covers a wide range of the important topics related to modeling embedded systems, and provides a state-of-the-art overview on behavioral models."

– Luís Gomes, Universidade Nova de Lisboa, Portugal
Table of Contents
Search this Book:
Reset
Editor/Author Biographies
Luís Gomes is currently an associate professor in the Department of Electrical Engineering at the Universidade Nova de Lisboa (Portugal), and 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 from 2005 through 2008, 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.
Archiving
All of IGI Global's content is archived via the CLOCKSS and LOCKSS initiative. Additionally, all IGI Global published content is available in IGI Global's InfoSci® platform.