Conception de logiciel

Applied sciences
Génie informatique
Développement de logiciel
Conception de logiciel

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

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

Robust Software Development for University-Built Satellites

Simon Bliudze, Anton Ivanov

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

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

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

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

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

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

Page 3 sur 3