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

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Embedded Systems: Analysis and Modeling with SysML, UML and AADL
Editor: ISTE Ltd and John Wiley & Sons Inc
Fecha de publicaci�n: 2013
Idioma: Ingl�s
ISBN 10: 1848215002
ISBN 13: 9781848215009
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: New

Acerca de

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.

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.

Descripci�n de la librer�a

We carry a comprehensive range of out of print and rare books.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described on the Abebooks websites.

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Derecho a cancelaci�n

Condiciones de env�o

All books securely packaged. Some books ship from Ireland.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 14 a 20 d�as h�biles	De 13 a 14 d�as h�biles
Primer art�culo	EUR 9.04	EUR 18.08

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.