TRI-Ada最新文献

筛选
英文 中文
Migrating well engineered Ada 83 applications into newer architecture and reuse based Ada 95 systems: experiences from Boeing's reuse initiative project 将精心设计的Ada 83应用程序迁移到更新的架构和基于Ada 95系统的重用:来自波音公司重用计划项目的经验
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240719
S. Moody
{"title":"Migrating well engineered Ada 83 applications into newer architecture and reuse based Ada 95 systems: experiences from Boeing's reuse initiative project","authors":"S. Moody","doi":"10.1145/240678.240719","DOIUrl":"https://doi.org/10.1145/240678.240719","url":null,"abstract":"Ada 95 is in some ways a major revision of the Ada 83 language. The language designers learned from over ten years of Ada use what features were working and those that could be enhanced. This included extending the core language with better object-oriented features, enhanced tasking and distributed capabilities, removing limitations that made it hard to use Ada in open systems applications, and wrapping everything with a more advanced type safe generics model.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130170816","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Ada training and education in the US Army and US Air Force Ada在美国陆军和美国空军接受培训和教育
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240712
J. Hamilton, D. Cook
{"title":"Ada training and education in the US Army and US Air Force","authors":"J. Hamilton, D. Cook","doi":"10.1145/240678.240712","DOIUrl":"https://doi.org/10.1145/240678.240712","url":null,"abstract":"Ada education and training for uniformed personnel in the US Army is conducted primarily at two sites: the United States Military Academy (USMA) at West Point and at the Computer Science School (CSS) at Fort Gordon. The Ada focus at West Point is primarily education while the focus at the Computer Science School is primarily training. However, the distinctions between education and training are not terribly important in this context since both education and training occurs at both sites.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134215936","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Interpartition communication with shared active packages 使用共享活动包的分区间通信
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240693
Pascal Ledru, S. Shiva
{"title":"Interpartition communication with shared active packages","authors":"Pascal Ledru, S. Shiva","doi":"10.1145/240678.240693","DOIUrl":"https://doi.org/10.1145/240678.240693","url":null,"abstract":"Pascal Ledru Aerospatiale, Inc 670 Discovery Drive Huntsville, Alabama, 35806 pledru@ cs. uah.edu Concurrent programming on tightly coupled systems is intended to be based on tasks communicating through rendezvous, unprotected shared variables, or protected objects. Concurrent programming on loosely coupled systems is intended to be based on partitions communicating through remote procedure calls, unprotected shared variables, or entry-less protected objects. It may therefore be difficult to port an application from a tightly coupled system to a loosely coupled system since protected objects with entries are not available anymore. This paper presents how protected objects with entries can be implemented through the concept of Shared Active packages.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125078645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Design and test strategies for a safety-critical embedded executive 为安全关键型嵌入式执行人员设计和测试策略
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240685
C. Meyer, Michael G. Reznick
{"title":"Design and test strategies for a safety-critical embedded executive","authors":"C. Meyer, Michael G. Reznick","doi":"10.1145/240678.240685","DOIUrl":"https://doi.org/10.1145/240678.240685","url":null,"abstract":"Meeting this challenge during our development of an embedded executive was complicated by the late availability of hardware, complex hardware and software interfaces, and the simultaneous debugging of software with one-of-a-kind hardware. Also, difficult questions arose concerning the testing of an off-the shelf, commercial Ada run-time environment <RTE) employed in our system. For instance. is it sufficient to rely on the product's shelf-life and installed user base to establish the RTE's pedigree, or arc special evaluation methods required?","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"292 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115825936","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
DAGAR: a process for domain architecture definition and asset implementation DAGAR:领域架构定义和资产实现的过程
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240723
C. Klingler, J. Solderitsch
{"title":"DAGAR: a process for domain architecture definition and asset implementation","authors":"C. Klingler, J. Solderitsch","doi":"10.1145/240678.240723","DOIUrl":"https://doi.org/10.1145/240678.240723","url":null,"abstract":"While a number of domain modeling methods have hecn developed. there are few methods available that couple together domain modeling and domain architecture engineering. This paper describes the DAGAR (Domain Architecture-based Generation for Ada Reuse) process. a domain architecture engineering method that support~ the Organization Domain Modeling rODM) domain engineering method. DAGAR is a repeatable. documented process with accompanying language and is based on the GenVoca domain architecture process developed by Dr. Don Batory and colleagues at the University of Texas. The DAGAR process includes the development of a domain architecture, implementation of asset~ within the architecture, and application of the domain through selection of a~sets for a particular application. A tool has been developed which provides integrated support for all phases of DAGAR. including automated system generation ba~ed on choices selected by the application engineer. DAGAR wa~ used on a realworld military application (the Anny STARS Project).","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124073222","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Active information systems, from object-oriented design to Ada 95 主动信息系统,从面向对象设计到Ada 95
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240708
M. Bari, P. Gabrini, C. Rolland, Kacem Zeroual
{"title":"Active information systems, from object-oriented design to Ada 95","authors":"M. Bari, P. Gabrini, C. Rolland, Kacem Zeroual","doi":"10.1145/240678.240708","DOIUrl":"https://doi.org/10.1145/240678.240708","url":null,"abstract":"P. Gabrini CRIM 1801, McGill College avenue Montreal, QC, Canada pgabrini @crim.ca We present an object-oriented design model and its mapping to Ada 95 in order to build Active Information Systems. This represents part of a methodology based, for each step of the software life cycle, on a model and a step-by-step process. Thus, analysis is based on (I) an extended Entity/Relationship model for the static aspects and (2) an event-driven model for the dynamic aspects, design is based on a particular object-oriented model and implementation is based on Ada. The main benefit of this approach is to achieve traceability and to foster reuse and weak coupling between software components.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121032409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
REUSE/Ada
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240718
J. Beidler
{"title":"REUSE/Ada","authors":"J. Beidler","doi":"10.1145/240678.240718","DOIUrl":"https://doi.org/10.1145/240678.240718","url":null,"abstract":"One promising approach to improving software productivity is reuse in all phases of the software development process. Despite the promises o.freusability at various levels, reuse will never achieve its real potential until resources become available that assist software developers in locating. interfacing, and applying reusable resources in a productive, reliable, and convenient manner. This paper describes the constn~ction o.f two resources that provide software developers convenient means in locating, interfacing, and applying reusable software resources. One tool is a client conjigurable source code development environment that supports and encourages software reuse. The second is a web based approach that is currently under constn~ction. Although the systems described in this paper are targeted towards Ada, the approach applies to C++ and other languages with similar packaging capabilities. 1. Introduction Reuse at all levels in the software development process offers much promise in improving software productivity. However there appear to be two major obstacles to software reuse. One of these problems is the \"not invented hear\" attitude. The cavalier attitude that software built elsewhere by others is just not as good as software we construct. The second problem is the lack of integrated tools that assist software developers in locating, analyzing, and interfacing reusable resources. The first problem, a matter of attitudes and work processes, is beyond the scope ofthis paper. The second is a matter of tools that assist software developers in productively applying reusable resources. It is difficult to convince software developers of the potential productivity increases of software reuse when they do not have tools available to assist them in locating, analyzing and interfacing to reusable resources. This paper describes two systems that are part of our USE/ Ada, University for Scranton Environment for Ada, project. The first system is a code support system, called REUSE/ Ada, Reuse Enhanced University of Scranton Environment for Ada, that was originally constructed to work under Window 3. 1 in 211","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122903625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
ADAM: a language-independent, object-oriented, design environment for modeling inheritance and relationship variants in Ada 95, C++, and Eiffel ADAM:一个独立于语言、面向对象的设计环境,用于在Ada 95、c++和Eiffel中对继承和关系变量进行建模
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240707
D. Needham, S. Demurjian, K. E. Guemhioui, T. Peters, P. Zamani, M. McMahon, H. Ellis
{"title":"ADAM: a language-independent, object-oriented, design environment for modeling inheritance and relationship variants in Ada 95, C++, and Eiffel","authors":"D. Needham, S. Demurjian, K. E. Guemhioui, T. Peters, P. Zamani, M. McMahon, H. Ellis","doi":"10.1145/240678.240707","DOIUrl":"https://doi.org/10.1145/240678.240707","url":null,"abstract":"The ADAM environment provides a languageindependent, object-oriented platform from which Ada 95, C++, and/or Eiffel code can be automatically generated from a single design. ADAM provides design capabilities that support variants of inheritance and relationships, from different perspectives. A software engineer designing a database application has different needs than one concerned with a graphical user interface, and the variants are intended to allow each need to be met. The main purpose is to offer software engineers alternatives during design, thereby allowing behavior to more precisely match an application's requirements. By providing software engineers the ability to specifically choose and customize behavior for an application, from which the environment then automatically generates code, a more disciplined approach to design and development is promoted. Moreover, all of the inheritance and relationship variants generate code in a controlled and consistent fashion, resulting in predictable application behavior and improved readability of generated code, and hopefully leading toward a more understandable and maintainable software product. This paper examines ADAM and its inheritance/relationship variants, in a common design platform from which code in multiple object-oriented languages can be generated. We have chosen to also present C++ and Eiffel since they offer an interesting contrast to the capabilities supported by Ada 95, and they demonstrate the languageindependence of the ADAM environment.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132676638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
GNATDIST: a configuration language for distributed Ada 95 applications GNATDIST:用于分布式Ada 95应用程序的配置语言
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240695
Y. Kermarrec, Laurent Nana, L. Pautet
{"title":"GNATDIST: a configuration language for distributed Ada 95 applications","authors":"Y. Kermarrec, Laurent Nana, L. Pautet","doi":"10.1145/240678.240695","DOIUrl":"https://doi.org/10.1145/240678.240695","url":null,"abstract":"Yvon Kermarrec and Laurent Nana ENST de Bretagne Departement Informatique Technopole de I 'Iroise F 29 285 Brest Cedex France Yvon .Kermarrec@enst-bretagne.fr We need a programming language for distributed systems which makes it possible to benefit from the potential interests of distributed platforms: e.g., performances, high availability. Ada 95 defines a general framework for programming distributed applications but there is still no language for configuring. Our paper presents our proposal for such a language and we have implemented some of its features. This is part of our effort to make GNAT an environment for programming distributed systems. keywords: Distributed systems programmingconfiguration language GNAT","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130390587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
A comparison of different tasking architectures used in mobile satellite communication ground station software 移动卫星通信地面站软件中不同任务架构的比较
TRI-Ada Pub Date : 1996-12-01 DOI: 10.1145/240678.240683
K. Gramp
{"title":"A comparison of different tasking architectures used in mobile satellite communication ground station software","authors":"K. Gramp","doi":"10.1145/240678.240683","DOIUrl":"https://doi.org/10.1145/240678.240683","url":null,"abstract":"• Advances in computing power are being achieved by increasing the number of processors as well as increasing individual processor speeds. Concurrently, operating systems and languages are being enhanced with tasking facilities including light weight threads. This paper discusses the use of tasks in real-time systems. It uses three mobile satellite based telecommunication software designs to compare the different approaches to using tasks. The first two projects have been written in Ada and the last has been prototyped using Ada. The first is the ground station software for the Optus MobileSat system in Australia. It essentially uses single tasked programs. The second is a simulator for the ground station hardware, satellite, air interface and mobile terminals. It uses a task for each hardware component involving hundreds of task. The last is for a future mobile satellite system. It uses individual tasks for each action or operation including individual calls, leading to tens of thousands of tasks. The basic requirements of a mobile satellite system are outline, highlighting the features which make a tens of thousands of task design feasible. The task structure for each design is covered in detail. Advantages and disadvantages are discussed, covering design, testing, performance, prediction, scalability and how tasks allow the designer to take advantage of the current trends in computer architecture and computer languages. The problems of designing, predicting, developing and debugging programs with thousands of tasks are discussed.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130468139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书