Designing secure ethereum smart contracts: A finite state machine based approach
The adoption of blockchain-based distributed computation platforms is growing fast. Some of
these platforms, such as Ethereum, provide support for implementing smart contracts, which …
these platforms, such as Ethereum, provide support for implementing smart contracts, which …
VeriSolid: Correct-by-design smart contracts for Ethereum
The adoption of blockchain based distributed ledgers is growing fast due to their ability to
provide reliability, integrity, and auditability without trusted entities. One of the key …
provide reliability, integrity, and auditability without trusted entities. One of the key …
Early validation of system requirements and design through correctness-by-construction
Early validation of requirements aims to reduce the need for the high-cost validation testing
and corrective measures at late development stages. This work introduces a systematic …
and corrective measures at late development stages. This work introduces a systematic …
An architecture-tracking approach to evaluate a modular and extensible flight software for cubesat nanosatellites
Delivering better flight software is an important concern to improve CubeSat missions
success. It has been identified as a key element to enhance team collaboration, increase …
success. It has been identified as a key element to enhance team collaboration, increase …
Verified development and deployment of multiple interacting smart contracts with VeriSolid
Smart contracts enable the creation of decentralized applications which often handle assets
of large value. These decentralized applications are frequently built on multiple interacting …
of large value. These decentralized applications are frequently built on multiple interacting …
[HTML][HTML] A comparative survey on flight software frameworks for 'new space'nanosatellite missions
DJF Miranda, M Ferreira, F Kucinskis… - Journal of Aerospace …, 2019 - SciELO Brasil
Nanosatellite missions are becoming increasingly popular nowadays, especially because of
their reduced cost. Therefore, many organizations are entering the space sector due to the …
their reduced cost. Therefore, many organizations are entering the space sector due to the …
Flight software development for a CubeSat application
KVCK de Souza, Y Bouslimani… - IEEE Journal on …, 2022 - ieeexplore.ieee.org
This article presents a development of a CubeSat mission software running on an STM32-
based on-board computer (OBC). This was conducted under the Canadian CubeSat Project …
based on-board computer (OBC). This was conducted under the Canadian CubeSat Project …
Correct-by-design interacting smart contracts and a systematic approach for verifying ERC20 and ERC721 contracts with VeriSolid
Blockchain-based smart contracts enable the creation of decentralized applications, which
often handle assets of considerable value. While the underlying platforms guarantee the …
often handle assets of considerable value. While the underlying platforms guarantee the …
Exogenous coordination of concurrent software components with JavaBIP
A strong separation of concerns is necessary in order to make the design of domain‐specific
functional components independent from cross‐cutting concerns, such as concurrent access …
functional components independent from cross‐cutting concerns, such as concurrent access …
[HTML][HTML] Formal techniques in the safety analysis of software components of a new dialysis machine
The paper is concerned with the practical use of formal techniques to contribute to the risk
analysis of a new neonatal dialysis machine. The described formal analysis focuses on the …
analysis of a new neonatal dialysis machine. The described formal analysis focuses on the …