July 25, 2005 Workshop on Rigorous Engineering of Fault- Tolerant Systems (REFT 2005) at the 13th International Symposium of Formal Methods 2005 Newcastle.

Slides:

Advertisements

Similar presentations

ICT Work Programme NCP Infoday 23 June Maria Geronymaki DG INFSO.H.2 ICT for Government & Public Services Objective.

Advertisements

1 Software Technologies in Call 5 and FP7 in Call 5 and FP7 Unit D3 J.L. Fernández-Villacañas Martín

Architecture Tutorial Summary and Conclusions. Architecture Tutorial The Provenance Architecture.

Project Cluster “LIFETIME” Cluster “LIFETIME” management group: Chairman: Prof. Dr. Asko Sarja, VTT, Finland Prof. Phil Bamforth, Taylor.

September 10, Industry Day. Paris 1 RODIN Rigorous Open Development Environment for Complex Systems Industry Day Alexander Romanovsky Newcastle University.

Dr. Bhavani Thuraisingham The University of Texas at Dallas August 6, 2007 Software Engineering Systems Engineering Security Engineering.

Finnish-Brazilian Network of Excellence in Biomass and Renewable Energy (NOBRE) Osvaldo Chiavone (WG 4 leader in Brazil) Pedro Fardim and Claudio Oller.

‘EUsers - Services of general interest in the EU: a citizens’ perspective on public versus private provision’ 2014 – 2017 Jean Monnet Networks Creation.

IRRIIS – Integrated Risk Reduction of Information-based Infrastructure Systems Workshop - Middleware Improved Technology for Interdependent Critical Infrastructures.

1 SYSTEM FOR INTEGRATED MONITORING OF ENVIRONMENT POLLUTION IN EUROPE (SIMPLE) Andrzej Filipkowski, Warsaw University of Technology

Institute of Computing – UNICAMP - Brazil Modeling and Analysis of Architectural Exceptions Fernando Castor Filho Patrick Henrique da S. Brito

Date of presentation 1 PROJECT IDEA Topic: PRIME: “Proactive Inter-Middleware for Self- Configurable Heterogeneous Cloud EcoSystems” –Objective Cloud Computing,

July 2005REFT workshop, Newcastle1 Some thoughts about product line engineering: using UML, B, and refinement - emerging from CS2/ATEC A research programme.

IST Rodin Project Towards Formal Development of Mobile Location-based Systems REFT 2005 Alexei Iliasov 1, Linas Laibinis 2, Alexander Romanovsky 1, Elena.

6 th Framework programme (FP6) Networks of Excellence (new) Integrated Programmes (new) “Traditional” instruments Specific targeted research projects Coordinated.

© HATII, University of Glasgow Uncertainty, Risk, Trust, and Digital Persistency Seamus Ross, Director HATII University of Glasgow 2006 NHPRC Electronic.

Engine Controls Rodin EU project IST REFT’05 – Newcastle, July 2005 Towards a methodology for rigorous development of generic requirements patterns.

1 st European Conference on Unsaturated Soils. TC6 ISSMGE Meeting, Phoenix, USA, April 2006 Dr Domenico Gallipoli, Durham University Conference Rationale.

6 Feb 08 Deploying Rodin Michael Butler Dependable Systems and Software Engineering University of Southampton.

WORK PROGRAMME 2014 – 2015 Topic ICT 9: Tools and Methods for Software Development Odysseas I. PYROVOLAKIS European Commission DG CONNECT Software & Services,

Project supported by YESS 2009 Young Engineering Scientist Symposium « Identity Management » Cryptography for the Security of Embedded Systems Ambient.

Australian Partnership for Sustainable Repositories AUSTRALIAN PARTNERSHIP FOR SUSTAINABLE REPOSITORIES Caul Meeting 2005/2 Brisbane 15.

F i r s t I n t e r n a t i o n a l W o r k s h o p DESIGN OF CONCRETE STRUCTURES USING EN September 2010, Prague, Czech Republic Concrete.

FMEA-technique of Web Services Analysis and Dependability Ensuring Anatoliy Gorbenko Vyacheslav Kharchenko Olga Tarasyuk National Aerospace University.

revised CmpE 583 Fall 2006Discussion: OWL- 1 CmpE 583- Web Semantics: Theory and Practice DISCUSSION: OWL Atilla ELÇİ Computer Engineering.

European Life Sciences Infrastructure for Biological Information ELIXIR

