Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation | by Luís Gomes and João M. Fernandes | 2010 | ISBN: 9781605667508. Embedded Systems Design. Industrial Embedded Control Systems. Distributed Real-Time Embedded Systems. Engineering Embedded Software

November 30, 2009 by kutenk
Filed under: Computer Books 

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

by Luís Gomes and João M. Fernandes
2010 (494 pages)
ISBN:9781605667508

By accentuating graphical and visual notations, this book provides innovative behavior models currently used for developing embedded systems.

Get this Book by clicking below:

Get Book Now

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







Foreword
Preface
OVERVIEW
CHARACTERISTICS OF EMBEDDED SYSTEMS
CATEGORIES OF EMBEDDED SYSTEMS
TYPES OF EMBEDDED SYSTEMS
BEHAVIORAL MODELING
BOOK CONTENTS
REFERENCES




Section 1 – Model-Based Approaches
Chapter 1 – UML as Front-End Language for Embedded Systems Design

ABSTRACT
INTRODUCTION
BACKGROUND
MODELING EMBEDDED SYSTEMS WITH UML
CODE GENERATION FROM UML DIAGRAMS
FUTURE TRENDS
CONCLUSION
REFERENCES

Chapter 2 – Model-Driven Design and ASM-Based Validation of Embedded Systems
ABSTRACT
INTRODUCTION
BACKGROUND
MODEL-DRIVEN SOC DESIGN AND ANALYSIS FLOW
SOC MODELING & VALIDATION ENVIRONMENT
THE COUNTER CASE STUDY
INDUSTRIAL APPLICATION
FUTURE TRENDS
CONCLUSION
REFERENCES
ENDNOTES

Chapter 3 – Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level For Dynamic Embedded Software
ABSTRACT
INTRODUCTION
BACKGROUND
ABSTRACT DATA TYPE OPTIMIZATIONS AT THE MODELING LEVEL (UML)
CONCRETE DATA TYPE OPTIMIZATIONS AT THE SOURCE CODE LEVEL (C/C++)
CASE STUDY FOR COMBINED ADT/CDT EXPERIMENTAL RESULTS
FUTURE TRENDS
CONCLUSION
REFERENCES

Section 2 – Aspect-Oriented Approaches
Chapter 4 – Concern Separation for Adaptive QoS Modeling in Distributed Real-Time Embedded Systems

ABSTRACT
INTRODUCTION
VIEWPOINT MODELING FOR QOS ADAPTATION IN DRE SYSTEMS
SPECIFYING QOS POLICIES FOR ADAPTATION OF VIDEO BANDWIDTH
TRANSFORMATIONS FOR RAPID EVOLUTION OF MODELS
CONCLUDING REMARKS
ACKNOWLEDGMENT
REFERENCES
ENDNOTE

Chapter 5 – High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches
ABSTRACT
INTRODUCTION
BACKGROUND AND RELATED WORK
MODELLING FOR AUTOMATED DESIGN SPACE EXPLORATION
SUPPORTING TOOLS FOR AUTOMATIC DESIGN SPACE EXPLORATION
FUTURE TRENDS
CONCLUSION
REFERENCES

Chapter 6 – Separation of Concerns in Model-Based Development of Distributed Real-Time Systems
ABSTRACT
INTRODUCTION
EMBEDDED SOFTWARE: BEYOND FUNCTIONAL BEHAVIOR
A NEW APPROACH TO DESIGN FUNCTIONAL AND PARA-FUNCTIONAL CONSTRUCTS
RELATED WORK
UML
AIRES
AADL
PARA-FUNCTIONAL BEHAVIORS AND SOFTWARE STRUCTURES
MULTIPLE HIERARCHIES
SEMANTIC DIMENSIONS
CODE GENERATION
SUMMARY
REFERENCES

Section 3 – Verification & Model Checking
Chapter 7 – Using Timed Automata For Modeling the Clocks of Distributed Embedded Systems

