Sciweavers

Share
EUROMICRO
1999
IEEE

Software Synthesis for System Level Design Using Process Execution Trees

9 years 2 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial emphasis on realtime operating systems minimisation [13]. Automatic code generation also becomes necessary, because of increasing product complexity and decreasing design time. This paper discusses software synthesis for a realistic system level design language, to generate an executable model for implementation, simulation and verification purposes. A completely automatic mapping of both the architectural aspects and data objects is shown, including real-time garbage collection. Process execution trees (PETs) are introduced to schedule real-time, concurrent processes. This paper explains the functioning of these self-modifying data structures based on the operational semantics of POOSL [14] (Parallel ObjectOriented Specification Language). Process execution trees are generally applicable to other process algebras...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where EUROMICRO
Authors Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
Comments (0)
books