Search

Your search keyword '"Rodriguez-Navas, Guillermo"' showing total 94 results
Start Over Author "Rodriguez-Navas, Guillermo"
94 results on '"Rodriguez-Navas, Guillermo"'

3. Towards Classification of Lightweight Formal Methods

Author

Zamansky, Anna, Spichkova, Maria, Rodriguez-Navas, Guillermo, Herrmann, Peter, and Blech, Jan Olaf

Subjects
Computer Science - Software Engineering
Abstract

The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used for over ten years now, there seems to be no common agreement on what "lightweight" actually means, and different communities apply the term in all kinds of ways. In this paper, we explore the recent trends in the use of LFM, and establish our opinion that cost-effectiveness is the driving force to deploy LFM. Further, we propose a simple framework that should help to classify different LFM approaches and to estimate which of them are most cost-effective for a certain software engineering project. We demonstrate our framework using some examples., Comment: Preprint. Accepted to the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013). Final version published by SCITEPRESS

Published
2018

4. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults

Author

Avni, Guy, Goel, Shubham, Henzinger, Thomas A., and Rodriguez-Navas, Guillermo

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictability. We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. For a given network with a forwarding scheme and a constant $\ell$, we compute the {\em score} of the scheme, namely the probability (induced by faults) that at least $\ell$ messages arrive on time. We reduce the scoring problem to a reachability problem on a Markov chain with a "product-like" structure. Its special structure allows us to reason about it symbolically, and reduce the scoring problem to #SAT. Our solution is generic and can be adapted to different networks and other contexts. Also, we show the computational complexity of the scoring problem is #P-complete, and we study methods to estimate the score. We evaluate the effectiveness of our techniques with an implementation., Comment: Accepted to TACAS 2017

Published
2017

5. Foreword: Rethinking resilience practices before and after the Covid-19 crisis

Author

Pesaro, Giulia, primary, Colucci, Angela, additional, Brazil, Elis Tayná Almeida, additional, Miranda, Thales Barroso, additional, Dechamma, C.S., additional, Río, Juan del, additional, Cardoso, Ana Cláudia Duarte, additional, Lima, José Júlio Ferreira, additional, Soler, Salvador Garrido, additional, Fernández, Cristian Moyano, additional, Nagendra, Harini, additional, Rodriguez-Navas, Guillermo, additional, and Sen, Amrita, additional

Published
2022
Full Text
View/download PDF

7. List of contributors

Author

Andriessen, Jerry, primary, Beaurez, Nicolas, additional, Benelli, Federica, additional, Bourdeau-Lepage, Lise, additional, Brazil, Elis Tayná Almeida, additional, Cardoso, Ana Cláudia Duarte, additional, Cassanet, Lisa, additional, Cetara, Luca, additional, Colucci, Angela, additional, Cossu, Mara, additional, Couderc-Papaix, Marie-Laure, additional, Dechamma, C.S., additional, Del Río, Juan, additional, Dezio, Catherine, additional, Furmanek, Nicolas, additional, Garibaldi, Valeria, additional, Garrido-Soler, Salvador, additional, Jachia, Elena, additional, Janků, Kateřina Sidiropulu, additional, Laniado, Eliot, additional, Lespinasse, Sarah Talandier, additional, Lima, José Júlio Ferreira, additional, Magaudda, Stefano, additional, Magoni, Marcello, additional, Mangiatordi, Andrea, additional, Marino, Davide, additional, Mazzocchi, Giampiero, additional, Miranda, Thales Barroso, additional, Moyano-Fernández, Cristian, additional, Muccitelli, Serena, additional, Nagendra, Harini, additional, Pardijs, Mirjam, additional, Pesaro, Giulia, additional, Radaelli, Rachele, additional, Rodriguez-Navas, Guillermo, additional, Sen, Amrita, additional, and Sigismondi, Carlotta, additional

Published
2022
Full Text
View/download PDF

8. The Karlskrona manifesto for sustainability design

Author

Becker, Christoph, Chitchyan, Ruzanna, Duboc, Leticia, Easterbrook, Steve, Mahaux, Martin, Penzenstadler, Birgit, Rodriguez-Navas, Guillermo, Salinesi, Camille, Seyff, Norbert, Venters, Colin, Calero, Coral, Kocak, Sedef Akinli, and Betz, Stefanie

