Abstract

Abstract

Abstract
A significant number of dependable systems rely on scheduling algorithms to achieve temporal correctness. Despite their relevance in real-world applications, only a narrow subset of the works in the literature of real-time systems are readily available to be reproduced in real-world hardware platforms. This lack of support not only hinders the reproducibility of research results, but also reduces the opportunity for new platform-specific research directions to emerge. In this work we discuss the use and development of an open-source tool named MARS capable of porting various scheduling tests and algorithms to hardware platforms used in distributed real-time dependable systems.

Abstract
Advancements in the energy efficiency and computational power of embedded devices allow developers to equip resource-constrained systems with a greater number of features and more complex behavior. As complexity of a system grows, so does the difficulty in demonstrating its overall correctness. Formal methods have been successfully applied in a variety of verification and validation scenarios, but their wide adoption in the industry and academia is still lackluster. Among the explanations listed in the literature for the low adoption of these techniques are the perceived difficulty of getting into formal practices and how formal tools are not usually aimed at practical use cases. Striving to address these issues, we present MARS, an open-source domain-specific language for the safe instrumentation of runtime verification monitors into real-time resource-constrained distributed systems. Our main objective with MARS is to ease the integration of runtime verification monitors in distributed applications while also providing developers with evidence of their correct instrumentation in the context of systems where dependability and temporal requirements need to be respected even under extreme resource constraints. We present the language syntax, the set of tools embedded into its compiler, its functionalities, and a use case to exemplify its use in a practical distributed application. © 2024 IEEE.

Abstract
The European Union is pushing its members states to implement regulations that incentivize distribution system operators to procure flexibility to enhance grid operation and planning. Since flexibility should be obtained using market-based solutions, when possible, flexibility market platforms become essential tools to harness consumer-side flexibility, supporting its procurement, trading, dispatch, and settlement. These reasons have led to the appearance of multiple flexibility market platforms with different structure and functionalities. This work provides a comprehensive description of the main flexibility platforms operating in Europe and provides a concise review of the platform main characteristics and functionalities, including their user segment, flexibility trading procedures, settlement processes, and flexibility products supported.

Abstract
This paper proposes an original framework for a flexibility-centric value chain and describes the pre-specification of the Grid Data and Business Network (GDBN), a digital platform to provide support to the flexibility value chain activities. First, it outlines the structure of the value chain with the most important tasks and actors in each activity. Next, it describes the GDBN concept, including stakeholders' engagement and conceptual architecture. It presents the main GDBN services to support the flexibility value chain, including, matching consumers and assets and service providers, assets installation and operationalization to provide flexibility, services for energy communities and services, for consumers, aggregators, and distribution systems operators, to participate in flexibility markets. At last, it details the workflow and life cycle management of this platform and discusses candidate business models that could support its implementation in real-life scenarios.