An Extensible and Scalable Framework for Formal Modeling, Analysis, and Development of Distributed Systems
Final rept. 15 Sep 2007-14 Jun 2008
VEROMODO INC BROOKLINE MA
Pagination or Media Count:
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.
- Computer Systems