Bidirectional transformation between BIP and SysML for visualisation and editing
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.
Modeling languages are used to make models that are commonly used in communicating about real-life situations such as the modeling of business and IT requirements in organizations. A way to evaluate how effective the modeling languages are for communicatin ...
Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...
This project is about testing the security of casual/commercial drones. For this, we tested drones from the company Parrot, but the conclusions apply to all drones based on WiFi controllers. To test drones security, the project was divided in two parts. Th ...
The work presented in this paper details an original procedure developed in order to automatically build on-cam surfaces for double-regulated hydropower units such as Kaplan or bulb turbines. The proposed method allows a sparse exploration of the operating ...
Nonlinear dynamic (response history) analysis is being used increasingly in design practice for the performance-based seismic design of new buildings. In contrast to nonlinear static analysis, dynamic analysis requires more explicit modeling of cyclic resp ...
The CubETH satellite mission, a cooperative Swiss CubeSat mission involving ETH Zurich, EPF Lausanne, several universities of applied sciences, and Swiss companies, will allow technology demonstrations and proof-of-concepts concerning GNSS-based navigation ...
Modern software is plagued by elusive corner-case bugs (e.g., security bugs). Because there are no scalable, automated ways of finding them, such bugs can remain hidden until software is deployed in production. This thesis proposes approaches to solve this ...
The Cardinal brewery bottled its last beer in 2011 in Fribourg. In order to revitalize this postindustrial urban area, the Canton and the city of Fribourg decided to transform the site into an innovation quarter (a technology and innovation park), called b ...
Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the ...
Institute of Electrical and Electronics Engineers2015
This paper reports on a pilot study of the integration between the Systemic Enterprise Architecture Method (SEAM) and the Analytic Hierarchy Process (AHP) in a requirements engineering project. The objective of the project, conducted in one of the major ba ...
