Publication

Towards the Formal Integration of Two Upcoming Standards: IEC61970 and IEC61850

Related publications (35)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Formal semantics for refinement verification of entreprise models

Irina Rychkova

In this dissertation we investigate how Business/IT alignment in enterprise models can be enhanced by using a software engineering stepwise refinement paradigm. To have an IT system that supports an enterprise and meets the enterprise business needs, manag ...

EPFL2008

An Extensible and Personalized Approach to QoS-enabled Service Discovery

Karl Aberer, Manfred Hauswirth

We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can specify the QoS matching model and customize the ranking of services flexibly ac ...

2007

"Sentry Pallets" for Automated Monitoring of Spatial Constraints

Philippe Cudré-Mauroux

Warehouses must maintain a number of spatial constraints concerning the safe handling of hazardous materials. In this paper, we address the problem of automated monitoring of spatial constraints as pallets are moved on forklifts by human operators. We prop ...

2006

Integration and formal development of solar thermal collectors

Christian Roecker, Maria Cristina Munari Probst

The paper presents selected results of an investigation over possible ways to improve Building Integrated Solar Thermal systems (BIST) on the formal level. It shows the results of a European survey intended to help defining quality in the architectural int ...

2005

A Formal Model of Rational Exchange and Its Application to the Analysis of Syverson's Protocol

Jean-Pierre Hubaux, Levente Buttyan, Srdan Capkun

We propose a formal model of rational exchange and exchange protocols in general, which is based on game theory. In this model, an exchange protocol is represented as a set of strategies in a game that is played by the protocol parties and the network that ...

2004

Unreliable Failure Detectors via Operational Semantics

Rachele Fuzzati

The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony into asynchronous systems. Various kinds of such failure detectors have been identified ...

2003

Unreliable Failure Detectors via Operational Semantics

Rachele Fuzzati

The concept of Unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony into asynchronous systems. Various kinds of such failure detectors have been identified ...

2003

Modeling Consensus in a Process Calculus

Rachele Fuzzati, Massimo Merro

We give a process calculus model that formalizes a well known algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (Diamond S); we use our model to formally prove that the algorithm satisf ...

2003

Modeling Consensus in a Process Calculus

Rachele Fuzzati, Massimo Merro

We give a process calculus model that formalizes a well-known algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors; we use our model to formally prove that the algorithm satisfies its spec ...

2003

Modelling a Secure, Mobile, and Transactional System with CO-OPN

Stanislav Chachkov

Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new application domains include dynamicity, mobility, security, and localization depe ...

2003