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

System engineering and evolution decision support, Final Progress Report (05/01/1998 - 09-30-2001)

The objective of our effort is to develop a scientific basis for system engineering automation and decision support. This objective addresses the long term goals of increasing the quality of service provided complex systems while reducing development risks, costs, and time. Our work focused on decision support for designing operations of complex modular systems that can include embedded software. Emphasis areas included engineering automation capabilities in the areas of design modifications, design records, reuse, and automatic generation of design representations such as real-time schedules and software.U.S. Army Research OfficeFunding number(s): DSAM 90387, DWAM 80013, DWAM 90215

Proceedings of Monterey Workshop 2001 Engineering Automation for Sofware Intensive System Integration

The 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration was sponsored by the Office of Naval Research, Air Force Office of Scientific Research, Army Research Office and the Defense Advance Research Projects Agency. It is our pleasure to thank the workshop advisory and sponsors for their vision of a principled engineering solution for software and for their many-year tireless effort in supporting a series of workshops to bring everyone together.This workshop is the 8 in a series of International workshops. The workshop was held in Monterey Beach Hotel, Monterey, California during June 18-22, 2001. The general theme of the workshop has been to present and discuss research works that aims at increasing the practical impact of formal methods for software and systems engineering. The particular focus of this workshop was "Engineering Automation for Software Intensive System Integration". Previous workshops have been focused on issues including, "Real-time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", "Requirements Targeting Software" and "Modeling Software System Structures in a fastly moving scenario".Office of Naval ResearchAir Force Office of Scientific Research Army Research OfficeDefense Advanced Research Projects AgencyApproved for public release, distribution unlimite

Modelom vođena softverska arhitektura za upravljanje metapodacima obrazovnih resursa

Purpose – The purpose of the research is to enable dynamic customization of metadata that describe educational resources in digital repositories.   Design/methodology/approach – Users need to describe educational resources in digital repositories according to the user-specific metadata set. Since users are mostly unskilled to customize the software application manually, our approach relies on the techniques of the model-driven software engineering, which should allow customization of the software application programmatically with no need to develop or order a new software application. In order to verify the proposed solution, we conducted an experiment which evaluated its characteristics.   Findings – A software platform for managing educational resources described by dynamically extendable metadata is proposed. The platform enables creating data models which are programmatically transformed to the web application for the management of educational resources. In this way a user can create their own model of metadata that is relevant in a particular domain. Research limitations / implications – The solution has been verified by users with technical knowledge. We should still explore the appropriateness of the platform for domain experts with little technical knowledge who would define new metadata in their domain. Practical implications – The solution can be used for digital repositories that store diverse educational resources. Each resource could be described using metadata that relates to the domain the resource belongs to. Originality/value – Digital repositories standardly describe educational resources using some general metadata, which are more focused on the physical characteristics of resources rather than their semantics. The proposed solution introduces custom domain-specific semantics into the resources’ description, which improves their retrieval.Cilj – Cilj disertacije je da se omogući dinamičko prilagođavanje metapodataka koji opisuju obrazovne resurse u digitalnim repozitorijumima. Metodologija - Postoji potreba da se u digitalnim repozitorijumima obrazovni resursi opišu putem skupa metapodataka koji je specifičan za određenog korisnika ili domen. Obzirom da korisnici ne mogu samostalno da ručno vrše izmenu softverske aplikacije, pristup predložen u ovoj disertaciji se zasniva na tehnikama modelom vođenog razvoja softvera, koji treba da omogući prilagođavanje softverske aplikacije programski, bez potrebe za razvojem ili naručivanjem nove aplikacije. Da bi se predloženo rešenje verifikovalo, sproveden je eksperiment koji evaluira njegove karakteristike. Rezultati - U disertaciji je predložena softverska platforma za upravljanje obrazovnim resursima opisanim dinamički proširivim skupom metapodataka. Platforma omogućuje kreiranje modela podataka koji se programski transformišu u veb aplikaciju za upravljanje obrazovnim resursima. Na ovaj način, korisnik može da kreira sopstveni model metapodataka koji je odgovarajući u određenom domenu. Ograničenja istraživanja/implikacije – Rešenje verifikovano od strane korisnicima sa određenim tehničkim znanjem. Potrebno je istražiti prikladnost platforme za domenske eksperte sa ograničenim tehničkim znanjem, koji treba da definišu nove skupove metapodataka u svom domenu. Praktične implikacije – Rešenje se može koristiti u digitalnim repozitorijuma koji skladište raznolike obrazovne resurse. Svaki resurs može biti opisan koristeći metapodatke iz domena kojem resurs pripada. Originalnost/vrednost - Digitalni repozitorijumi standardno opisuju obrazovne resurse koristeći neki generalni skup metapodataka, koji je više fokusiran na fizičke karakteristike resursa, umesto na njihovo značenje. Predloženo rešenje uvodi proizvoljnu domenski-zavisnu semantiku u opis resursa, čime se unapređuje njihovo dobavljanje

