Implementation of smart contracts using hybrid architectures with on and off–blockchain components

C Molina-Jimenez, I Sfyrakis… - 2018 IEEE 8th …, 2018 - ieeexplore.ieee.org
Decentralised (on-blockchain) and centralised (off–blockchain) platforms are available for
the implementation of smart contracts. However, none of the two alternatives can individually …

Enforcing exception handling policies with a domain-specific language

EA Barbosa, A Garcia, MP Robillard… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
Current software projects deal with exceptions in implementation and maintenance phases
without a clear definition of exception handling policies. We call an exception handling …

Software architecture-based analysis and testing: a look into achievements and future challenges

A Bertolino, P Inverardi, H Muccini - Computing, 2013 - Springer
The term software architecture (SA) has been introduced to denote the high level structure of
a software system. SA has been proposed as a means for managing complexity and …

Integration testing for robotic systems

MAS Brito, SRS Souza, PSL Souza - Software Quality Journal, 2022 - Springer
Conventional approaches for the validation of robotic systems include simulations and
functional software testing. Although these approaches are interesting, they do not offer …

Exception handlers for healing component-based systems

H Chang, L Mariani, M Pezze - ACM Transactions on Software …, 2013 - dl.acm.org
To design effective exception handlers, developers must predict at design time the
exceptional events that may occur at runtime, and must implement the corresponding …

Achieving functional and non functional interoperability through synthesized connectors

N Nostro, R Spalazzese, F Di Giandomenico… - Journal of Systems and …, 2016 - Elsevier
Our everyday life is pervaded by the use of a number of heterogeneous systems that are
continuously and dynamically available in the networked environment to interoperate to …

Towards a formal model to reason about context-aware exception handling

LS Rocha, RMC Andrade - 2012 5th International Workshop on …, 2012 - ieeexplore.ieee.org
The context-awareness is a central aspect in the design of pervasive systems, characterizing
their ability to adapt its structure and behavior. The context-aware exception handling …

Model-driven engineering of reliable fault-tolerant systems—a state-of-the-art survey

V Slåtten, P Herrmann, FA Kraemer - Advances in Computers, 2013 - Elsevier
To improve the reliability of a system, we can add fault-tolerance mechanisms. This,
however, leads to a rise of complexity that increases the probability of software faults being …

[LIBRO][B] Advances in Computers

A Memon - 2012 - books.google.com
Since its first volume in 1960, Advances in Computers has presented detailed coverage of
innovations in computer hardware, software, theory, design, and applications. It has also …

Verifying architectural variabilities in software fault tolerance techniques

PHS Brito, CMF Rubira… - 2009 Joint Working IEEE …, 2009 - ieeexplore.ieee.org
This paper considers the representation of different software fault tolerance techniques as a
product line architecture (PLA) for promoting the reuse of software artifact. The proposed …