31,511 research outputs found
A study of System Interface Sets (SIS) for the host, target and integration environments of the Space Station Program (SSP)
System interface sets (SIS) for large, complex, non-stop, distributed systems are examined. The SIS of the Space Station Program (SSP) was selected as the focus of this study because an appropriate virtual interface specification of the SIS is believed to have the most potential to free the project from four life cycle tyrannies which are rooted in a dependance on either a proprietary or particular instance of: operating systems, data management systems, communications systems, and instruction set architectures. The static perspective of the common Ada programming support environment interface set (CAIS) and the portable common execution environment (PCEE) activities are discussed. Also, the dynamic perspective of the PCEE is addressed
Transit Performance Measures in California
This research is the result of a California Department of Transportation (Caltrans) request to assess the most commonly available transit performance measures in California. Caltrans wanted to understand performance measures and data used by Metropolitan Planning Organizations (MPOs) and transit agencies to help it develop statewide measures. This report serves as a summary reference guide to help Caltrans understand the numerous and diverse performance measures used by MPOs and transit agencies in California. First, investigators review the available literature to identify a complete transit performance framework for the purposes of organizing agency measures, metrics, and data sources. Next, they review the latest transit performance measures documented in planning reports for the four largest MPOs in California (San Francisco Bay Area, Los Angeles, San Diego, and Sacramento). Researchers pay special attention to the transit performance measures used by these MPOs, because these measures are available for the majority of California’s population. Finally, investigators summarize 231 performance measures used by a total 26 local transit agencies in the State of California, based on transit planning documents available on the internet
Functional Requirements-Based Automated Testing for Avionics
We propose and demonstrate a method for the reduction of testing effort in
safety-critical software development using DO-178 guidance. We achieve this
through the application of Bounded Model Checking (BMC) to formal low-level
requirements, in order to generate tests automatically that are good enough to
replace existing labor-intensive test writing procedures while maintaining
independence from implementation artefacts. Given that existing manual
processes are often empirical and subjective, we begin by formally defining a
metric, which extends recognized best practice from code coverage analysis
strategies to generate tests that adequately cover the requirements. We then
formulate the automated test generation procedure and apply its prototype in
case studies with industrial partners. In review, the method developed here is
demonstrated to significantly reduce the human effort for the qualification of
software products under DO-178 guidance
Seeding the City: Land Use Policies to Promote Urban Agriculture
Outlines the health, environmental, and economic benefits of urban agriculture; considerations for developing relevant land use policy; legal tools for preserving plots, and other laws. Includes model comprehensive plan language and zoning ordinance
A conceptual model for megaprogramming
Megaprogramming is component-based software engineering and life-cycle management. Magaprogramming and its relationship to other research initiatives (common prototyping system/common prototyping language, domain specific software architectures, and software understanding) are analyzed. The desirable attributes of megaprogramming software components are identified and a software development model and resulting prototype megaprogramming system (library interconnection language extended by annotated Ada) are described
Towards an Interaction-based Integration of MKM Services into End-User Applications
The Semantic Alliance (SAlly) Framework, first presented at MKM 2012, allows
integration of Mathematical Knowledge Management services into typical
applications and end-user workflows. From an architecture allowing invasion of
spreadsheet programs, it grew into a middle-ware connecting spreadsheet, CAD,
text and image processing environments with MKM services. The architecture
presented in the original paper proved to be quite resilient as it is still
used today with only minor changes.
This paper explores extensibility challenges we have encountered in the
process of developing new services and maintaining the plugins invading
end-user applications. After an analysis of the underlying problems, I present
an augmented version of the SAlly architecture that addresses these issues and
opens new opportunities for document type agnostic MKM services.Comment: 14 pages, 7 figure
- …