Publication

A methodology and supporting tools for the development of component-based embedded systems

Related publications (33)

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.

Design for Test With Unreliable Memories by Restoring the Beauty of Randomness

Andreas Peter Burg, Reza Ghanaatian Jahromi, Marco Widmer

This article presents a design-for-test methodology for embedded memories. The methodology relies on a fully random fault model of post-fabrication errors, which results in a low-overhead test strategy. The methodology's effectiveness is demonstrated on an ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Development of a hyperspectral camera

Arnaud Latty

The audiovisual communications laboratory (lcav.epfl.ch) is looking for students for the development of an interferential hyperspectral camera, as part of a semester project. It involves building, testing and improving, in collaboration with the scientific ...

2018

From Timed Component-Based Systems to Time-Triggered Implementations: A Correct-by-Design Approach

In hard real-time embedded systems, design and specification methods and their associated tools must allow development of temporally deterministic systems to ensure their safety. To achieve this goal, we are specifically interested in methodologies based o ...

CEA LIST2017

Extending Safe C Support In Leon

Marco Adriano Antognini

As hardware designs get more robust and efficient, software can solve a wider range of challenges, each one more advanced than the previous one. The direct consequence is that software complexity grows continuously. Despite being used more frequently in de ...

2017

Wireless Monitoring in Intensive Care Units by a 3D-Printed System with Embedded Electronics

Giovanni De Micheli, Sandro Carrara, Francesca Stradolini, Irene Taurino, Danilo Demarchi, Stefano Riario, Flavia Basilotta

The design, realization, and preliminary test of a portable wireless system for measuring key metabolites (e.g., glucose, lactate, calcium, potassium, etc..) in intensive cure monitoring is presented. The system is composed by a 3D-Printed case, which incl ...

2015

Rigorous System Design: The BIP Approach

Joseph Sifakis

Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall c ...

Springer2012

Programming the Cloud

James Richard Larus

Client + cloud computing is a disruptive, new computing platform, combining diverse client devices -- PCs, smartphones, sensors, and single-function and embedded devices -- with the unlimited, on-demand computation and data storage offered by cloud computi ...

ACM2011

Online chemical modeling environment (OCHEM): web platform for data storage, model development and publishing of chemical information

Luc Patiny

The Online Chemical Modeling Environment is a web-based platform that aims to automate and simplify the typical steps required for QSAR modeling. The platform consists of two major subsystems: the database of experimental measurements and the modeling fram ...

2011

Rigorous system level modeling and analysis of mixed HW/SW systems

Joseph Sifakis, Kai Huang

A grand challenge in complex embedded systems design is developing methods and tools for modeling and analyzing the behavior of an application software running on multicore or distributed platforms. We propose a rigorous method and a tool chain that allows ...

IEEE2011

MPEG Reconfigurable Video Representation

Marco Mattavelli

The standardization efforts of MPEG in video coding, originally had as main objective to guarantee interoperability of compression systems. This carried with it the possibility to reach another important objective, namely to wide and easy deployment of im ...

Springer2011