Design and Analysis of Multi-Core Software

Award Information
Agency:
Department of Defense
Branch
Office of the Secretary of Defense
Amount:
$99,966.00
Award Year:
2012
Program:
STTR
Phase:
Phase I
Contract:
FA8750-12-C-0169
Award Id:
n/a
Agency Tracking Number:
O11B-T03-1003
Solicitation Year:
2011
Solicitation Topic Code:
OSD11-T03
Solicitation Number:
2011.B
Small Business Information
101 Bel Aire Dr, Monroeville, PA, 15146-
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
969081533
Principal Investigator:
Raj Rajkumar
President
(412) 607-6404
raj@timecaptain.com
Business Contact:
Raj Rajkumar
President
(412) 607-6404
raj@timecaptain.com
Research Institute:
Carnegie Mellon University
Leslie Levine
5000 Forbes Avenue
Pittsburgh, PA, 15213-
(412) 268-8722
Nonprofit college or university
Abstract
We propose a comprehensive software tool called ModelTime(TM)for the design, analysis and construction of multi-core software for distributed real-time systems using a model-based design methodology. ModelTime will use UML-like diagrams to capture networked multi-core platforms, software components and configurations, functional and para-functional attributes like end-to-end timing constraints, as well as task dependencies and potential parallelism. Timing analysis will be carried out based on user-specified parameters such as priorities, periods and deadlines. Customizable attribute-value pairs will enable the easy addition of any necessary parameters to characterize hardware and/or software diagrams. Both automatic and manual deployment of software components to individual cores can be performed. Good packing approaches with analyzable properties will be proposed. Different approaches for synchronization across different cores to access shared resources will be studied. Multiple multi-core deployment and scheduling approaches will be supported. Automatic code generation techniques will be applied. Support for POSIX-compliant and other target platforms will be provided. Simulated and actual execution traces can be compared. Augmentation to SysML attributes for adequate modeling of multi-core real-time systems will be studied. XML representations for model interchanges will also be considered. The environment will serve as a comprehensive tool for the design, analysis and coding of software for distributed real-time systems using multi-core processors.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government