Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
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 ...
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 ...
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 ...
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 ...
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 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 ...
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 ...
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 ...
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 ...