Subjects
Computer Science - Software Engineering, Computer Science - General Literature
Abstract

Sustainability is a central concern for our society, and software systems increasingly play a central role in it. As designers of software technology, we cause change and are responsible for the effects of our design choices. We recognize that there is a rapidly increasing awareness of the fundamental need and desire for a more sustainable world, and there is a lot of genuine goodwill. However, this alone will be ineffective unless we come to understand and address our persistent misperceptions. The Karlskrona Manifesto for Sustainability Design aims to initiate a much needed conversation in and beyond the software community by highlighting such perceptions and proposing a set of fundamental principles for sustainability design.

Published
2014

10. Dependable Automotive CAN Networks

Author

Pimentel, Juan, primary, Proenza, Julian, additional, Almeida, Luis, additional, Rodriguez-Navas, Guillermo, additional, Barranco, Manuel, additional, and Ferreira, Joaquim, additional

Published
2017
Full Text
View/download PDF

13. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

Author

Rodriguez-Navas, Guillermo, Proenza, Julián, Hansson, Hans, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Butler, Michael, editor, Hinchey, Michael G., editor, and Larrondo-Petrie, María M., editor

Published
2007
Full Text
View/download PDF

17. From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?

Author

Rodriguez-Navas, Guillermo, Graydon, Patrick, Bate, Iain, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

21. Dependable Automotive CAN Networks

Author

Pimentel, Juan, primary, Proenza, Julian, additional, Almeida, Luis, additional, Rodriguez-Navas, Guillermo, additional, Barranco, Manuel, additional, and Ferreira, Joaquim, additional

Published
2008
Full Text
View/download PDF

39. Mind the Gap: Bridging the Sustainable Software Systems Research Divide

Author

Venters, Colin, Becker, Christoph, Betz, Stefanie, Chitchyan, Ruzanna, Duboc, Leticia, Easterbrook, Steve, Penzenstadler, Birgit, Rodriguez-Navas, Guillermo, and Seyff, Norbert

Subjects
T1
Abstract

Sustainability is a major concern to humanity as a result of the consequences of the rapid consumption of the planets finite natural resources, combined with exponential economic and population growth. Principally associated with the field of ecology, sustainability has emerged as an important area of research in a number of sub-fields within the domain of computing including human-computer interaction. While these communities have attempted to address the challenges of sustainability from their different perspectives, there is a severe lack of common understanding of the fundamental concepts of sustainability and how they relate to software systems. As a result, there is a need for a common ground and consistent terminology to reduce the replication of effort.\ud This paper presents the Karlskrona Manifesto for Sustainabilty Design as a mechanism for initiating a conversation between the different communities in addressing the challenges of developing sustainable software systems.

Published
2015

42. The First Rule of Software Sustainability: Do not talk about Software Sustainability?

Author

Venters, Colin C., Becker, Christoph, Betz, Stefanie, Chitchyan, Ruzanna, Duboc, Leticia, Easterbrook, Steve M., Penzenstadler, Birgit, Rodriguez-Navas, Guillermo, and Seyff, Norbert

Abstract

Principally associated with the field of ecology in order to address humanities increasing ecological footprint on the planet Earth, sustainability as a concept has emerged as an area of interest in the field of computing. While a number of related communities have attempted to understand and address the challenges of sustainability from their different perspectives, there is a fundamental lack of understanding of: the concept of sustainability; how it relates to software artifacts and software systems; and the wider implications of the software development process and the impact of software products on the different dimensions of sustainability. This position paper argues that current efforts to address the sustainment i.e. longevity, of software and software systems are futile because of a lack of a common definition of sustainable software, which results in a misalignment with established software engineering theory and best practice that enables software products to endure. While there have been a number of previous attempts to define sustainability no consensus has been reached. As a result, the term remains illusive and ambiguous. This paper argues that the primary barrier to making progress in the field of sustainable software systems engineering is the lack of a concrete definition, which lays the foundation to understand how to design software that is [technically] sustainable. As a basis for discussion we propose a definition of sustainable software as a first-class, composite, non-functional requirement that includes as its basic building blocks the base sub-characteristics of maintainability and extensibility.

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results