From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2888E7EC6E; Mon, 27 Jan 2014 21:29:13 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alexander.romanovsky@newcastle.ac.uk) identity=pra; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of alexander.romanovsky@newcastle.ac.uk designates 128.240.234.22 as permitted sender) identity=mailfrom; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cheviot22.ncl.ac.uk) identity=helo; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="postmaster@cheviot22.ncl.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwCACXB5lKA8OoWnGdsb2JhbABaDoI6HAdZSgEBCqsOkmgWDgEBAQEBCAsJCRQogixxGgGBACcEiBgBDJpTpw6FFpFDD4F6BKwEgS8/gio X-IPAS-Result: AkwCACXB5lKA8OoWnGdsb2JhbABaDoI6HAdZSgEBCqsOkmgWDgEBAQEBCAsJCRQogixxGgGBACcEiBgBDJpTpw6FFpFDD4F6BKwEgS8/gio X-IronPort-AV: E=Sophos;i="4.95,731,1384297200"; d="scan'208,217";a="46327712" Received: from cheviot22.ncl.ac.uk ([128.240.234.22]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Jan 2014 21:29:12 +0100 Received: from exhubvm03.ncl.ac.uk ([128.240.234.7] helo=EXHUBVM03.campus.ncl.ac.uk) by cheviot22.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1W7snU-0006I0-Cu; Mon, 27 Jan 2014 20:28:44 +0000 Received: from EXMBDB02.campus.ncl.ac.uk ([fe80::c039:e17:9d60:9f3]) by EXHUBVM03.campus.ncl.ac.uk ([fe80::517e:5471:8227:7937%10]) with mapi id 14.03.0158.001; Mon, 27 Jan 2014 20:26:07 +0000 From: Alexander Romanovsky To: Alexander Romanovsky Thread-Topic: Book on Industrial Deployment of System Engineering Methods Thread-Index: AQHPG54B51wEhvqCQUCuE9JcThgDIg== Date: Mon, 27 Jan 2014 20:26:06 +0000 Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.4.160.7] Content-Type: multipart/alternative; boundary="_000_C90A039100ED405C819633DB97C10FC7_" MIME-Version: 1.0 X-Validation-by: alexander.romanovsky@newcastle.ac.uk Subject: [Caml-list] Book on Industrial Deployment of System Engineering Methods --_000_C90A039100ED405C819633DB97C10FC7_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Colleagues, this is to inform you about a new book published by Springer: Industrial Deployment of System Engineering Methods Alexander Romanovsky and Martyn Thomas (Eds.) http://www.springer.com/computer/swe/book/978-3-642-33169-5 A formal method is not the main engine of a development process, its contri= bution is to improve system dependability by motivating formalisation where= useful. This book summarizes the results of the DEPLOY research project on= engineering methods for dependable systems through the industrial deployme= nt of formal methods in software development. The applications considered w= ere in automotive, aerospace, railway, and enterprise information systems, = and microprocessor design. The project introduced a formal method, Event-B, into several industrial or= ganisations and built on the lessons learned to provide an ecosystem of bet= ter tools, documentation and support to help others to select and introduce= rigorous systems engineering methods. The contributing authors report on t= hese projects and the lessons learned. For the academic and research partne= rs and the tool vendors, the project identified improvements required in th= e methods and supporting tools, while the industrial partners learned about= the value of formal methods in general. A particular feature of the book i= s the frank assessment of the managerial and organisational challenges, the= weaknesses in some current methods and supporting tools, and the ways in w= hich they can be successfully overcome. The book will be of value to academic researchers, systems and software eng= ineers developing critical systems, industrial managers, policymakers, and = regulators. Best regards, Alexander Romanovsky --_000_C90A039100ED405C819633DB97C10FC7_ Content-Type: text/html; charset="us-ascii" Content-ID: <6DE3BC49055B4D40B92F1EC84D0A158C@fangorn.ncl.ac.uk> Content-Transfer-Encoding: quoted-printable
Colleagues, 

this is to inform you about a new book published by Springer:

Industrial Deployment of System = Engineering Methods 
Alexan= der Romanovsky and Martyn Thomas (Eds.)

http://www.springer.com/computer/swe/book/978-3-642-33169-5

A formal method is not the main engine of a development process, its c= ontribution is to improve system dependability by motivating formalisation = where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependab= le systems through the industrial deployment of formal methods in software = development. The applications considered were in automotive, aerospace, rai= lway, and enterprise information systems, and microprocessor design. 

The project introduced a formal method, Event-B, into several industri= al organisations and built on the lessons learned to provide an ecosystem o= f better tools, documentation and support to help others to select and introduce rigorous systems engineering method= s. The contributing authors report on these projects and the lessons learne= d. For the academic and research partners and the tool vendors, the project= identified improvements required in the methods and supporting tools, while the industrial partners learned= about the value of formal methods in general. A particular feature of the = book is the frank assessment of the managerial and organisational challenge= s, the weaknesses in some current methods and supporting tools, and the ways in which they can be successful= ly overcome. 

The book will be of value to academic researchers, systems and softwar= e engineers developing critical systems, industrial managers, policymakers,= and regulators.  


Best regards,

Alexander Romanovsky

--_000_C90A039100ED405C819633DB97C10FC7_--