Real-Time Embedded Systems

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School “MDE for Embedded Systems” held at Brest, France, in September 2004.

Covers the significant embedded computing technologies—highlighting their applications in wireless communication and computing power An embedded system is a computer system designed for specific control functions within a larger system—often with real-time computing constraints. It is embedded as part of a complete device often including hardware and mechanical parts. Presented in three parts, Embedded Systems: Hardware, Design, and Implementation provides readers with an immersive introduction to this rapidly growing segment of the computer industry. Acknowledging the fact that embedded systems control many of today's most common devices such as smart phones, PC tablets, as well as hardware embedded in cars, TVs, and even refrigerators and heating systems, the book starts with a basic introduction to embedded computing systems. It hones in on system-on-a-chip (SoC), multiprocessor system-on-chip (MPSoC), and network-on-chip (NoC). It then covers on-chip integration of software and custom hardware accelerators, as well as fabric flexibility, custom architectures, and the multiple I/O standards that facilitate PCB integration. Next, it focuses on the technologies associated with embedded computing systems, going over the basics of field-programmable gate array (FPGA), digital signal processing (DSP) and application-specific integrated circuit (ASIC) technology, architectural support for on-chip integration of custom accelerators with processors, and O/S support for these systems. Finally, it offers full details on architecture, testability, and computer-aided design (CAD) support for embedded systems, soft processors, heterogeneous resources, and on-chip storage before concluding with coverage of software support—in particular, O/S Linux. Embedded Systems: Hardware, Design, and Implementation is an ideal book for design engineers looking to optimize and reduce the size and cost of embedded system products and increase their reliability and performance.

Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another difficulty is that systems are plunged into the real world, which is not discrete (as is generally understood in computing), but has a richness of behaviors which sometimes hinders the formulation of simplifying assumptions due to their generally autonomous nature and they must face possibly unforeseen situations (incidents, for example), or even situations that lie outside the initial design assumptions. Embedded Systems presents the state of the art of the development of embedded systems and, in particular, concentrates on the modeling and analysis of these systems by looking at “model-driven engineering”, (MDE2): SysML, UML/MARTE and AADL. A case study (based on a pacemaker) is presented which enables the reader to observe how the different aspects of a system are addressed using the different approaches. All three systems are important in that they provide the reader with a global view of their possibilities and demonstrate the contributions of each approach in the different stages of the software lifecycle. Chapters dedicated to analyzing the specification and code generation are also presented. Contents Foreword, Brian R. Larson. Foreword, Dominique Potier. Introduction, Fabrice Kordon, J?r?me Hugues, Agusti Canals and Alain Dohet. Part 1. General Concepts 1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, J?r?me Hugues, Agusti Canals and Alain Dohet. 2. Case Study: Pacemaker, Fabrice Kordon, J?r?me Hugues, Agusti Canals and Alain Dohet. Part 2. SysML 3. Presentation of SysML Concepts, Jean-Michel Bruel and Pascal Roques. 4. Modeling of the Case Study Using SysML, Lo?c Fejoz, Philippe Leblanc and Agusti Canals. 5. Requirements Analysis, Ludovic Apvrille and Pierre De Saqui-Sannes. Part 3. MARTE 6. An Introduction to MARTE Concepts, S?bastien G?rard and Fran?ois Terrier. 7. Case Study Modeling Using MARTE, J?r?me Delatour and Jo?l Champeau. 8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka Le Roux and Jean-Charles Roger. 9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher and S?bastien G?rard. Part 4. AADL 10. Presentation of the AADL Concepts, J?r?me Hugues and Xavier Renault. 11. Case Study Modeling Using AADL, Etienne Borde. 12. Model-Based Analysis, Thomas Robert and J?r?me Hugues. 13. Model-Based Code Generation, Laurent Pautet and B?chir Zalila. About the Authors Fabrice Kordon is Professor at University Pierre and Marie Curie in Paris, France, where he is in charge of the team “Mod?lisation et v?rification” of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods. J?r?me Hugues is lecturer-researcher at the Institut Sup?rieur de l’A?ronautique et de l’Espace (ISAE) in Toulouse, France and has been a member of the language standardization committee (AADL) since 2006. His research fields cover the engineering of embedded systems and the generation of automatic code of these systems from modeling languages, integrating verification and analysis tools on the model and code level. Agusti Canals is a software engineer and has worked at CS “Communication et Syst?mes” in Paris, France since 1981. He is deputy director of the “Direction de la Qualit? et des Audits Technique

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.

