Publications related to Software architecture description

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

Uncooperative Rendezvous in Space: Design of an Electronic Architecture for High Performance Avionic with Multi Sensor Input and Intensive Data Rate

Michaël Yannick Juillard

Active Debris Removal missions consist of sending a satellite in space and removing one or more debris from their current orbit. A key challenge is to obtain information about the uncooperative target. By gathering the velocity, position, and rotation of t ...

EPFL2022

Hardware and Software Support for RPC-Centric Server Architecture

Mark Johnathon Sutherland

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

EPFL2022

The emergence of cognitive digital twin: vision, challenges and opportunities

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

As a key enabling technology of Industry 4.0, Digital Twin (DT) has been widely applied to various industrial domains covering different lifecycle phases of products and systems. To fully realize the Industry 4.0 vision, it is necessary to integrate multip ...

TAYLOR & FRANCIS LTD2022

Systems Engineering Approach to Identify Requirements for Digital Twins Development

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Ali Gharaei

Digital Twins (DT) are proposed in industries to support the entire lifecycle of services with different perspectives. Lack of systematic analysis of DT concepts leads to various definitions and services which challenges the DT developers for data integrat ...

SPRINGER INTERNATIONAL PUBLISHING AG2020

Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Daniele Colangelo, Jean-Pierre Braun

The eective deployment of Phasor Measurement Units (PMUs) in Distribution Networks (DNs) requires an enhancement in terms of estimation accuracy beyond the limits of IEEE Std C37.118.1 (IEEE Std), aiming at a Total Vector Error (TVE) in the order of 0.0x% ...

2019

Hardware / Software Architectural and Technological Exploration for Energy-Efficient and Reliable Biomedical Devices

Loris Gérard Duch

Nowadays, the ubiquity of smart appliances in our everyday lives is increasingly strengthening the links between humans and machines. Beyond making our lives easier and more convenient, smart devices are now playing an important role in personalized health ...

EPFL2018

A Compact Modular Soft Surface With Reconfigurable Shape and Stiffness

Jamie Paik, Matthew Aaron Robertson, Wyatt Marshall Felt, Masato Murakami

A variety of reconfigurable surface devices, utilizing large numbers of actuated physical pixels to produce discretized 3D contours, have been developed for different purposes in research and industry. The difficulty of integrating many actuators in close ...

2018

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

Diving into the dynamics of product evolution : analyzing technological discontinuities during the era of incremental change and cognitive convergence on a dominant design

Olivier Waeber

Three distinct stages describe the technological evolution of a product over time: ferment, convergence on a dominant design and an era of incremental change. Until recently, the era of incremental change has been characterized as stable and one that invol ...

EPFL2017

Configuration logics: Modeling architecture styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Elsevier Science Inc2017

A Semantic Framework for Architecture Modelling

Eduard Baranov

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

EPFL2017

Architecture Diagrams: A Graphical Language for Architecture Style Specification

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance readability and easiness ...

Open Publ Assoc2016

Architecture-based Design: A Satellite On-board Software Case Study

Joseph Sifakis, Simon Bliudze, Anton Ivanov, Anastasia Mavridou

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Springer2016

Modelling Architecture Styles

Anastasia Mavridou

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

EPFL2016

Configuration Logics: Modelling Architecture Styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Springer Int Publishing Ag2015

Computing effective properties of random heterogeneous materials on heterogeneous parallel processors

Jean-Philippe Thiran, Alberto Ortona, Tiziano Leidi

In recent decades, finite element (FE) techniques have been extensively used for predicting effective properties of random heterogeneous materials. In the case of very complex microstructures, the choice of numerical methods for the solution of this proble ...

Elsevier2012

Architecture of a Real-Time Platform Independant GPS L1 Software Receiver

Personal digital assistants or mobile phones applications are not anymore restricted to multimedia or wireless communications, but have been extended to handle Global Positioning System (GPS) functionalities. Consequently, the growing market of GPS capable ...

EPFL2010

Complete Nanowire Crossbar Framework Optimized for the Multi-Spacer Patterning Technique

Giovanni De Micheli, Yusuf Leblebici, Mohamed Haykel Ben Jamaa

Nanowire crossbar circuits are an emerging architectural paradigm that promises a higher integration density and an improved fault-tolerance due to its reconfigurability. In this paper, we propose for the first time the utilization of the multi-spacer patt ...

2009

SUNtool - A new modelling paradigm for simulating and optimising urban sustainability

Jessen Page, Darren Robinson, Nicolas Morel

This paper describes the development and application of a new unique tool to support designers to optimise the sustainability of urban neighbourhoods (SUNtool). In this the paper introduces (i) the software architecture, (ii) the integrated solver and rela ...

2007