Concluding Panel 15:30-17:00, Jan.31, 2002 Coordination : Jun Murai (Keio Univ.) Panelists : - Gul Agha (University of Illinois, USA) - Ly Sauer (Sandia.

IST 2004 Event - Participate in your future IST 2004 Event - Participate in your future, Hague, Netherlands, 15-17/11/04 Opportunities for collaboration.

Making Grey Literature Available through Institutional Repositories LeRoy J. LaFleur, Social Sciences Bibliographer Nathan A. Rupp, Metadata Librarian.

SIMILAR NoE at the HUMAINE meeting - 5/06/2007 Multimodal Interaction R&D 4 Years Dec 2003 – Dec M€ 32 partners + 8 fellows.

COFRET is co-financed by the European Commission Directorate General for Research & Innovation within the 7th Framework Programme.

© Yilmaz “Agent-Directed Simulation – Course Outline” 1 Course Outline Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory Computer Science &

Information Society Technologies in the 6th Framework Programme IST Work Programme S.O Software and Services.

25 November 2002 DeSIRE, Pisa Methods and Tools for Formal Design and Validation Michael Butler University of Southampton

International Conference EURO Mini Conference “Continuous Optimization and Knowledge Based Technologies” EurOPT-2008 May 20-23, 2008, Neringa, LITHUANIA.

Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next.

Dependability in FP 6 Brian Randell Pisa Workshop, November 2002.

AgentLink The IST Network of Excellence for Agent-Based Computing Michael Luck AgentLink Director.

MODA-TEL An IST project on Model Driven Architectures for Telecommunications System Development and Operation.

WP6. Demonstration Organized showcases, workshops, and public appearances D 6.2 Report.

Lecture Notes in Computer Science Lecture Notes in Computer Science (ISSN ), in short LNCS, is the LNCS series with subseries of Artificial.

Industry Day Paris Rodin Methodology for Developing Fault Tolerant Systems Elena Troubitsyna Åbo Akademi University, Turku, Finland.

WP1 WP2 WP3 WP4 WP5 COORDINATOR WORK PACKAGE LDR RESEARCHER ACEOLE MID TERM REVIEW CERN 3 RD AUGUST 2010 Adriana Telesca Mid Term Review 3 rd August 2010.

Bob Jones Technical Director CERN - August 2003 EGEE is proposed as a project to be funded by the European Union under contract IST

MAFTIA Expression of Interest for DEFINE and DESIRE presented by Robert Stroud, University of Newcastle upon Tyne.

EOGEO Workshop Report WGISS 20 Allan Doyle

ECOLEAD 1 Jermol/JSI © Jermol/JSI Training activities WP7 Mitja Jermol Jozef Stefan Institute (JSI)

Cluster “LIFETIME” Cluster “LIFETIME” projects: LIFECON (Coordinator VTT, Finland) EUROLIFEFORM (Coordinator Taylor Woodrow, United Kingdom) INVESTIMMO.

Apostolos Niaouris Newcastle University Industry Day Mobility Plug-in.

Proposal for ECDL 2011: Willkommen in Berlin! Prof. Dr. Stefan Gradmann / Jenny Oltersdorf Humboldt-Universität zu Berlin / School of Library and Information.

Type of funding scheme: STREP Work programme topics addressed: PHC 30 – 2015 Digital representation of health data to improve disease diagnosis and treatment.

Dissemination Exploitation and Use Ametist review 23/11/04.

Information day on FP6 Budapest Tor Ulsund (abelia)

Marco Vieira University of Coimbra Naples, 20th December 2011.

ECRYPT European Network of Excellence in Cryptology Project Overview.

October, 2008 DEPLOY Integrated Project Deployment of advances engineering methods for high productivity and dependability in European industry Alexander.

Bob Jones EGEE Technical Director

WP15- Dissemination & Exploitation INMARK

European Open Access developments

Australian perspectives are different…

Jingyong Liu*, Lichen Zhang,

COST Action 542 Start date: 01/06/2006 End date: 12/07/2010 Year: 3

Are Practitioners Writing Contracts?

NPRI UK Society for Behavioural Medicine

Artificial Intelligence (AI): Algorithms and Applications

Advanced Computational and Communication Paradigms

Indicative budget allocation: 29 MEuro

Sydney, Australia October, 2019

Vice Presidency for Research EPFL Presentation - Public | 2017.

ISASTECH PAPER TITLE ABSTRACT

Presentation transcript:

July 25, 2005 Workshop on Rigorous Engineering of Fault- Tolerant Systems (REFT 2005) at the 13th International Symposium of Formal Methods 2005 Newcastle upon Tyne, UK July 19, 2005 WORKSHOP ORGANISERS Michael Butler (University of Southampton) Cliff Jones (University of Newcastle upon Tyne) Alexander Romanovsky (University of Newcastle upon Tyne) Elena Troubitsyna (Aabo Akademi)

July 25, 2005 RODIN Rigorous Open Development Environment for Complex Systems STREP, IST FP6 Project IST September 1, August 31, 2007

July 25, 2005 RODIN Participants University of Newcastle upon Tyne, UK (Coordinator) Aabo Akademi University, Turku, Finland ClearSy System Engineering, France Nokia Corporation, Finland Praxis Critical Systems Ltd, UK VT Engine Controls Ltd, UK Swiss Federal Institute of Technology, Zurich, Switzerland University of Southampton, UK RODIN Industrial Interest Group: Adelard, Alstom Transportation, AWE Aldermaston, DGA, Escher Technologies, Gemplus, IBM UK, I.C.C.C. Group, QinetiQ, RATP, STMicroelectronics, VTT, CETIC/FAUST, SYSTEREL RODIN Associates Group: Université Technologique de Compiègne, University of New South Wales, University of Luxembourg, University of Versailles, University of York, Düsseldorf University, Loria

July 25, 2005 The overall objective of RODIN is to create a methodology and supporting open tool platform for the cost-effective rigorous development of dependable complex software systems and services Main Advances in: - Formal design methods - Fault tolerance - Design abstractions - Tool platform Tackling complexity of the software systems and of the environment

July 25, 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005) Invited talk Invited presentations: IST Software Technologies Unit AOSD IST NoE Demonstration 13 presentations Proceedings: M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna. Proc. of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). School of Computing Science, Technical Report Series, CS-TR-915, University of Newcastle upon Tyne, UK, ISSN A State of the Art Series proposal for Springer LNCS. Invited papers.