Topics

Design Methodology

• Platform-based design
• Model-based design and Synthesis
• Simulation, Validation, and Verification
• Architecture and performance abstraction (aspects)

Interfaces

• Static semantics (types and ontologies)
• Dynamic semantics (behavioral interfaces)
• Contracts

Models of Computation (MoCs)

• Background math: Partial orders and fixed points
• Synchronous/Reactive (SR)
• Discrete-events (DE)
• Continuous-time
• State machines
• Mixed models (Hybrid Systems)
• Threads
• Event-handler models
• Process networks
• Dataflow