PSALM
A pattern-based language and tooling environment for specifying robot missions in a structured, rigorous, and reusable way.
Tools
Research software, languages, and frameworks
These tools have been produced and released in connection with research projects and publications across robotic software engineering, architecture, formal specification, and empirical software evolution.
PSC
Property Sequence Charts, a visual formalism for expressing temporal properties and requirements in a way that remains readable while supporting formal analysis.
PROMISE
A domain-specific language for specifying robot missions, designed to make mission definition simpler and more accessible while preserving precision.
Charmy
A framework for software architecture modeling and analysis, supporting architecture-based verification and model checking.
Quartet
A framework for quantitative specification patterns, particularly useful in robotics and autonomous systems where requirements involve measurable thresholds and trade-offs.
ByADL
A tool and language infrastructure for reasoning across multiple architecture description languages and improving interoperability between architectural models.
Dually
A framework supporting the engineering and comparison of software architecture frameworks, with attention to structure, viewpoints, and model consistency.
Megaf
A framework for defining and managing architectural concepts, viewpoints, and correspondences in multi-view software and system modeling.
EVOSS
Research tooling for the empirical analysis of open-source software evolution, helping study growth, change, and architectural dynamics over time.
FlyAQ
An application-oriented software engineering effort focused on environmental monitoring and air-quality awareness.