Publications related to Integrated development environment

Latency Interfaces for Systems Code

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

EPFL2023

Systematic Literature Review of MBSE Tool-Chains

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

MDPI2022

A modular functional framework for the design and evaluation of multi-robot navigation

Alcherio Martinoli, Cyrill Silvan Baumann

In this work, we address the design of tightly integrated control, estimation, and allocation algorithms allowing a group of robots to move collectively. For doing so, we leverage a modular framework that allows us to define precisely the needed functional ...

Elsevier2021

An integrated design tool for timber plate structures to generate joints geometry, fabrication toolpath, and robot trajectories

Yves Weinand, Nicolas Henry Pierre Louis Rogeau, Pierre Latteur

This paper presents an integrated design tool for structures composed of engineered timber panels that are connected by traditional wood joints. Recent advances in computational architecture have permitted to automate the fabrication and assembly of such s ...

2021

A framework to automate the design of digitally-fabricated timber plate structures

Yves Weinand, Nicolas Henry Pierre Louis Rogeau, Aryan Rezaei Rad, Petras Vestartas, Henry V. Burton

The current study uses knowledge from digital architecture, computer science, engineering informatics, and structural engineering to formulate an algorithmic framework for integrated Computer-Aided Design (CAD) and Computer-Aided Engineering (CAE) of Integ ...

2021

Experimental implementation of a real-time power flux estimator for the ITER first wall on the TCV tokamak

Stefano Coda, Benoît Labit, Richard Pitts, Cristian Galperti, Federico Nespoli, Himank Anand

A control-oriented approach to the monitoring of wall power flux densities on ITER has been successfully developed. It is based on real-time equilibrium reconstruction in 2-D which is then used to describe the deposited heat flux as a poloidal flux functio ...

2019

Closed-Loop Haptic Feedback Control Using a Self-Sensing Soft Pneumatic Actuator Skin

Stéphanie Lacour, Jamie Paik, Harshal Arun Sonar, Aaron Powers Gerratt

In this article, we achieve a closed-loop control over haptic feedback, first time for an entirely soft platform. We prototyped a novel self-sensing soft pneumatic actuator (SPA) with soft strain sensors, called SPA-skin, which withstands large multiaxial ...

2020

Designing a socially integrated mobile robot for ethological research

Francesco Mondada, Alexey Gribovskiy, Jean-Louis Deneubourg

A robot introduced into an animal group, accepted by the animals as conspecifics, and capable of interacting with them is an ecient tool for ethological research, particularly in studies of collective and social behaviour. In this paper, we present the imp ...

Elsevier2018

Interactive Programming by Example

Mikaël Mayer

As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of computer science, and so on. With its forecast potential for solving problems by only o ...

EPFL2017

The SUMMA Platform Prototype

Hervé Bourlard, Andrei Popescu-Belis, Philip Neil Garner, Nikolaos Pappas, Sibo Tong, Yang Wang, Ahmed Ali, Steve Renals, Lesly Sadiht Miculicich Werlen, Marco Damonte, Hassan Sajjad

We present the first prototype of the SUMMA Platform: an integrated platform for multilingual media monitoring. The platform contains a rich suite of low-level and high-level natural language processing technologies: automatic speech recognition of broadca ...

Association for Computational Linguistics2017

FROG: rapid prototyping of collaborative learning scenarios

Pierre Dillenbourg, Louis Pierre Faucon, Stian Haklev, Thanasis Hadzilacos

We describe FROG, an integrated environment for authoring and running collaborative learning scenarios, called Orchestration Graphs. We describe the pedagogical background and the technical architecture, and present a case study of a teacher using FROG to ...

2017

Internal electric fields and electrode effects in ferroelectric thin films for piezoelectric energy harvesting

Robin Nigon

The continuing decrease of power requirements of electronic circuits offers the potential to deploy wireless systems as embedded sensors for cars or industrial tools, and implanted medical devices. Harvesting ambient vibrations by an appropriate energy har ...

EPFL2017

Bringing robotics into formal education using the Thymio open source hardware robot

Francesco Mondada, Michael Bonani, Léa Marie Pereyre, Fanny Riedo, Stéphane Magnenat, Philippe Rétornaz, Manon Aline Briod

Mobile robots are valuable tools for education because of both the enthusiasm they raise and the multidisciplinary nature of robotics technology. Mobile robots give access to a wide range of fields, such as complex mechanics, sensors, wireless transmission ...

Institute of Electrical and Electronics Engineers2017

Deductive Synthesis and Repair

Etienne Kneuss

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

EPFL2016

Interactive Synthesis using Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts free-form queries allowing a mixture of English and Java as an input, and produces Java code fragments that take the query into account and respect syntax, ty ...

2015

Synthesizing Java Expressions from Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces Java code expressions that take the query into account and respect syntax, t ...

Assoc Computing Machinery2015

Developing Verified Software Using Leon

Viktor Kuncak

We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...

Springer-Verlag Berlin2015

Thymio : a holistic approach to designing accessible educational robots

Fanny Riedo

Technology is now an important part of our lives. We often see robots cited as the future of education, and reports of their imminent entrance in schools. New projects create buzz in the media and online, but when we look at the actual situation, very few ...

EPFL2015

Automated Design Flow for Multi-Functional Dataflow-Based Platforms

Marco Mattavelli, Simone Casale Brunet, Endri Bezati

The implementation of processing platforms supporting multiple applications by runtime reconfigurations on dedicated hardware modules requires the solution of different problems. These problems are notably not-trivial since both platform and application co ...

Springer Verlag2015

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015