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

摘要计算机与信息科学与工程（CISE）学部计算机与网络系统（CNS）设计科学（SoD）项目提案号：0613971P/I: Sherif AbdelwahedPI的部门：电气工程-计算机科学机构：范德比尔特大学奖金：199,866美元标题：“SoD- team：软件密集型系统的适应性和可靠运行设计”该项目研究软件密集型系统（SIS）的设计技术。该项目的科学贡献是将软件密集型系统的设计过程的重要部分（通常以特别的方式手动处理）转换为基于数学模型和控制理论技术的系统半自动化过程。基于模型的技术和工具将简化大型分布式实时和嵌入式软件密集型系统的开发，这将使设计和实现复杂系统的能力得到重大改进，这些系统将以经济有效的方式在不确定的环境中运行。该项目开发的科学技术将告诉设计师如何建造更有效、更可靠的系统。随着新设计方法的提出，pi将开发一套工具，以促进设计、分析和验证任务，使设计和分析系统变得更容易，同时在保证操作中提供更高程度的信心。除了项目的基础研究部分外，还有一个教育部分，将有助于该领域从业人员的发展。该机构向学生介绍嵌入式系统设计和实现的系统化方法，使用由研发社区开发的建模、分析和验证工具。为了给学生提供更多的实践经验，将开发与项目相关的研究生水平课程，在实际的测试平台上解决软件密集型系统设计和实现中的问题。项目经理：Anita J. La salle2006年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