Embedded Systems: Analysis and Modeling with Sysml, UML and Aadl (Electronics Engineering Series)

0 durchschnittliche Bewertung
( 0 Bewertungen bei Goodreads )
 
9781848215009: Embedded Systems: Analysis and Modeling with Sysml, UML and Aadl (Electronics Engineering Series)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 

Book by None

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor:

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 Concepts 1. 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. SysML 3. 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. MARTE 6. 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. AADL 10. 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. About the Authors Fabrice Kordon is Professor at University Pierre and Marie Curie in Paris, France, where he is in charge of the team Modelisation et verification of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods. Jerome Hugues is lecturer-researcher at the Institut Superieur de l Aeronautique 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 Systemes in Paris, France since 1981. He is deputy director of the Direction de la Qualite 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 Generale 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Beste Suchergebnisse bei AbeBooks

1.

Verlag: Wiley-ISTE (2013)
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Hardcover Anzahl: 2
Anbieter
Murray Media
(North Miami Beach, FL, USA)
Bewertung
[?]

Buchbeschreibung Wiley-ISTE, 2013. Hardcover. Zustand: New. Never used!. Bestandsnummer des Verkäufers P111848215002

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 95,40
Währung umrechnen

In den Warenkorb

Versand: EUR 17,04
Von USA nach Deutschland
Versandziele, Kosten & Dauer

2.

Verlag: ISTE Ltd and John Wiley Sons Inc, United Kingdom (2013)
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Hardcover Anzahl: 1
Anbieter
Book Depository International
(London, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2013. Hardback. Zustand: New. Language: English . Brand New Book. 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 Concepts 1. 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. SysML 3. 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. MARTE 6. 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. AADL 10. 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. About the Authors Fabrice Kordon is Professor at University Pierre and Marie Curie in Paris, France, where he is in charge of the team Modelisation et verification of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods. Jerome Hugues is lecturer-researcher at the Institut Superieur de l Aeronautique 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 Systemes in Paris, France since 1981. He is deputy director of the Direction de la Qualite 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 Generale 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 eng. Bestandsnummer des Verkäufers AAH9781848215009

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 116,16
Währung umrechnen

In den Warenkorb

Versand: EUR 0,56
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

3.

Verlag: ISTE Ltd and John Wiley Sons Inc, United Kingdom (2013)
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Hardcover Anzahl: 1
Anbieter
The Book Depository
(London, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2013. Hardback. Zustand: New. Language: English . Brand New Book. 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 Concepts 1. 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. SysML 3. 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. MARTE 6. 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. AADL 10. 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. About the Authors Fabrice Kordon is Professor at University Pierre and Marie Curie in Paris, France, where he is in charge of the team Modelisation et verification of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods. Jerome Hugues is lecturer-researcher at the Institut Superieur de l Aeronautique 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 Systemes in Paris, France since 1981. He is deputy director of the Direction de la Qualite 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 Generale 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 eng. Bestandsnummer des Verkäufers AAH9781848215009

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 116,74
Währung umrechnen

In den Warenkorb

Versand: EUR 0,56
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

4.

Fabrice Kordon
Verlag: ISTE Ltd. (2013)
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Anzahl: 5
Anbieter
Books2Anywhere
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung ISTE Ltd., 2013. HRD. Zustand: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bestandsnummer des Verkäufers FW-9781848215009

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 108,72
Währung umrechnen

In den Warenkorb

Versand: EUR 11,20
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

5.

Fabrice Kordon (editor), Jérôme Hugues (editor), Agusti Canals (editor), Alain Dohet (editor)
Verlag: Wiley 2013-04-16, London :|Hoboken, N.J. (2013)
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Hardcover Anzahl: 1
Anbieter
Blackwell's
(Oxford, OX, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Wiley 2013-04-16, London :|Hoboken, N.J., 2013. hardback. Zustand: New. Bestandsnummer des Verkäufers 9781848215009

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 118,33
Währung umrechnen

In den Warenkorb

Versand: EUR 2,24
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

6.

ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Anzahl: 3
Anbieter
GreatBookPrices
(Columbia, MD, USA)
Bewertung
[?]

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 19066574-n

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 107,90
Währung umrechnen

In den Warenkorb

Versand: EUR 13,63
Von USA nach Deutschland
Versandziele, Kosten & Dauer

7.

F Kordon
Verlag: John Wiley and Sons
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Anzahl: > 20
Anbieter
INDOO
(Avenel, NJ, USA)
Bewertung
[?]

Buchbeschreibung John Wiley and Sons. Zustand: New. Brand New. Bestandsnummer des Verkäufers 1848215002

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 107,07
Währung umrechnen

In den Warenkorb

Versand: EUR 15,35
Von USA nach Deutschland
Versandziele, Kosten & Dauer

8.

Kordon, Fabrice
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Anzahl: > 20
Anbieter
Paperbackshop-US
(Wood Dale, IL, USA)
Bewertung
[?]

Buchbeschreibung 2013. HRD. Zustand: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Bestandsnummer des Verkäufers VW-9781848215009

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 110,92
Währung umrechnen

In den Warenkorb

Versand: EUR 12,79
Von USA nach Deutschland
Versandziele, Kosten & Dauer

9.

Fabrice Kordon
Verlag: ISTE Ltd and John Wiley & Sons Inc
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Hardcover Anzahl: 7
Anbieter
THE SAINT BOOKSTORE
(Southport, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung ISTE Ltd and John Wiley & Sons Inc. Hardback. Zustand: New. New copy - Usually dispatched within 2 working days. Bestandsnummer des Verkäufers B9781848215009

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 123,15
Währung umrechnen

In den Warenkorb

Versand: EUR 5,54
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

10.

Verlag: ISTE Ltd and John Wiley Sons Inc, United Kingdom (2013)
ISBN 10: 1848215002 ISBN 13: 9781848215009
Neu Hardcover Anzahl: 10
Anbieter
Book Depository hard to find
(London, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2013. Hardback. Zustand: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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 Concepts 1. 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. SysML 3. 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. MARTE 6. 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. AADL 10. 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. About the Authors Fabrice Kordon is Professor at University Pierre and Marie Curie in Paris, France, where he is in charge of the team Modelisation et verification of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods. Jerome Hugues is lecturer-researcher at the Institut Superieur de l Aeronautique 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 Systemes in Paris, France since 1981. He is deputy director of the Direction de la Qualite 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 Generale pour l Armement (organization of the French Defense Minister ensuring the conduct of system programs), w. Bestandsnummer des Verkäufers BTE9781848215009

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 131,58
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen