A conceptual level design of a Design Database for the Computer-Aided Prototyping System

Vast amounts of evolving data are created in the design of hard real-time software systems. This data must be managed so that it can be stored and retrieved according to the needs of design engineers. In the Computer-Aided Prototyping System (CAPS), a Design Database (DDB) must manage the storage and retrieval of the entire Prototype System Description Language (PSDL) program. This thesis presents a conceptual design and initial implementation of a Design Database (DDB) for the Computer-Aided Prototyping System (CAPS).http://archive.org/details/aconceptuallevel1094524279Lieutenant, United States NavyApproved for public release; distribution is unlimited

Real-Time Scheduling for Software Prototyping

This paper presents several real-time scheduling algorithms developed to support rapid prototyping of embedded systems using the Computer Aided Prototyping System (CAPS). The CAPS tools are based on the Prototyping System Description Language (PSDL), which is a high-level language designed specifically to support the conceptual modeling of real-time embedded systems. This paper describes the scheduling algorithms used in CAPS along with the associated timing constraint and hardware models, which include single and multi-processor configurations

The development of user interface tools for the Computer Aided Prototyping System

The Computer Aided Prototyping System (CAPS) was created to rapidly prototype real-time systems in order to determine if the system requirements can be met early in the development cycle. CAPS consists of several software tools that automatically generate an executable Ada model of the proposed system from a given specification. This thesis describes the development of a user interface for CAPS. The user interface supports the design, modification and execution of the software prototype throughout the entire prototyping life cycle. It makes uses of X Windows and advanced windowing techniques and allows the user to run the tools concurrently. The user interface incorporates a separate tool interface which controls the interaction between CAPS tools and the user interface. The graphic editor uses advanced graphics capabilities to give the user more flexibility in editing a graphical representation of the prototype. It automatically produces a formal representation of the prototype to be used by the other tools in CAPS.http://archive.org/details/thedevelopmentof1094527568National Science FoundationNSWC (ID# CCR-8710737).Civilian, Naval Surface Warfare CenterApproved for public release; distribution is unlimited

Software Evolution Approach for the Development of Command and Control Systems

2000 Command and Control Research and Technology Symposium (CCRTS), June 11-13, 2000, Naval Postgraduate School, Monterey, CAThis paper addresses the problem of how to produce reliable software that is also flexible and cost effective for the DoD distributed software domain. DoD software systems fall into two categories: information systems and war fighter systems. Both types of systems can be distributed, heterogeneous and network-based, consisting of a set of components running on different platforms and working together via multiple communication links and protocols. We propose to tackle the problem using prototyping and a “wrapper and glue” technology for interoperability and integration. This paper describes a distributed development environment, CAPS (Computer- Aided Prototyping System), to support rapid prototyping and automatic generation of wrapper and glue software based on designer specifications. The CAPS system uses a fifth-generation prototyping language to model the communication structure, timing constraints, I/O control, and data buffering that comprise the requirements for an embedded software system. The language supports the specification of hard real-time systems with reusable components from domain specific component libraries. CAPS has been used successfully as a research tool in prototyping large war-fighter control systems (e.g. the command-and-control station, cruise missile flight control system, missile defense systems) and demonstrated its capability to support the development of large complex embedded software.This research was supported in part by the U. S. Army Research Office under contract/grant number 35037-MA and 40473-MA

Dependability-Assured Software Transformation

The proposed research is to create new paradigm of software transformation and analysis tools that will incorporate computer-aided prototyping system (CAPS) into dependability-assured software transformational platform (DAST) for highly dependable embedded systems (HDES). DAST extends CAPS with software architecting and composition technologies to transform macro dependability (global qualitative requirements) into micro dependability (quantitative constraints). Based upon rapid prototyping, the dependability-assured transformational process from a rapid-prototyped system to the highly dependable embedded system will involve quantitative constraint abstraction in multiple perspectives, software transformation, and formal method applied to verify the correctness of the eventual-evolved system.NSFApproved for public release; distribution is unlimited

A conceptual design of a Software Base Management System for the Computer Aided Prototyping System

