Welcome to the Resilient Computing Lab (RCL)

RCL is a research group of the Department of Mathematics and Informatics (DiMaI, "Dipartimento di Matermatica e Informatica") of the University of Florence. RCL research activities focus mainly in research and experimentation of dependable architectures and systems. RCL is currently involved in research spanning the following areas:

  • Architectures and techniques for resilient systems and infrastructures;
  • Quantitative dependability and QoS evaluation.

Details on where we are, who we are, and our projects are available on this website.
For further information, please contact prof. Andrea Bondavalli.

Prof. Davi Bibiano Brito Seminars PDF Print E-mail
Tuesday, 04 April 2017 12:18

On March 30th and 31st, Prof. Davi Bibiano Brito had two seminars, entitled:

  • Automatic and Self Sustaining Precision Irrigation System
  • Projects for Excellence in Microelectronics - PEM

Davi is an assistant professor at Universidade Federal de Alagoas (UFAL), in Maceió, Brazil.

He is visiting the Resilient Computing Lab as part of the DEVASSES project, and will stay in Firenze for one month.

Davi Brito_seminar

 
RCL is recruiting 3 new Postdocs PDF Print E-mail
Wednesday, 01 February 2017 10:03

unifi logoThe University of Florence, Florence, Italy, opens three Post Doctoral positions in


***Dependable and Secure Systems*


at the Resilient Computing Lab (RCL), Department of Mathematic and Informatics.

Deadline: March 23, 2017

We are recruiting three postdoctoral researchers in the area of engineering dependable, secure and resilient systems. The positions will be for a renewable one-year commitment starting May 2017. The activities will consist in  research and experimentation of dependable and secure cyber-physical systems, mainly over the broad topics of:

- Software engineering and assessment of dependable and secure transactional systems.
- Design and assess dependable and secure cyber-physical systems.

A doctoral degree in computer science/engineering  or related areas are required. Successful candidates are expected to work in team and independently, and also collaborate in projects active at the RCL group

** Resilient Computing Lab. RCL is a research group of the Department of Mathematics and Informatics (DiMaI, "Dipartimento di Matermatica e Informatica") of the University of Florence coordinated by Prof. Andrea Bondavalli. RCL research activities focus mainly in research and experimentation of dependable architectures and systems. The RCL group is composed by several members -  see our profiles here:

** Please refer to the official calls at:

- official call (1 position)

- official call (2 positions)

**Interested applicants are advised to This e-mail address is being protected from spambots. You need JavaScript enabled to view it for further information.**

 
AMADEOS Book - Cyber-Physical Systems of Systems PDF Print E-mail
Tuesday, 27 December 2016 15:46

The book originating from the AMADEOS project is now available!
The book is published in open access form by Springer, meaning that it is freely available for download.

Book Cover

Cyber-Physical Systems of Systems
Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Editors: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
ISBN: 978-3-319-47589-9 (Print) 978-3-319-47590-5 (Online)

"This book on Systems of Systems documents the main insights on CPSoS that we gained during our work in the European research project AMADEOS. The objective of this research was to bring time awareness, dynamicity, and evolution into the design of SoS, to establish a sound conceptual model that provides a well-defined language for describing SoS, to investigate the intricate topic of emergencein an SoS, and to outline a generic architectural framework and an SoS design methodology, supported by some prototype tools, for the modeling, development, and evolution of time-sensitive SoS."

 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web