Publications related to Software deployment

Strategy to systematically design and deploy the ITER plasma control system: A system engineering and model-based design approach

Federico Alberto Alfredo Felici, Richard Pitts, Federico Pesamosca, Anna Ngoc Minh Trang Vu

The paper details the process of developing the ITER Plasma Control System (PCS), that is, how to design and deploy it systematically, in the most efficient and effective manner. The integrated nature of the ITER PCS, with its multitude of coupled control ...

Elsevier Science Sa2024

Radiation-tolerant Multichannel Dew Point Temperature Monitoring System for High Energy Physics Applications

Amar Kapic

The next generation of high-energy physics (HEP) detectors will predominantly be silicon-based. As pixel sensor technology gains momentum and the number of channels surpasses one billion (for a volume of approximately 20 m3) to achieve the high resolution ...

EPFL2023

Real-time model calibration with deep reinforcement learning

Olga Fink

The real-time, and accurate inference of model parameters is of great importance in many scientific and engineering disciplines that use computational models (such as a digital twin) for the analysis and prediction of complex physical processes. However, f ...

2022

Attestable Software Versioning for Stateful Confidential Computing

Edouard Bugnion, Charly Nicolas Lucien Castes

Trusted execution environments enable the creation of confidential and attestable enclaves that exclude the platform and service providers from the trusted base. From its initial attestable state, a stateful enclave such as a confidential database can hold ...

2022

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms by Dynamic Network Execution

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

The performance of programs executed on heterogeneous parallel platforms largely depends on the design choices regarding how to partition the processing on the various different processing units. In other words, it depends on the assumptions and parameters ...

MDPI2022

Second-Order Guarantees In Federated Learning

Ali H. Sayed, Stefan Vlaski, Elsa Rizk

Federated learning is a useful framework for centralized learning from distributed data under practical considerations of heterogeneity, asynchrony, and privacy. Federated architectures are frequently deployed in deep learning settings, which generally giv ...

IEEE2020

X-Shell Pavilion: A Deployable Elastic Rod Structure

Mark Pauly, Florin Isvoranu, Tian Chen, Francis Julian Panetta, Etienne Bouleau

We present the X-Shell pavilion, a lightweight structure composed of elastic beam elements joined in a special layout that allows easy on-site deployment. The structure’s undeployed assembly configuration lies mostly flat and is easy to build, consisting o ...

Ingenta2019

Performance Contracts for Software Network Functions

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Arseniy Zaostrovnykh, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

Plug-and-Play Fault Detection and Isolation for Large-Scale Nonlinear Systems With Stochastic Uncertainties

Giancarlo Ferrari Trecate

This paper proposes a novel scalable model-based fault detection and isolation approach for the monitoring of nonlinear large-scale systems, consisting of a network of interconnected subsystems. The fault diagnosis architecture is designed to automatically ...

2019

Optical microsystems for genetically engineered biosensors. Case study: Glucose monitoring

Bakul Jitendra Vinchhi

Diabetes is a global epidemic with millions of people dying from it every year. Progress in microelectronics and machine learning has led to a huge number of FDA approvals of devices for continuous monitoring and treatment of diabetes with one product usin ...

EPFL2019

Biomimetic adaptive control of a deployable tensegrity structure

Ann Christine Sychterz

Biomimetic behavior includes aspects such as learning from previous experience, self-diagnosis, and adaptation. This thesis describes control methodologies that are essential to development towards biomimetic behavior of a complex deployable structure. Sim ...

EPFL2018

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias, Philipp Svetolik Jovanovic, Nicolas Gailly, Kirill Nikitin, Ismail Khoffi

Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that elimina ...

USENIX Association2017

Aerial Human-Comfortable Collision-free Navigation in Dense Environments

Nicolas Dousse

With current overuse of the road transportation system and planned increase in traffic, inno- vative solutions that overcome environmental and financial cost of the current system should be assessed. A promising idea is the use of the third dimension for p ...

EPFL2017

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Jonas Benedict Wagner

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

EPFL2017

Automatic Calibration of Ultra Wide Band Tracking Systems Using A Mobile Robot: A Person Localization Case-study

Alcherio Martinoli, Zeynab Talebpour, Alessio Canepa

Ultra Wide Band (UWB) is an emerging technology in the field of indoor localization, mainly due to its high performances in indoor scenarios and relatively easy deployment. However, in complex indoor environments, its positioning accuracy may drastically d ...

Ieee2017

A Scalable and Secure System Architecture for Smart Buildings

Georgios Lilis

Recent years has seen profound changes in building technologies both in Europe and worldwide. With the emergence of Smart Grid and Smart City concepts, the Smart Building has attracted considerable attention and rapid development. The introduction of novel ...

EPFL2017

Linking Models and Experiments

Dominique Bonvin, Diogo Filipe Mateus Rodrigues, René Uwe Schneider

This position paper gives an overview of the discussion that took place at FIPSE 2 at Aldemar Resort, east of Heraklion, Crete, in June 21-23, 2014. This is the second conference in the series "Future Innovation in Process Systems Engineering" (http://fi-i ...

Amer Chemical Soc2016

openBEB: open biological experiment browser for correlative measurements

Henning Paul-Julius Stahlberg, Sophie Roizard

Background: New experimental methods must be developed to study interaction networks in systems biology. To reduce biological noise, individual subjects, such as single cells, should be analyzed using high throughput approaches. The measurement of several ...

Biomed Central Ltd2014

A simulation-optimization approach to deploy Internet services in large-scale systems with user-provided resources

Julia Proskurnia

Cloud computing systems can benefit from the use of personal and non-dedicated computers, which are currently employed in volunteer computing systems. Being non-dedicated, these resources show random behavior regarding the times they are online (available) ...

Sage Publications Ltd2014

Rigorous System Design: The BIP Approach

Joseph Sifakis

Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall c ...

Springer2012