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 Techniques” (DQAT) of CS and an expert in software engineering (certified “UML Professional” and “SysML Builder” by OMG).
Alain Dohet is a general armament engineer at the “Direction Générale pour l’Armement” (organization of the French Defense Minister ensuring the conduct of system programs), where he is in charge of guiding activities, skills, methods and tools in the fields of systems of systems (SoS), systems engineering, analysis for certification purposes, operational safety of embedded computing systems and critical software.
The technique can be implemented from neural simulation environments and a variety of custom-made or commercial systems. The real-time interaction between the computer and cell also enables the design of recording paradigms with unprecedented accuracy via a computational model of the electrode. Dynamic-Clamp: From Principles to Applications contains contributions from leading researchers in the field, who investigate these paradigms at the cellular or network level, in vivo and in vitro, and in different brain regions and cardiac cells. Topics discussed include the addition of artificially-generated synaptic activity to neurons; adding, amplifying or neutralizing voltage-dependent conductances; creating hybrid networks with real and artificial cells; attaching simulated dendritic tree structures to the living cell; and connecting different neurons.
This book will be of interest to experimental biophysicists, neurophysiologists, and cardiac physiologists, as well as theoreticians, engineers, and computational neuroscientists. Graduate and undergraduate students will also find up-to-date coverage of physiological problems and how they are investigated.
About the Editors:
Dr. Alain Destexhe and Dr.Thierry Bal are Research Directors at the Centre National de la Recherche Scientifique (CNRS), a governmental research institution in France. Their laboratories are located in the CNRS campus of Gif-sur-Yvette in the research unit (Unité de Neurosciences Intégratives et Computationnelles, UNIC). Gif-sur-Yvette is solely devoted to research and provides an ideal environment for close interaction between theory and experiments, as exemplified by the numerous publications on dynamic-clamp experiments co-authored by Dr. Bal and Dr. Destexhe. Each editor holds Ph.D.s in biophysics and neurobiology, respectively. Dr. Destexhe is also Chief Editor of the Journal of Computational Neuroscience.
In the first three chapters the authors briefly review the great explosions that will form the subject matter of the book--namely, supernovae and gamma-ray bursters. They describe the very early universe, after the Big Bang, and then how "the lights came on all over the universe as the very first stars began to shine." The importance of stellar mass in governing not only the lifetime of a star (the most massive stars live relatively short lives) but also the way in which a star ends its days is also explained.
Chapter 4 describes the explosion of certain massive stars, outlining the various stages at the end of these stars' lives, which result in the cataclysmic explosions known as supernovae. In Chapter 5 the authors introduce the more exotic and spectacular forms of stellar explosion known as gamma-ray bursters. Chapter 6 studies the markers used for cosmic surveys and Hubble's contributions to the field. The penultimate chapter looks at the very distant, highly luminous sources known as quasars and the evolution of our universe from the earliest times. The final chapter shows how observations of distant supernovae have revealed that the expansion of the universe is in fact accelerating--one of the most exciting and remarkable discoveries in recent years. It was this discovery that lead to the idea that 70% of the universe is made up of mysterious dark energy.