检索结果-内蒙古大学图书馆

2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011

作者： Daw, Zamira Vetter, Marcus Boercsoek, Josef Institute of Embedded Systems Hochschule Mannheim - University of Applied Sciences Mannheim Germany Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781457707469

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime. © 2011 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

关键词： Unified modeling language Contracts Monitoring embedded systems Object oriented modeling Safety Pins

来源：评论

学校读者我要写书评

暂无评论

Tools for dummies? Don't sneer

Electronic Engineering Times

引用

Electronic Engineering Times 2005年第1355期 46-46页

作者： Turley, Jim Embedded Systems Programming

The development tools like compilers, debuggers and integrated development environments (IDE) are getting slicker and glossier. The "Development Tools for Dummies" concept are important as talented labor is not always handy and also these tools are good enough. More paint-by-the-numbers compilers, automatic code generators, colorful IDEs and snap-together developjment boards are going to be available in the market. This is a sign of a maturing industry, when innovation slows down a bit and companies start to rely on marketing, service, style and reputation to sell.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

RATIONALE FOR AN ADA SOFTWARE ENGINEERING ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS

引用

NAVAL ENGINEERS JOURNAL 1984年第4期96卷 133-145页

作者： PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.

The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of computer technology. Computers embedded in mission critical Navy systems are integral to our strategic and tactical defense capabilities. Thus, the military power of the U.S. Navy is inextricably tied to the use of programmable digital computers. The computer program is the essential element that embodies the system “intelligence”. In addition, it provides the flexibility to respond to changing threats and requirements. However, this very flexibility and capability poses a host of difficulties hindering full realization of the advantages. This paper describes the lessons learned about computer program development over the past twenty five years and discusses a software engineering process that addresses these lessons. It then describes how Ada and its related Ada programming Support and Run-Time Environments foster this software engineering process to improve computer program productivity and achieve greater system reliability and adaptibility. Finally, the paper discusses how the use of Ada and its environments can enhance the interoperability and transferability of computer programs among Navy projects and significantly reduce overall life cycle costs for Navy mission critical computer programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：