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

计算机和信息科学与工程(CEISE)部门计算机和网络系统(CNS)设计科学(SoD)计划建议编号：0613971P/I：Sherif AbdelwahedPI的部门：电气工程-计算机科学研究所：Vanderbilt大学奖：$199,866标题：“SoD-Team：为软件密集型系统(SIS)的适应性和可靠操作而设计”这个项目解决了软件密集型系统(SIS)的设计技术。该项目的科学贡献是将软件密集型系统设计过程的很大一部分转变为基于数学模型和控制理论技术的系统半自动化过程，这些过程通常是以特别方式手动处理的。基于模型的技术和工具将简化一大类分布式实时和嵌入式软件密集型系统的开发，这将使设计和实施复杂系统的能力大大提高，这些系统将以具有成本效益的方式在不确定的环境中运行。该项目开发的科学技术将告诉设计者如何建立更有效和更可靠的系统。随着拟议的新设计方法的提出，PI将开发一套工具，促进设计、分析和验证任务，使设计和分析系统变得更容易，同时提供对有保证的操作的更高程度的信心。除了该项目的基础研究部分外，还有一个教育部分将有助于该领域从业人员的发展。该机构的学生使用研发团体开发的建模、分析和验证工具，向学生介绍嵌入式系统设计和实现的系统方法。为了给学生提供更多的实践经验，将开发与项目相关的研究生级别的课程，这些课程将解决软件密集型系统设计和在现实测试平台上实现的问题。项目经理：Anita J.La SalleDate：2006年7月11日

ABSTRACTDirectorate for Computer and Information Science and Engineering (CISE)Division Computer and Network Systems (CNS)Science of Design (SoD) ProgramProposal Number: 0613971P/I: Sherif AbdelwahedPI's Department: Electrical Engineering - Computer ScienceInstitution: Vanderbilt UniversityAward: $ 199,866Title: "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 SalleDate: July 11, 2006