Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic
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.
We present a technique for eliciting requirements based on the use of a service canvas and the results of its application in the early phase of a customer relationship management integration project. The project was a collaboration between a research group ...
The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...
The integration of the heating and current drive (HCD) systems in the EU DEMO tokamak must address a number of issues, namely space constraints in the tokamak building, remote handling requirements, breeding blanket penetration, neutron and photon radiatio ...
Photoactivatable dyes enable single-mol. imaging in biol. Despite progress in the development of new fluorophores and labeling strategies, many cellular compartments remain difficult to image beyond the limit of diffraction in living cells. For example, li ...
In this paper we present the methodology implemented for analyzing System Requirements and Interfaces of the Heating and Current Drive (HCD) system of the European Demonstration Fusion Power Reactor DEMO. The work consisted in updating the preliminary fram ...
In order to fulfill all design requirements for a project, some experimental tests as well as numerical investigations has been conducted. The main intention of the current report is to give an insight into the experimental tests which we expected to get t ...
In the framework of the EUROfusion Consortium, the Work Package Heating and Current Drive (WPHCD) is undertaking the development and design of the DEMO Heating and Current Drive (HCD) system, supported by the Work Package Plant Level Systems Engineering, D ...
Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of robust reactive systems from temporal specifications. Existing methods allow arbitrary behavior if ass ...
We present an exact approach to synthesize temporal-logic formulas in linear temporal logic (LTL) from a set of given positive and negative example traces. Our approach uses topology structures, in particular partial DAGs, to partition the search space int ...
The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...
