Data Refinement for Synchronous System Specification and Construction
Design derivation, a correct-by-construction system design method, specifies behavior with abstract datatypes. Refining these abstract datatypes is necessary for architectural decomposition. A new transformation primitive enables data refinement by generalizing term level injective homomorphisms to...
Saved in:
Published in | Correct Hardware Design and Verification Methods pp. 398 - 401 |
---|---|
Main Authors | , |
Format | Book Chapter Conference Proceeding |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
2005
Springer |
Edition | 1ère éd |
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Design derivation, a correct-by-construction system design method, specifies behavior with abstract datatypes. Refining these abstract datatypes is necessary for architectural decomposition. A new transformation primitive enables data refinement by generalizing term level injective homomorphisms to system equivalence. |
---|---|
Bibliography: | This research is supported, in part, by the National Aeronautics and Space Association under the Graduate Student Researchers Program, NGT-1-010009. |
ISBN: | 3540291059 9783540291053 |
ISSN: | 0302-9743 1611-3349 |
DOI: | 10.1007/11560548_40 |