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

Full description

Saved in:
Bibliographic Details
Published inCorrect Hardware Design and Verification Methods pp. 398 - 401
Main Authors Tsow, Alex, Johnson, Steven D.
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2005
Springer
Edition1ère éd
SeriesLecture Notes in Computer Science
Subjects
Online AccessGet full text

Cover

Loading…
More Information
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