As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.
Preface xxiv
Acknowledgment xxxi
Section 1 Research Perspective: Software and
Hardware Design
Chapter 1 Collaborative Development of 1 (28)
Dependable Cyber-Physical Systems by
Co-Modeling and Co-Simulation
John Fitzgerald
Ken Pierce
Peter Gorm Larsen
Chapter 2 UML MARTE Time Model and Its 29 (23)
Clock Constraint Specification Language
Frederic Mallet
Marie-Agnes Peraldi-Frati
Julien Deantoni
Robert de Simone
Chapter 3 Symbolic-Based Monitoring for 52 (23)
Embedded Applications
Pramila Mouttappa
Stephane Maag
Ana Cavalli
Chapter 4 Designing Resource-Constrained 75 (27)
Embedded Heterogeneous Systems to Cope with
Variability
Ian Gray
Andrea Acquaviva
Neil Audsley
Chapter 5 Vulnerabilities of Secure and 102 (21)
Reliable Low-Power Embedded Systems and
Their Analysis Methods: A Comprehensive
Study
Norbert Druml
Manuel Menghin
Christian Steger
Armin Krieg
Andreas Genser
Josef Haid
Holger Bock
Johannes Grinschgl
Chapter 6 An Aspect-Oriented Approach to 123 (27)
Hardware Fault Tolerance for Embedded
Systems
David de Andres
Juan-Carlos Ruiz
Jaime Espinosa
Pedro Gil
Chapter 7 Optimized System-Level Design 150 (31)
Methods for NoC-Based Many Core Embedded
Systems
Haoyuan Ying
Klaus Hofmann
Thomas Hollstein
Section 2 Development Methodologies and Tool
Suites
Chapter 8 MADES FP7 EU Project: Effective 181 (28)
High Level SysML/MARTE Methodology for
Real-Time and Embedded Avionics Systems
Alessandra Bagnato
Imran Quadri
Etienne Brosse
Andrey Sadovykh
Richard Paige
Neil Audsley
Ian Gray
Dimitrios S. Kolovos
Nicholas Matragkas
Matteo Rossi
Luciano Baresi
Matteo Carlo Crippa
Stefano Genolini
Scott Hansen
Gundula Meisel-Blohm
Chapter 9 Requirements Refinement and 209 (33)
Component Reuse: The FoReVer Contract-Based
Approach
Laura Baracchi
Alessandro Cimatti
Gerald Garcia
Silvia Mazzini
Stefano Puri
Stefano Tonetta
Chapter 10 Model-Based Analysis and 242 (41)
Engineering of Automotive Architectures
with EAST-ADL
Sara Tucci-Piergiovanni
DeJiu Chen
Chokri Mraidha
Henrik Lonn
Nidhal Mahmud
Mark-Oliver Reiser
Ramin Tavakoli Kolagari
Nataliya Yakymets
Renato Librino
Sandra Torchiaro
Agnes Lanusse
Chapter 11 Fostering Analysis from 283 (18)
Industrial Embedded Systems Modeling
Michel Bourdelles
Shuai Li
Imran Quadri
Etienne Brosse
Andrey Sadovykh
Emmanuel Gaudin
Frederic Mallet
Arda Goknil
David George
Jari Kreku
Chapter 12 A Model-Driven Engineering 301 (27)
Method for DRE Defense Systems Performance
Analysis and Prediction
Katrina Falkner
Vanea Chiprianov
Nickolas Falkner
Claudia Szabo
Gavin Puddy
Section 3 Industry Perspective and
Applications
Chapter 13 Industrial Applications of 328 (19)
Emulation Techniques for the Early
Evaluation of Secure Low-Power Embedded
Systems
Norbert Druml
Manuel Menghin
Christian Steger
Armin Krieg
Andreas Genser
Josef Haid
Holger Bock
Johannes Grinschgl
Chapter 14 Dynamically Reconfigurable 347 (25)
Embedded Architectures for Safe
Transportation Systems
Naim Harb
Smail Niar
Mazen A. R. Saghir
Chapter 15 Embedded Virtualization 372 (16)
Techniques for Automotive Infotainment
Applications
Massimo Violante
Gianpaolo Macario
Chapter 16 Studying Individualized Transit 388 (20)
Indicators Using a New Low-Cost Information
System
P. A. Castillo
A. Fernandez-Ares
P. Garcia-Fernandez
P. Garcia-Sanchez
M. G. Arenas
A. M. Mora
V. M. Rivas
J. J. Asensio
G. Romero
J. J. Merelo
Chapter 17 Mission Critical Embedded System 408 (16)
Development Process: An Industry Perspective
Stefano Genolini
Matteo Crippa
Chapter 18 Framework-Based Debugging for 424 (31)
Embedded Systems
Gokhan Tanyeri
Trish Messiter
Paul Beckett
Chapter 19 Industrial Experiments in IMS, 455 (14)
ATC, and SDR Projects of Property
Verification Techniques
Emmanuel Gaudin
Compilation of References 469 (30)
About the Contributors 499 (19)
Index 518
新书报道