ABSTRACT
INTRODUCTION
MODELLING WITH TIMED AUTOMATA
CLOCKS IN EMBEDDED SYSTEMS: PROPERTIES AND USES
MODELLING COMPUTER CLOCKS WITH UPPAAL
CONCLUSION
REFERENCES
ENDNOTE

Chapter 8 – Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
ABSTRACT
INTRODUCTION
BACKGROUND
FINE-GRAIN MODEL OF A MULTITASKING APPLICATION
PREEMPTION MODELING
EXPERIMENTAL RESULTS
CASE STUDY
RELATED WORKS
CONCLUSION
ACKNOWLEDGMENT
REFERENCES

Chapter 9 – SystemC Platform Modeling For Behavioral Simulation and Performance Estimation of Embedded Systems
ABSTRACT
INTRODUCTION
BACKGROUND
SYSTEMC EXTENSIONS FOR TIMED-BEHAVIORAL SIMULATION
CONCLUSION
REFERENCES
ENDNOTES

Section 4 – Design Automation
Chapter 10 – Engineering Embedded Software From Application Modeling to Software Synthesis

ABSTRACT
INTRODUCTION
BACKGROUND
FUTURE TRENDS
CONCLUSION
REFERENCES

Chapter 11 – Transaction Level Model Automation for Multicore Systems
ABSTRACT
INTRODUCTION
TLM BACKGROUND
PLATFORM-BASED DESIGN
BACKGROUND
PLATFORM MODELING
AUTOMATIC TLM GENERATION
EXPERIMENTAL RESULTS
CONCLUSION, FUTURE TRENDS
ACKNOWLEDGMENT
REFERENCES

Chapter 12 – The Role of Programming Models on Reconfigurable Computing Fabrics
ABSTRACT
INTRODUCTION
SYSTEMS-ON-A-RECONFIGURABLE FABRIC
MAPPING COMPUTATIONS AND PROGRAMMING MODELS
PROGRAMMING LANGUAGES
EXAMPLES
CONCLUSION
ACKNOWLEDGMENT
REFERENCES
ENDNOTES

Section 5 – Industrial Applications
Chapter 13 – Reconfiguration of Industrial Embedded Control Systems

ABSTRACT
INTRODUCTION
BACKGROUND
STATE OF THE ART
CONTRIBUTIONS
NEW RECONFIGURATION SCENARIO
RECONFIGURATION CASES
AUTOMATIC RECONFIGURATION OF EMBEDDED SYSTEMS
VERIFICATION OF CONTROL SYSTEMS FOLLOWING THE STANDARD IEC 61499
REAL-TIME ASSIGNMENT
FUTURE TRENDS
CONCLUSION
REFERENCES

Chapter 14 – Architecture Description Languages for the Automotive Domain
ABSTRACT
INTRODUCTION
BACKGROUND
EAST-ADL: AN ARCHITECTURE DESCRIPTION LANGUAGE FOR THE AUTOMOTIVE INDUSTRY
CONSISTENCY OF EAST-ADL MODELS
EXAMPLE: TIMING ANALYSIS
CONCLUSION
REFERENCES

Chapter 15 – Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain
ABSTRACT
INTRODUCTION
TESTING OF EMBEDDED SYSTEMS
MODEL-BASED TESTING TAXONOMY
ANALYSIS OF THE EXISTING APPROACHES FOR THE AUTOMOTIVE DOMAIN
SOLUTION PROPOSAL
CASE STUDY
CONCLUSION AND FUTURE TRENDS
REFERENCES

Compilation of References


For 1000+ more Computer Books & Computer Research Books, click below:

Computer Books
Business & Management Books
Science & Engineering Books

  • Share/Bookmark

