Publications related to Component-based software engineering

Architecture of a decentralised decision support system for futuristic beehives

Francesco Mondada, Robert Thomas Edmund Mills, Robert Matthew Mills

Honeybees are essential to human society, providing pollination services globally as well as producing honey and other valuable products. Effective management of apiaries should not only rely on beekeeper knowledge and skill, but also incorporate new infor ...

2024

Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971

Mihai Adrian Ionescu, David Atienza Alonso

The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...

2023

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Spatiotemporal wildfire modeling through point processes with moderate and extreme marks

Jonathan Koh Boon Han

Accurate spatiotemporal modeling of conditions leading to moderate and large wildfires provides better understanding of mechanisms driving fire-prone ecosystems and improves risk management. Here, we develop a joint model for the occurrence intensity and t ...

2023

Hardware-Software Co-Design of an RPC Processor

Arash Pourhabibi Zarandi

The booming popularity of online services has led to a major evolution in the way these services are built and deployed. To cope with such online data-intensive services, service providers deploy several massive-scale datacenters, also referred to as wareh ...

EPFL2021

Unraveling the synergy between metal-organic frameworks and co-catalysts in photocatalytic water splitting

Alfredo Pasquarello, Stefano Falletta, Kyriakos Stylianou, Stavroula Kampouri, Patrick Gono, Zhendong Guo

We investigate the synergy occurring in photocatalytic water splitting between the metal-organic framework MIL-125-NH(2)and two co-catalysts, namely NiO and Ni2P, by calculating their band edge alignment with respect to the redox levels of liquid water. Fo ...

Royal Society of Chemistry2020

The Navigation of Robotic Fiber Positioners in SDSS-V Project: Design and Implementation

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian

SDSS-V project is one of the major observational cosmological projects which aims to generate the map of the observable universe by collecting spectroscopic data from the sky using optical fibers. Each optical fiber is attached to a robotic positioner to b ...

IEEE2019

A New Engineering Model of Lightning M Component That Reproduces Its Electric Field Waveforms at Both Close and Far Distances

Farhad Rachidi-Haeri, Marcos Rubinstein, Mohammad Azadifar, Qi Li

We present a new engineering model for the M component mode of charge transfer to ground that can predict the observed electric field signatures associated with this process at various distances, including (a) the microsecond-scale pulse thought to be due ...

2019

Scaling Out Bioinformatics in the Data Center

Sam David Whitlock

Whole Genome Sequencing is a process in the field of bioinformatics that transforms biological samples of DNA into an electronic dataset of genetic bases. The process consists of two sequential components. First, the laboratory process of sequencing transf ...

EPFL2019

Coordination of Dynamic Software Components with JavaBIP

Simon Bliudze, Anastasia Mavridou

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent w ...

Springer International Publishing2017

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Juan Sebastian Rodriguez Estupinan

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

EPFL2017

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

Verification by Reduction to Functional Programs

Régis William Blanc

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...

EPFL2017

Morphological component analysis for sparse regularization in plane wave imaging

Jean-Philippe Thiran, Yves Wiaux, Dimitris Perdios, Eric Bezzam, Rafael Eduardo Carrillo Rangel, Marcel Arditi, Adrien Georges Jean Besson

Classical ultrasound image reconstruction mainly relies on the well-known delay-and-sum (DAS) beamforming for its simplicity and real-time capability. Sparse regularization methods propose an alternative to DAS which lead to a better inversion of the ill-p ...

Ieee2016

SeBip: a symbolic executor for BIP

Simon Bliudze, Qiang Wang

This paper presents SeBip, the first symbolic executor for component-based systems modelled in BIP (Be- haviour, Interaction and Priority). To tackle the path explosion problem, SeBip combines partial order reduction technique to reduce the number of inter ...

IEEE Computer Society2015

A Theory Agenda for Component-Based Design

Joseph Sifakis, Simon Bliudze

The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...

Springer International Publishing2015

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Simon Bliudze, Qiang Wang

This paper presents a novel safety property verification approach for component-based systems modelled in BIP (Behaviour, Interaction and Priority), encompassing multiparty synchronisation with data transfer and priority. Our contributions consist of: (1 ...

Springer2015

Automatic Fault Localization for BIP

Simon Bliudze, Qiang Wang

This paper presents a novel idea of automatic fault localization by exploiting counterexamples generated by a model checker. The key insight is that, if a candidate statement is faulty, it is possible to modify (i.e. correct) this statement so that the cou ...

Springer2015

Glazing with embedded microstructures for daylighting and seasonal thermal control

Andreas Schueler, André Gabriel Kostro, Josef Andreas Schuler

A glazing for daylighting and seasonal thermal control, the glazing including a pane defined between an outside-oriented interface and an inside-oriented interface, the pane comprising a first component and a second component, wherein the first component h ...

2015

Architecture Internalisation in BIP

Joseph Sifakis, Simon Bliudze

We consider two approaches for building component-based systems, which we call respectively architecture-based and architecture-agnostic. The former consists in describing coordination constraints in a purely declarative manner through parameterizable glue ...

ACM2014