Publications de Simon Bliudze | EPFL Graph Search

Ordering Events Based on Intentionality in Cyber-Physical Systems

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

We consider cyber-physical systems (CPSs) comprising a central controller that might be replicated for high-reliability, and one or more process agents. The controller receives measurements from process agents, causing it to compute and issue setpoints tha ...

2018

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems

Jean-Yves Le Boudec, Simon Bliudze, Wajeb Saab

Real-time control systems use controllers that compute and issue setpoints within stringent delay constraints. Failure to do so, due to a crash or delay as a result of software and/or hardware faults, can cause failure of the controlled resources. Recently ...

2018

A controller and an agreement protocol for a real-time control system

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

The present invention concerns a method of generating setpoints for actuators (13) of a real-time control system. The method comprises a first controller (9): a) receiving a first set of measurements from sensors (3), the measurements being individually la ...

2018

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Alena Simalatsar, Simon Bliudze, Alina Zolotukhina

The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions ass ...

Springer International Publishing2017

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

Quarts: Quick Agreement for Real-Time Control Systems

Jean-Yves Le Boudec, Simon Bliudze, Wajeb Saab

Real-time control systems (RTCSs) tolerate delay and crash faults by replicating the controller. Each replica computes and issues setpoints to actuators over a network that might drop or delay messages. Hence, the actuators might receive an inconsistent se ...

2017

Exogenous Coordination of Concurrent Software Components with JavaBIP

Radoslaw Szymanek, Simon Bliudze, Alina Zolotukhina, Anastasia Mavridou

A strong separation of concerns is necessary in order to make the design of domain-specific functional components independent from cross-cutting concerns, such as concurrent access to the shared resources of the execution platform. Native coordination mech ...

Wiley-Blackwell2017

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

Ordering Events Based on Intentionality in Cyber-Physical Systems

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

We consider cyber-physical systems (CPSs) comprising a central controller that might be replicated for high-reliability, and one or more process agents. The controller receives measurements from process agents, causing it to compute and issue setpoints tha ...

2017

Combine and conquer: Relating BIP and Reo

Simon Bliudze

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation b ...

Elsevier Science Inc2017

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

Functional BIP: Embedding connectors in functional programming languages

Romain Edelmann, Simon Bliudze, Joseph Sifakis

This paper presents a theoretical foundation for functional language implementations of Behaviour–Interaction–Priority (BIP). We introduce a set of connector combinators describing synchronisation, data transfer, priorities and dynamicity in a principled w ...

Elsevier Science Inc2017

A Note on the Expressiveness of BIP

Simon Bliudze, Eduard Baranov

We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms, strong and weak, of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) f ...

Open Publ Assoc2016

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

Axo: Masking Delay Faults in Real-Time Control Systems

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

We consider real-time control systems that consist of a controller that computes and sends setpoints to be implemented in physical processes through process agents. We focus on systems that use commercial off-the-shelf hardware and software components. Set ...

2016

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

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

POSTER ABSTRACT: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations

Simon Bliudze

Ieee2016

Axo: Tolerating Delay Faults in Real-Time Systems

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

We address delay faults: faults that cause a software component to take more time for completing an action than a given deadline. Such faults are particularly of interest in real- time mission-critical control applications that use general-purpose computin ...

2016

A General Framework for Architecture Composability

Simon Bliudze, Joseph Sifakis, Eduard Baranov

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

Springer Verlag2016

Parameterized Systems in BIP: Design and Model Checking

Simon Bliudze, Joseph Sifakis, Qiang Wang

BIP is a component-based framework for system design that has important industrial applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP to system ...

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2016