Bidirectional transformation between BIP and SysML for visualisation and editing
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.
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 ...
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 ...
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 ...
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
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 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 ...
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 ...
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 ...
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 ...
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 ...
