Overview

• About SyncGen
• People
• Funding
• Related projects

Downloads

• SyncGen

Documentation

• Architecture
• Patterns
• Example Repository
• User's Manual
• Global Invariants Tutorial

Collaborations

• Papers
• Presentations

Support

• Policy
• Sourceforge Home
• Forums
• Bugs
• Feature Requests

Funding

• S²aVES is funded by DARPA Program Composition for Embedded Systems (PCES) program under DARPA Order K203/AFRL Contract F33615-00-C-3044 and is a joint effort between the Laboratory for Specification, Analysis, and Transformation of Software (SAnToS) and the Real-time Embedded Systems Laboratory in the Department of Computing and Information Sciences at Kansas State University.