Concept

Software architecture description

Related publications (49)

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 technical report, we study a graphical notation to enhance readability a ...

2016

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 ...

2016

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

Joseph Sifakis, Simon Bliudze, Anton Ivanov, Anastasia Mavridou

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

Introducing dynamicity in JavaBIP

The JavaBIP framework allows the coordination of software components in an exogenous manner, while clearly separating the functional and coordination aspects of the system behaviour. JavaBIP implements the principles of the BIP component framework rooted i ...

2016

Modelling with forces: grammar-based graphic statics for diverse architectural structures

Corentin Jean Dominique Fivet

Most architectural modelling software provides the user with geometric freedom in absence of performance, while most engineering software mandates pre-determined forms before it can perform any numerical analysis. This trial-and-error process is not only t ...

Springer2015

Architectures: Design patterns for component-based systems

Simon Bliudze

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 ...

2014

Architecture Internalisation in BIP

Joseph Sifakis, Simon Bliudze

Architectures allow shifting the focus of developers from low-level code to high-level structures ensuring coordination in component-based systems. If the architecture description language is expressive enough, it is possible to describe architectures in a ...

2014

Near- and Sub-Threshold Design for Ultra-Low-Power Embedded Systems

Andreas Peter Burg

Ultra-low-power (ULP) software-programmable architectures are gradually replacing  dedicated VLSI circuits in many applications, including health care and other critical areas. However, the cost for more flexibility is the less frugal use of energy. This c ...

2013

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

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.