Sciweavers

Share
SPLC
2004

Automatic Generation of Program Families by Model Restrictions

9 years 8 months ago
Automatic Generation of Program Families by Model Restrictions
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for each of the family members. The model and the specifications are used in the automatic generation of restricted programs. We describe an application of the process of modeling reactive systems with statecharts. A trace inclusion refinement relation is established for automatically generated family members, inducing a behavioral inheritance hierarchy over the generated programs.
Andrzej Wesowski
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where SPLC
Authors Andrzej Wesowski
Comments (0)
books