Home

Software design

Applied sciences
Computer engineering
Software development
Software design

About
Privacy
Disclaimer

Graph Chatbot

Related publications (27)

A Semantic Framework for Architecture Modelling

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

Robust Software Development for University-Built Satellites

Anton Ivanov, Simon Bliudze

Satellites and other complex systems now become more and more software dependent. Even nano satellites have complexity that can be compared to scientific instruments launched to Mars. COTS components and subsystems may now be purchased to support payload d ...

IEEE2017

Configuration logics: Modeling architecture styles

Simon Bliudze, Joseph Sifakis, 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

Collision-Free Pattern Formation

Rachid Guerraoui, Alexandre David Olivier Maurer

Shoals of small fishes can change their collective shape and form a specific pattern. They do so efficiently (in parallel) and without collision. In this paper, we study the analog problem of distributed pattern formation. A set of processes needs to move ...

2016

On the various local solutions to a two-input dynamic optimization problem

Dominique Bonvin

Solving a multi-input dynamic optimization of a batch processes is a complex problem involving interactions between input variables and constraints over time. The problem gets more difficult due to the presence of local solutions that have almost the same ...

Elsevier2016

Real-Time High-Accuracy 2D Localization with Structured Patterns

Francesco Mondada, Pierre Dillenbourg, Lukas Oliver Hostettler, Séverin Lemaignan, Ayberk Özgür

Building over algorithms previously developed for digital pens, this article introduces a novel 2D localization technique for mobile robots, based on simple printed patterns. This method combines high absolute accuracy (below 0.3mm), unlimited scalability, ...

IEEE2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification

Simon Bliudze, Joseph Sifakis, 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

Page 2 of 2