Artículos relacionados a Embedded Systems: Analysis and Modeling with SysML,...
Embedded Systems: Analysis and Modeling with SysML, UML and AADL (Electronics Engineering Series) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 137,61
EUR 17,10 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 127,74
EUR 17,10 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Embedded Systems: Analysis and Modeling with SysML,...
Imagen del vendedor
Embedded Systems : Analysis and Modeling With Sysml, Uml and Aadl
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19066574-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Embedded Systems : Analysis and Modeling With Sysml, Uml and Aadl
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 19066574
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Embedded Systems : Analysis and Modeling With Sysml, Uml and Aadl
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 19066574
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Modeling Unbedded Systems Format: Hardcover
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 9781848215009
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
Publicado por
ISTE Ltd and John Wiley & Sons Inc, 2013
ISBN 10: 1848215002
ISBN 13: 9781848215009
Nuevo
Tapa dura
Original o primera edición
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 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. Editor(s): Kordon, Fabrice; Hugues, Jerome; Canals, Agusti; Dohet, Alain. Num Pages: 314 pages, illustrations. BIC Classification: TJ; UKM. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 22. Weight in Grams: 628. . 2013. 1st Edition. Hardcover. . . . . Nº de ref. del artículo: V9781848215009
Cantidad disponible: 15 disponibles
Imagen del vendedor
Embedded Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 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 whi. Nº de ref. del artículo: 597091342
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Embedded Systems : Analysis and Modeling With Sysml, Uml and Aadl
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19066574-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
Librería: Ubiquity Trade, Miami, FL, Estados Unidos de America
Calificación del vendedor: 2 de 5 estrellas
Condición: New. Brand new! Please provide a physical shipping address. Nº de ref. del artículo: 9781848215009
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
Publicado por
ISTE Ltd and John Wiley & Sons Inc, 2013
ISBN 10: 1848215002
ISBN 13: 9781848215009
Nuevo
Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 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. Editor(s): Kordon, Fabrice; Hugues, Jerome; Canals, Agusti; Dohet, Alain. Num Pages: 314 pages, illustrations. BIC Classification: TJ; UKM. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 22. Weight in Grams: 628. . 2013. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9781848215009
Cantidad disponible: 15 disponibles
Imagen de archivo
Embedded Systems (Hardcover)
Publicado por
ISTE Ltd and John Wiley & Sons Inc, London, 2013
ISBN 10: 1848215002
ISBN 13: 9781848215009
Nuevo
Tapa dura
Original o primera edición
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. 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, Jerome Hugues, Agusti Canals and Alain Dohet.Part 1. General Concepts1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, Jerome Hugues, Agusti Canals and Alain Dohet.2. Case Study: Pacemaker, Fabrice Kordon, Jerome Hugues, Agusti Canals and Alain Dohet.Part 2. SysML3. Presentation of SysML Concepts, Jean-Michel Bruel and Pascal Roques.4. Modeling of the Case Study Using SysML, Loic Fejoz, Philippe Leblanc and Agusti Canals.5. Requirements Analysis, Ludovic Apvrille and Pierre De Saqui-Sannes.Part 3. MARTE6. An Introduction to MARTE Concepts, Sebastien Gerard and Francois Terrier.7. Case Study Modeling Using MARTE, Jerome Delatour and Joel 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 Sebastien Gerard.Part 4. AADL10. Presentation of the AADL Concepts, Jerome Hugues and Xavier Renault.11. Case Study Modeling Using AADL, Etienne Borde.12. Model-Based Analysis, Thomas Robert and Jerome Hugues.13. Model-Based Code Generation, Laurent Pautet and Bechir Zalila. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9781848215009
Cantidad disponible: 1 disponibles