NASA Tech Briefs, September 1997

Topics include: Data Acquisition and Analysis; Electronic Components and Circuits; Electronic Systems; Physical Sciences; Materials; Computer Software; Mechanics; Machinery/Automation; Manufacturing/Fabrication; Mathematics and Information Sciences

DCAPS - Architecture for Distributed Computer Aided Prototyping System

This paper describes the architecture for the distributed CAPS system (DCAPS). The system accomplishes distributed software prototyping with legacy module reuse. Prototype System Description Language (PSDL), the prototyping language, is used to describe real-time software in the DCAPS system. PSDL specifies not only realtime constraints, but also the connection and interaction among software components. Automatic generation of software wrappers and glue is applied for the normalization of data transfer between legacy systems. Implementation of the DCAPS communication layer is based on the JavaSpacesTM library. DCAPS supports collaborative prototype design in a distributed environment.This research was supported in part by the U.S. Army Research Office under contractlgrant numbers 35037-MA and 40473-MA

Detection of Pathogens in Water Using Micro and Nano-Technology

Detection of Pathogens in Water Using Micro and Nano-Technology aims to promote the uptake of innovative micro and nano-technological approaches towards the development of an integrated, cost-effective nano-biological sensor useful for security and environmental assays.  The book describes the concerted efforts of a large European research project and the achievements of additional leading research groups. The reported knowledge and expertise should support in the innovation and integration of often separated unitary processes. Sampling, cell lysis and DNA/RNA extraction, DNA hybridisation detection micro- and nanosensors, microfluidics, together also with computational modelling and risk assessment can be integrated in the framework of the current and evolving European regulations and needs. The development and uptake of molecular methods is revolutionizing the field of waterborne pathogens detection, commonly performed with time-consuming cultural methods. The molecular detection methods are enabling the development of integrated instruments based on biosensor that will ultimately automate the full pathway of the microbiological analysis of water

Detection of Pathogens in Water Using Micro and Nano-Technology

Detection of Pathogens in Water Using Micro and Nano-Technology aims to promote the uptake of innovative micro and nano-technological approaches towards the development of an integrated, cost-effective nano-biological sensor useful for security and environmental assays.  The book describes the concerted efforts of a large European research project and the achievements of additional leading research groups. The reported knowledge and expertise should support in the innovation and integration of often separated unitary processes. Sampling, cell lysis and DNA/RNA extraction, DNA hybridisation detection micro- and nanosensors, microfluidics, together also with computational modelling and risk assessment can be integrated in the framework of the current and evolving European regulations and needs. The development and uptake of molecular methods is revolutionizing the field of waterborne pathogens detection, commonly performed with time-consuming cultural methods. The molecular detection methods are enabling the development of integrated instruments based on biosensor that will ultimately automate the full pathway of the microbiological analysis of water

Proceedings of the 10th international conference on disability, virtual reality and associated technologies (ICDVRAT 2014)

The proceedings of the conferenc