Model-driven software synthesis for hard real-time applications with energy constraints

Abstract

Model-driven methods have been quite effective for reducing the intricacies of embedded software development, since they provide effective means for property verification as well as automatic code generation. Nevertheless, regarding energy-constrained hard real-time systems, few model-driven methods are available and, usually, most methods (model-driven or not) consider simplified system specifications, such as absence of intertask relations. This paper presents a model-driven method for software synthesis of hard realtime embedded applications with energy constraints. A formal model based on time Petri nets is adopted in order to provide a basis for pre-runtime schedule generation and property analysis/verification.

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings

“…Departing from an initial marking, the firing of a transition might result in new markings, which in turn may result in new transition firings, which can lead to an endless process. Moreover, one can adopt one of two firing semantics [23]: (1) interleaved semantics, in which in every marking, all possible sets or subsets of enabled transitions are fired as long as they are not in conflict; and (2) maximal step semantics, in which in each firing step, a maximal set of concurrent fireable transitions is allowed to fire. IOPT (Input Output Place Transitions Nets)-Tools adopted this type of firing semantics, thereby allowing analysis and study based on more encompassing state-spaces.…”

“…Currently, the electronic industry is pushed into embedded solutions with a multitude of powerful features integrating software and hardware processor engines. Moreover, the imposed constraints on timing and energy pushed the design problem into another stage: model-driven methods [1].…”