Related posts:

  1. Methodological Advancements in Intelligent Information Technologies: Evolutionary Trends | by Vijayan Sugumaran | 2010 | ISBN: 9781605669700. Intelligent Engineering Software Systems. Semantic Technologies and Applications. Building a Scalable and Adaptive Vertical Search Engine
  2. Software Engineering for Modern Web Applications: Methodologies and Technologies | by Daniel M. Brandon (ed) | ISBN: 9781599044927. WEB DEVELOPMENT BEST PRACTICES. Data Integration for Web-Enabled Information Systems. Web Application Architectures. Resources on Web-Centric Computing.
  3. Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction | by Ladjel Bellatreche (ed) | 2009 | ISBN: 9781605667560. Data Extraction, Transformation and Integration. Modeling Multidimensional Geographic Databases. Designing Data Marts. Decision Support System Design
  4. Real-Time Embedded Multithreading Using ThreadX and MIPS | by Edward L. Lamie | 2009 | ISBN: 9781856176316. Designing a Multithreaded System. Real-time Operating Systems and Real-time Kernels. Embedded Systems Development. RTOS Building Blocks for System Development. MIPS Microprocessor
  5. Context-Aware Mobile and Ubiquitous Computing for Enhanced Usability: Adaptive Technologies and Applications | by Dragan Stojanovic (ed) | 2009 | ISBN: 9781605662909. IT Research Papers. Computer Research Papers. Distributed Context Management. Adaptive and Context-Aware Mobile Services
  6. Digital Design: An Embedded Systems Approach Using Verilog | by Peter J. Ashenden | ISBN: 9780123695277. Programmable Logic Devices. Packaging and Circuit Boards. Digital Systems and Embedded Systems. Combinational Electronic Components and Circuits. Embedded Computer Organization
  7. The Engineering Design of Systems: Models and Methods, Second Edition | by Dennis M. Buede | 2009 | ISBN: 9780470164020. Systems Engineering and Management. Systems Engineering Design Process. SYSTEMS ENGINEERING TOOL. Engineering Design and Integration.
  8. Automated Face Analysis: Emerging Technologies and Research | by Daijin Kim and Jaewon Sung | 2009 | ISBN: 9781605662169. Face and Eye Detection Techniques. Face Modeling Design. Face Recognition Software. Facial Gesture Recognition.
  9. Security in RFID and Sensor Networks | by Yan Zhang and Paris Kitsos (eds) | 2009 | ISBN: 9781420068399. Multi-Tag RFID Systems. How to Attack RFID Systems. RFID Relay Attacks Implementation. Designing Secure Wireless Embedded Systems. Security Schemes Against Jamming in Wireless Sensor Networks
  10. Designing Embedded Systems with PIC Microcontrollers: Principles and Applications | by Tim Wilmshurst | ISBN: 9780750667555. Electronics Books. Microcontroller Design. Hardware Design of the Electronic. The Microchip In-Circuit Debugger. MPLAB Tutorial.
  11. Handbook of Research on Business Process Modeling | by Jorge Cardoso | 2009 | ISBN: 9781605662886. IT Reference Books. Computer Reference Books. Business Process Engineering. Business Process Languages. Holistic Process Management. Business Process Intelligence. THE MODELING FRAMEWORK
  12. Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends | by Viviana E. Ferraggine, Jorge Horacio Doorn and Laura C. Rivero (eds) | 2009 | ISBN: 9781605662428. Data Reengineering of Legacy Systems. Self-Tuning Database Management Systems. Database Reverse Engineering Tools. Database Support for Workflow Management Systems. DATA CLUSTERING TECHNIQUES. Differential Learning Expert System in Data Management
  13. Phase-Locked Loop Engineering Handbook for Integrated Circuits | by Stanley Goldman | ISBN: 9781596931541. Elecronic Engineering Books. Behavioral Modeling of PLL with PSPICE. Loop-Component Synthesis. Optimum PLL Design for Low-Phase-Noise Performance.
  14. Behavioral Mathematics for Game AI | by Dave Mark | 2009 | ISBN: 9781584506843. How to Convert Behaviors to Algorithms. Decision Theory. Game Theory. How to make Decisions under Risk. Mathematical Modeling. Modeling Individual Decisions using Behavioral Algorithms. Probability Distributions.
  15. Progressive Methods in Data Warehousing and Business Intelligence: Concepts and Competitive Analytics | by David Taniar (ed) | 2009 | ISBN: 9781605662329. Conceptual Modeling Solutions for the Data Warehouse. Designing Multi-Node OLAP Systems. Design of Data Marts. Spatial Data Warehouse Modelling
  16. Stormwater Collection Systems Design Handbook | by Larry W. Mays (ed) | ISBN: 9780071354714. Subsurface Stormwater Management Systems. FLOODPLAIN MANAGEMENT. Stormwater Drainage Systems. Hydraulics of Sewer Systems. Stormwater Treatment Wetland Design. Distributed Stormwater Control
  17. The CSSLP Prep Guide: Mastering the Certified Secure Software Lifecycle Professional | by Ronald L. Krutz and Alexander J. Fry | 2009 | ISBN: 9780470461907. Software Engineering Books. Security Design Principles. Software Development Methodologies. Standards for Software Quality Assurance
  18. Handbook of Research on Grid Technologies and Utility Computing: Concepts for Managing Large-Scale Applications | by Emmanuel Udoh and Frank Zhigang Wang (eds) | 2009 | ISBN: 9781605661841. Grid Computing. Grid Architecture and Services. Grid Scheduling and Optimization
  19. RF Power Amplifier Behavioral Modeling | by Dominique Schreurs, Máirtín O’Droma, Anthony A. Goacher and Michael Gadringer (eds) | 2009 | ISBN: 9780521881739. Circuit-Level Power Amplifier Models. Digital-Logic Simulation. Analogue-Signal Behavioural Simulators for Wireless Communication Systems
  20. Hardware Engineering Design. Embedded DSP Processor Design: Application Specific Instruction Set Processors | by Dake Liu | 2008 | ISBN: 9780123741233. Design of DSP Microarchitecture
  21. Systems Engineering Books. Software & Systems Requirements Engineering: In Practice | by Brian Berenbach, Daniel J. Paulish, Juergen Kazmeier and Arnold Rudorfer | 2009 | ISBN: 9780071605472. Key Success Factors in Requirements Engineering. Model-Driven Requirements Engineering (MDRE)
  22. Agile Technologies in Open Source Development | by Barbara Russo, Marco Scotto, Alberto Sillitti and Giancarlo Succi | 2010 | ISBN: 9781599046815. Open Source Computing Books. OPEN SOURCE SOFTWARE DEVELOPMENT. Agile Software Development. Open Source Tools. Open Source Assessment Methodologies
  23. Complex Data Warehousing and Knowledge Discovery for Advanced Retrieval Development: Innovative Methods and Applications | by Tho Manh Nguyen (ed) | 2010 | ISBN: 9781605667485. Computer Reference Guide. IT Reference Guide. Data Warehouse Architectures. Data Warehouse Design Methodology.
  24. Strategies and Technologies for Developing Online Computer Labs for Technology-Based Courses | by Lee Chao | ISBN: 9781599045078. Web-Based Teaching Systems and Technologies. Learning Management Systems. Online Computer Lab Development Process. Multimedia Course Content Development.
  25. Industrial Control Technology: A Handbook for Engineers and Researchers | by Peng Zhang | ISBN: 9780815515715. Sensors and Actuators for Industrial Control. Industrial Control System Interface Devices. Industrial Intelligent Controllers. Distributed Industrial Control System.
  26. Applied Control Theory for Embedded Systems | by Tim Wescott | ISBN: 9780750678391. Embedded Technology Books. Closed Loop Control. Controllers, Filters and Compensators. Sampling Theory. The Z Transform. Characteristics of Nonlinear Systems
  27. Handbook of Research on Social Interaction Technologies and Collaboration Software: Concepts and Trends | by Tatyana Dumova and Richard Fiordo | 2009 | ISBN: 9781605663685. Interactive and Networked Computing. Mobile Social Networks. Social Media Marketing. Interactive and Collaborative Learning. Social Software for Customer Knowledge Management. Educational Podcasting. The Collaborative Knowledge Organization System
  28. Cloud Computing: Implementation, Management, and Security | by John W. Rittinghouse and James F. Ransome | 2010 | ISBN: 9781439806807. Open Cloud Consortium. Software-as-a-Service (SaaS). Cloud-Based Service Offerings. Infrastructure-as-a-Service (IaaS). Monitoring-as-a-Service (MaaS).
  29. Optical Access Networks and Advanced Photonics: Technologies and Deployment Strategies | by Ioannis P. Chochliouros and George A. Heliotis (eds) | 2010 | ISBN: 9781605667072. Computer Networks Books. Modern Optical Technologies and Architectures for Broadband Access.
  30. Digital Signal Processing: Fundamentals and Applications | by Li Tan | ISBN: 9780123740908. Electrical Engineering Books. DSP Applications. Digital Filter Design. Hardware and Software for Digital Signal Processors. Adaptive Filters
  31. Handbook of Research on Text and Web Mining Technologies | by Min Song and Yi-fang Brook Wu (eds) | 2009 | ISBN: 9781599049908. Intelligent Text Mining. Designing and Mining Web Applications. Swarm Intelligence in Text Document Clustering. Multi-Agent Neural Network System for Web Text Mining. Collaborative Filtering Based Recommendation Systems. Web Service Architectures for Text Mining.
  32. Embedded Technology Books. Intelligent Sensor Design Using the Microchip dsPIC | by Creed Huddleston | 2007 | ISBN: 9780750677554. Embedded Control Engineering. Temperature Sensors. Pressure and Load Sensors. Flow Sensors. Intelligent Sensors Principles.
  33. Fundamentals of Modern Manufacturing: Materials, Processes, and Systems, 3rd Edition | ISBN: 9780471744856. Industrial Engineering Books. Manufacturing processes. electronics manufacturing technologies. Flexible Manufacturing Systems. Machining Operations and Machine Tools
  34. AI Game Engine Programming | by Brian Schwab | 2009 | ISBN: 9781584505723. Artificial Intelligence Books. Distributed AI Design. Adventure Games. Real-Time Strategy (RTS) Games. Platform Games. Shooter Games. Racing Games. Classic Strategy Games. Fighting Games. Artificial Life (Alife) Games
  35. Auto-Identification and Ubiquitous Computing Applications: RFID and Smart Technologies for Information Covergence | by Judith Symonds, John Ayoade and David Parry (eds) | 2009 | ISBN: 9781605662985. IT Reference Source. Computer Reference Source. Radio Frequency Identification
  36. Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes | by Patrick Hung (ed) | 2009 | ISBN: 9781605663302. Enterprise Information Integration. Mobile and Web Services Technologies. Mediated Service-Based Data Integration Solutions.
  37. C++ Programming for the Absolute Beginner, Second Edition | by Mark Lee | 2009 | ISBN: 9781598638752. How To Design Software using Object-Oriented Programming. The Software Development Cycle. Software Design Best Practices. Programming On Mac Os X. Programming On Linux.
  38. Solar Cell Technology and Applications | by A. R. Jha | 2010 | ISBN: 9781420081770. Solar Power Systems. Fabrication Materials for Solar Cells and Panels. Solar Modules, Panels, and Systems. Solar Cell and Array Designs Guidelines. Optimum Performance Design of Low-Cost, High-Efficiency Solar Cell Devices.
  39. Introduction to Game Development, Second Edition | by Steve Rabin | 2010 | ISBN: 9781584506799. Game Designer Resources. Video Games Production. Game Programming Languages and Architecture. 3D Graphics Modeling. Character Animation Design. Artificial Intelligence Techniques
  40. Handbook of Enterprise Integration | by Mostafa Hashem Sherif | 2010 | ISBN: 9781420078213. Enterprise Application Integration. Enterprise System Integration. Mobile Middleware. Business-to-Business Electronic Commerce. SERVICE-ORIENTED ARCHITECTURE. Software and Service Architectures.

Comments

One Comment on Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation | by Luís Gomes and João M. Fernandes | 2010 | ISBN: 9781605667508. Embedded Systems Design. Industrial Embedded Control Systems. Distributed Real-Time Embedded Systems. Engineering Embedded Software

    [...] Behavioral Modeling for Embedded Systems and Technologies … [...]

Tell me what you're thinking...
and oh, if you want a pic to show with your comment, go get a gravatar!

You must be logged in to post a comment.