Publication

Model-based automated testing of critical PLC programs

Related publications (65)

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.

This paper is a study on the use of Machine Learning and Deep Learning to determine the similarity between different musics. The first part introduces the framework used and some concepts of Deep Learning that will be used in the algorithms. The second par ...

2019

Real-Scenario Testing of an Active Phasor Data Concentrator

Mario Paolone, Asja Derviskadic, Guglielmo Frigo

The privileged position of the Phasor Data Concentrator (PDC) in a synchrophasor-based monitoring system can be exploited to make this device the core of a distributed measurement architecture suitable for control and protection applications in power syste ...

IEEE2019

Context-Tree Recommendation vs Matrix-Factorization: Algorithm Selection and Live Users Evaluation

Boi Faltings, Vincent Jean Fabrice Schickel, Stéphane Bernard Martin

We describe the selection, implementation and online evaluation of two e-commerce recommender systems developed with our partner company, Prediggo. The first one is based on the novel method of Bayesian Variable-order Markov Modeling (BVMM). The second, SS ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2019

Development of a hyperspectral camera

Arnaud Latty

The audiovisual communications laboratory (lcav.epfl.ch) is looking for students for the development of an interferential hyperspectral camera, as part of a semester project. It involves building, testing and improving, in collaboration with the scientific ...

2018

SaPPART Guidelines, Performance assessment of positioning terminal

Pierre-Yves Gilliéron

This deliverable, entitled guidelines, is the third outcome of SaPPART COST Action, a European network of scientists and stakeholders that aims to promote smart use of GNSS technology in the field of intelligent road transport and mobility. It discusses th ...

IFSTTAR2018

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

George Candea, Vitaly Chipounov, Bin Zhang, Chao Feng

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...

INST ENGINEERING TECHNOLOGY-IET2018

T-RECS: A Software Testbed for Multi-Agent Real-Time Control of Electric Grids

Jean-Yves Le Boudec, Wajeb Saab, Roman Rudnik, Jagdish Prasad Achara

Multiple software agents can be used to perform the real-time control of electrical grids. The control performance of such solutions is influenced by software non-idealities such as crashes and delays of the software agents, and message losses and delays d ...

2017

How little does non-exact recovery help in group testing?

Volkan Cevher, Jonathan Mark Scarlett

We consider the group testing problem, in which one seeks to identify a subset of defective items within a larger set of items based on a number of tests. We characterize the information-theoretic performance limits in the presence of list decoding, in whi ...

Ieee2017

Automated hill chart modeling procedure to estimate the performance of double regulated units

François Avellan, Loïc Andolfatto, Henri-Pascal Mombelli

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 ...

2016

, ,

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