TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}
TRI-AdaPub Date : 1996-12-01DOI: 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}