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 …

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 …

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 …

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 …

Smart contracts enable the creation of decentralized applications which often handle assets
of large value. These decentralized applications are frequently built on multiple interacting …

Nanosatellite missions are becoming increasingly popular nowadays, especially because of
their reduced cost. Therefore, many organizations are entering the space sector due to the …

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 …

Blockchain-based smart contracts enable the creation of decentralized applications, which
often handle assets of considerable value. While the underlying platforms guarantee the …

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 …

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 …