Abstract | ||
---|---|---|
Transformational design is a formal technique directed at design correctness. It integrates design and verification by the use of pre-proven behaviour preserving transformations as design steps. A formal framework is necessary but hidden for the designer. Five formal aspects are integrated in the presented formal framework that is aimed at the design of complex systems composed out of different kinds of subsystems. The tagged signal model is used as meta' model for a heterogeneous set of computational models with different concurrency semantics. The offered possibilities of model refinement by transformations and the ability to incorporate heterogeneity are valuable extensions with respect to other transformational design approaches for high-level synthesis. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1109/EURMIC.1998.711770 | EUROMICRO |
Keywords | Field | DocType |
design correctness,model refinement and heterogeneity,digital systems,transformational design,computational model,signal model,design step,transformational design approach,formal aspect,formal technique,correctness,high- level synthesis,model refinement,formal framework,computer model,design methodology,concrete,computational modeling,complex system,concurrent computing,high level synthesis,heterogeneity,formal verification | Formal equivalence checking,Programming language,Computer science,High-level synthesis,Correctness,Formal specification,Concurrency semantics,Refinement,Formal methods,Formal verification | Conference |
Volume | ISSN | ISBN |
1 | 1089-6503 | 0-8186-8646-4-1 |
Citations | PageRank | References |
0 | 0.34 | 6 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Corrie Huijs | 1 | 5 | 0.75 |