This thesis builds upon work previously done in the development of the Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL), and presents a conceptual design for the Software Base Management System (SBMS) component of CAPS. The SBMS is the most critical component of CAPS as it will coordinate the retrieval and integration of Ada software modules. A robust SBMS that enables a software system designer to successfully retrieve reusable Ada components will expedite the prototype development process and enhance designer productivity. Implementation of the conceptual design will be the basis for further work in this area. (Ada is a registered trademark of the United States Government, Ada Joint Program Office.)http://archive.org/details/conceptualdesign00galiLieutenant Commander, United States NavyApproved for public release; distribution is unlimited

Engineering Automation for Reliable Software Interim Progress Report (10/01/2000 - 09/30/2001)

Prepared for: U.S. Army Research Office P.O. Box 12211 Research Triangle Park, NC 27709-2211The objective of our effort is to develop a scientific basis for producing reliable software that is also flexible and cost effective for the DoD distributed software domain. This objective addresses the long term goals of increasing the quality of service provided by complex systems while reducing development risks, costs, and time. Our work focuses on "wrap and glue" technology based on a domain specific distributed prototype model. The key to making the proposed approach reliable, flexible, and cost-effective is the automatic generation of glue and wrappers based on a designer's specification. The "wrap and glue" approach allows system designers to concentrate on the difficult interoperability problems and defines solutions in terms of deeper and more difficult interoperability issues, while freeing designers from implementation details. Specific research areas for the proposed effort include technology enabling rapid prototyping, inference for design checking, automatic program generation, distributed real-time scheduling, wrapper and glue technology, and reliability assessment and improvement. The proposed technology will be integrated with past research results to enable a quantum leap forward in the state of the art for rapid prototyping.U. S. Army Research Office P.O. Box 12211 Research Triangle Park, NC 27709-22110473-MA-SPApproved for public release; distribution is unlimited

Комплексная методика прототипирования компонентных программных систем на основе технологий обеспечения качества

Рассматриваются проблемы обеспечения качества компонентных программных решений, представлен обзор существующих технологий обеспечения качества. Приводится краткое описание предлагаемой технологии прототипирования программных систем и рассматривается комплексная методика оценки эффективности технологий обеспечения качества.Problems of quality assurance for component software solutions are considered. An overview of existing technologies for quality assurance is provided. A short description of the suggested prototyping technology for software systems is provided and the complex methodology for estimation of quality assurance technologies is considered

Комплекс моделей технологии прототипирования для адаптивного проектирования компонентных программных решений

У процесі адаптивної розробки програмного забезпечення його архітектура й компоненти перетерплюють зміни в міру зміни пропонованих системних вимог. У статті представлений новий підхід до адаптивного проектування, заснований на технології прототипування. Представлені моделі й технології дозволяють створювати, конфігурувати, виконувати й аналізувати прототипи системи, що розроблюється, з метою зменшення ресурсів, необхідних для її розробки.During the adaptive development process software components and system architecture constantly change with respect to corresponding changes in system requirements. In the paper we present a new design approach for adaptive software development which is based on prototyping technology. Models and technologies integrated into the approach provide processes of system prototypes building, configuring, execution and estimation aiming to reduce development costs and needed resources

Analysis of a 3-tier distributed architecture for the sector Anti Air Warfare Center.

The Marine Air Command and Control System (MACCS) is composed of a collection of legacy, stovepipe Automated Information Systems (AIS), each of which contain functionality which is widely duplicated throughout the MACCS. A proposed alternative architecture, the Common Air Command Control System (CAC2S) , would leverage the investment currently being made in Command, Control, Communications, Computing, and Intelligence (C4I) systems which provide a robust set of functional services common to a wide range of mission critical applications. A plan for migration from the MACCS architecture to the CAC2S architecture is a required component for a successful transition. This thesis describes the messaging and database methodology, the ongoing efforts to identify common data types and processes, and a proposed three tier distributed object architecture, which will guide the MACCS migration to the CAC2S. A software Engineering tool, the Naval Postgraduate School Computer Aided Prototyping System (CAPS), is used to model a component of the MACCS, the Sector Anti Air Warfare Center (SAAWC), in an effort to more precisely identify the critical data type representations and data processing requirements needed to properly specify the CAC2S. As a result of this effort, a blueprint has been created to describe the methodology and analysis required to effect the migration from the MACCS architecture to the CAC2S visionhttp://archive.org/details/analysisof3tierd00howeApproved for public release; distribution is unlimited