DEPLOY Deliverable D32Deploy Grant Agreement • April 22nd, 2024
Contributors: Laurent Voisin (Systerel), Renato Silva (Southampton University) Nicolas Beauger (Systerel), Issam Maamria (Southampton University), Colin Snook (Southampton University), Matthias Schmaltz (ETH Zurich), Vitaly Savicks (Southampton University), Andy Edmunds (Southampton University), Alexei Iliasov (Newcastle University), Ilya Lopatkin (Newcastle University), Thai Son Hoang (ETH Zurich), Michael Leuschel (Düsseldorf University), Daniel Plagge (Düsseldorf University), Alin Stefanescu (Pitesti University)
DEPLOY Deliverable D37Deploy Grant Agreement • February 7th, 2011
DEPLOY DeliverableDeploy Grant Agreement • April 26th, 2012
This deliverable presents the project achievement of the work of collecting and structuring pieces of evidence identified in all those deployments in order to help potential industrial companies in their decision and deployment process about formal engineering methods.
DEPLOY Deliverable D38Deploy Grant Agreement • August 19th, 2011
DEPLOY Deliverable D27Deploy Grant Agreement • January 26th, 2010
DEPLOY Deliverable D54Deploy Grant Agreement • April 30th, 2012
DEPLOY Deliverable D23Deploy Grant Agreement • February 1st, 2010
Contributors: Nicolas Beauger (Systerel), Jens Bendisposto (Düsseldorf University), Michael Butler (Southampton University), Andreas Fürst (ETH Zurich), Alexei Iliasov (Newcastle University), Michael Jastram (Düsseldorf University), Issam Maamria (Southampton University), Daniel Plagge (Düsseldorf University), Renato Silva (Southampton University), Laurent Voisin (Systerel)
DEPLOY Deliverable D36Deploy Grant Agreement • February 7th, 2011
This document presents achievements obtained during the third year of the project, for establishing links and organizing co-operation activities with other ICT projects under the WP2007/2008 Strategic Objective IST-2007.1.2 « Service and Software Architectures, Infrastructure and Engineering », regarding objectives defined in [D3].
DEPLOY Deliverable D28Deploy Grant Agreement • January 14th, 2010
Abstract. With our growing reliance on computers, the total societal costs of their failures are hard to underestimate. Nowadays computers control critical systems from various domains such as aerospace, auto- motive, railway, business etc. Obviously, such systems must have a high degree of dependability a degree of trust that can be justi ably placed on them. Although the currently operating systems do have an acceptable level of dependability, we believe that they development process is still rather immature and ad-hoc. The constantly growing system complex- ity poses an increasing challenge on the system developers and requires signi cant improvement on the existing developing practice. To address this problem, we investigated how to establish a set of re nement-based engineering methods that can provide the designers with a systematic methodology for development of complex systems.
DEPLOY Deliverable D41Deploy Grant Agreement • June 29th, 2012
First Deploy Technical WorkshopDeploy Grant Agreement • January 21st, 2010
The second DEPLOY annual plenary meeting was held from 21st to 23rd of October in Aix-en-Provence, France. The main difference with respect to the first meeting has been a significant amount of time dedicated to technical presentations of papers. We invited all the academic and in- dustrial partners to submit papers about the work they were carrying on inside the DEPLOY project. The accepted submissions have been then organized in five different sessions, each regarding a DEPLOY relevant topic, plus one for short papers. The structure of this document reflects exactly the structure of the workshop, each of the parts represents a work- shop session:
DEPLOY DeliverableDeploy Grant Agreement • February 4th, 2009
This deliverable documents the measurement methodology for assessing the impact of the DEPLOY methodology and tools on productivity and dependability, developed in year 1 by the measurement workpackage (WP11). The measurement methodology is based on a state of the art on measurements (task 11.1) and a state of practice among the industrial partners (task 11.2).
DEPLOY Deliverable D15 D6.1 Advances in Methods Public DocumentDeploy Grant Agreement • May 19th, 2009
time constraints. Time constraints can be refined in the general spirit of refinement but more complex cases have yet to be investigated. In the longer term, Event-B could be extended with some real-time constructs that provide better support for real-time modelling in Event-B. In addition to this some generic patterns such as the trigger/response pattern can be incorporated into the tool to provide users with a semi-automatic refinement facility.
DEPLOY Deliverable D3Deploy Grant Agreement • August 21st, 2008
DEPLOY Deliverable D33Deploy Grant Agreement • February 9th, 2011
D20 D3.1 – Report on Pilot Deployment in the Space SectorDeploy Grant Agreement • February 1st, 2010
D39 D3.2 – Report on Enhanced Deployment in the Space SectorDeploy Grant Agreement • February 17th, 2022
DEPLOY Deliverable D16Deploy Grant Agreement • September 15th, 2009
DEPLOY Deliverable D45Deploy Grant Agreement • April 23rd, 2012
Contributors: Laurent Voisin (Systerel), Renato Silva (Southampton University) Nicolas Beauger (Systerel), Issam Maamria (Southampton University), Colin Snook (Southampton University), Matthias Schmaltz (ETH Zürich), Vitaly Savicks (Southampton University), Andy Edmunds (Southampton University), Alexei Iliasov (Newcastle University), Ilya Lopatkin (Newcastle University), Thai Son Hoang (ETH Zürich), Michael Leuschel (Düsseldorf University), Daniel Plagge (Düsseldorf University), Lukas Ladenberger(Düsseldorf University),
DEPLOY DeliverableDeploy Grant Agreement • September 15th, 2010
Although formal methods have developed for several decades in research laboratories, up to now they have had only little breakthrough in Industry. However, two factors have emerged in this decade. First, formal methods and tools have grown in maturity thanks to projects such as Rodin. Second, Industrial systems have grown to much higher degrees of complexity than ever before. Anticipating every interaction between all the electronic and software sub-components of a system is beyond the scope of Human capabilities alone. Formal engineering methods therefore offer a powerful mechanism to help engineers in crafting more dependable systems. In particular, formal methods impose to engineers to state explicitly the important aspect so that important properties and behaviours of the modelled systems can be guaranteed. The DEPLOY project now pushes further the argument for formal methods. First, by increasing the maturity of formal methods and tools; and second, by showing the applicability of
DEPLOY Deliverable D19Deploy Grant Agreement • May 19th, 2009
DEPLOY Deliverable D13Deploy Grant Agreement • February 3rd, 2009
DEPLOY Deliverable D31Deploy Grant Agreement • September 17th, 2020
DEPLOY Deliverable D17Deploy Grant Agreement • July 21st, 2009
DEPLOY Deliverable D26Deploy Grant Agreement • February 2nd, 2010
This document presents achievements obtained during the second year of the project, for establishing links and organizing co-operation activities with other ICT projects under the WP2007/2008 Objective « Service and Software Architectures, Infrastructure and Engineering », regarding objectives defined in [D3]1.
