Table of Contents
PPT Slide
DYNAMO Objectives
Guarantees
Automation
Impact
Background: MASTERMIND
DYNAMO Extensions to MASTERMIND
Demo Scenario
Designer View
Designer View Architecture
ARGO UML for Component Modeling
ARGO Static Model
ARGO UML State Charts
SMV Scenario
Generated SMV
Generated SMV (Syntax)
Generated SMV (CTL)
Generated SMV (from ARGO)
Generated SMV - 2
Generated SMV - 3
SMV Output
Product-line Manager View
PLAT GUI
Execution View
Details of Code Generation
DYNAMO Conceptual Architecture
|