Projects
The Critical Research Group has over the years been involved in a
multitude of projects. Most of the projects have centered around
formal modeling of software and system specification, and the
various development activities enabled if such formal specifications
are available.
The Critical Systems research Group draws its funded research
from a diverse set of sponsors. Current and recent sponsors include:
The National Science Foundation
- CAREER: Requirements Specification for Embedded Systems: An Integrated Framework
NASA Ames Research Center
- Test-Case Generation with an Explicit State Model Checker
- Intelligent Specification Centered Test-Case Generation
NASA Langley Research
Center
- Structuring Formal Requirements for Reuse and Product Families
- Methods and Tools for Flight Critical Systems
NASA Independent
Verification and Validation Facility
- Tandem Experiments in Finding Faults During Model-Based
Development.
- A spectrum of IV&V modeling techniques
Rockwell Collins
- Methods and Tools for Flight Critical Systems
From this page you can find a sample of the various projects we
have been involved in the last few years.
|
