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...

• Type: Conference
• Year: 1999
• Where: EUROMICRO
• Authors: Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
• Keywords: EUROMICRO 1999, Level Design Language, Process Execution Trees, Software Engineering, Software Synthesis