SoD-TEAM: Design for Adaptivity and Reliable Operation of Software Intensive Systems

Mississippi State University, Mississippi State MS

Investigators

Abstract

ABSTRACT Directorate for Computer and Information Science and Engineering (CISE) Division Computer and Network Systems (CNS) Science of Design (SoD) Program Proposal Number: 0613971 P/I: Sherif Abdelwahed PI's Department: Electrical Engineering - Computer Science Institution: Vanderbilt University Award: $ 199,866 Title: "SoD-TEAM: Design for Adaptivity and Reliable Operation of Software Intensive Systems" This project addresses design techniques for Software-Intensive Systems (SIS). The scientific contribution of the project is the conversion of a significant segment of the design process of software-intensive systems, typically handled manually in an ad-hoc manner, into a systematic semi-automated process based on mathematical models and control-theoretic techniques. The model-based techniques and tools will simplify the development of a large class of distributed real-time and embedded software-intensive system, which will enable a major improvement in the ability to design and implement complex systems that will operate in uncertain environments in a cost-effective manner. The science and technology developed by this project will inform designers about how to build more effective and reliable systems. Along with the new design methodology proposed, the PIs will develop a set of tools that facilitate the design, analysis, and verification tasks, making it easier to design and analyze systems, while offering a higher degree of confidence in assured operations. In addition to the basic research component of the project, there is an educational component that will contribute to the development of practitioners in the field. Students at this institution are introduced to systematic methods for embedded system design and implementation using modeling, analysis, and verification tools developed by the R&D community. To provide students with more hands on experiences, project-related graduate-level courses will be developed that address issues in software-intensive system design and implementation on realistic test beds. Program Manager: Anita J. La Salle Date: July 11, 2006