Generic System Synthesis
For Ubiquitous Systems
David Greaves
University of Cambridge
Computer Laboratory
Generation of Eternal Systems: hardware or infinite process loops.
while(1)
{
msg = taskwait();
switch(msg->tag)
{
guts go here......
}
}
Aims
A single description language.
Generate Hardware or Software or any mix.
Mix structural, declarative and behavioural styles.
Advanced composition properties based on dataflow and subtyping.
|