An Extensible and Scalable Framework for Formal Modeling, Analysis, and Development of Distributed Systems
Abstract
Report developed under Phase 1 STTR contract for topic AF07-T019. This project advanced the state of the art in formal modeling and engineering of complex distributed systems. The project included: (a) modeling language that can be used to represent complex distributed systems, theory and methodology providing mathematical basis for modeling systems and reasoning about their properties, (b) extensible and scalable analysis tools that can be used to validate correctness and performance properties, and synthesis tools for producing efficient deployment schemes of the software components in target networks subject to specified constraints. The project extended the methodology to incorporate additional means for reasoning about probabilistic and hybrid systems. The project extended an integrated development environment called Tempo, for modeling, synthesis, and analysis of distributed systems, developed tools for efficient deployment of the software components in target networks, and explored a methodology for generating code. Releases of Tempo for Linux, Windows, and OSX are available at www.veromodo.com.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 30, 2008
- Accession Number
- ADA586708
Entities
People
- Alexander A. Shvartsman
- Laurent Michel
- Nancy Lynch