The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. A handy reference for practitioners in the field.

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with special emphasis on the key results obtained within the last decade. This book addresses foundations as well as the latest advances and findings in Real-Time Scheduling, giving all references to important papers. But nevertheless the chapters will be short and not overloaded with confusing details. Coverage includes scheduling approaches for mono-core as well as multi-core platforms, dependent tasks, networks, and notably very tremendous recent advances in scheduling of energy constrained embedded systems. Other sophisticated issues such as feedback control scheduling and timing analysis of critical applications are also addressed. This volume can serve as a textbook for courses on the topic in bachelor and in more advanced master programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them. It addresses foundations as well as the latest advances and findings in real-time scheduling, giving comprehensive references to important papers, but the chapters are short and not overloaded with confusing details. Coverage includes scheduling approaches for networks and for energy autonomous systems. Other sophisticated issues, such as feedback control scheduling and probabilistic scheduling, are also addressed. This book can serve as a textbook for courses on the topic in bachelor’s degrees and in more advanced master’s degree programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.

Embedded systems become more and more complex and require having some knowledge in various disciplines such as electronics, data processing, telecommunications and networks. Without detailing all the aspects related to the design of embedded systems, this book, which was written by specialists in electronics, data processing and telecommunications and networks, gives an interesting point of view of communication techniques and problems in embedded systems. This choice is easily justified by the fact that embedded systems are today massively communicating and that telecommunications and networks constitute the main sector of embedded systems.

Embedded systems become more and more complex and require having some knowledge in various disciplines such as electronics, data processing, telecommunications and networks. Without detailing all the aspects related to the design of embedded systems, this book, which was written by specialists in electronics, data processing and telecommunications and networks, gives an interesting point of view of communication techniques and problems in embedded systems. This choice is easily justified by the fact that embedded systems are today massively communicating and that telecommunications and networks constitute the main sector of embedded systems.

A real-time system is a complex system which is an integral part of an industrial or experimental system, a vehicle or a construction machine. The peculiarity of these systems is that they are driven by real-time targets in distributed environments. Command-control for Real-time Systems presents the calculation of correction for industrial systems of different physical natures, their implementation on real-time target industrial systems (PLC-SCADA, embedded systems with distributed networks, Networked Control Systems) and their validation by simulation. It optimizes industrial processes by the use of automatic tools, industrial computing and communications networks and aims to successively integrate new control laws (linear, nonlinear and fuzzy controllers) so that users can leverage the power of engineering science as an automatic service process optimization while maintaining their high maintainability facilities. Contents 1. Introduction. 2. Modeling Tools, S?bastien Cabaret and Mohammed Chadli. 3. Control Tools, Mohammed Chadli and Herv? Coppier. 4. Application to Cryogenic Systems, Marco Pezzetti, Herv? Coppier and Mohammed Chadli. 5. Applications to a Thermal System and to Gas Systems, S?bastien Cabaret and Herv? Coppier. 6. Application to Vehicles, Elie Kafrouni and Mohammed Chadli. 7. Real-time Implementation, Marco Pezzetti and Herv? Coppier. About the Authors Mohamed Chadli is a senior lecturer and research supervisor at the University of Picardie Jules Verne (UPJV) in France. His main research interests lie in robust control, the diagnosis and fault tolerant control of polytopic systems and applications for automobiles. He is a senior member of the IEEE, and Vice President of the AAI Club as part of SEE-France. He is the author/co-author of 3 books, book chapters and more than 100 articles published in international journals and conferences. Herv? Coppier is a lecturing researcher at ESIEE-Amiens in France. He has collaborated with industrialists in the field of automation and industrial computing, particularly with CERN, and has spearheaded various international European projects.