The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper describes the implementation of an interface connecting the two tools : the JPL SCA (Statechart Autocoder) and TuLiP (Temporal Logic Planning Toolbox) to enable the automatic synthesis of low level implementation code directly from formal specifications. With system dynamics, bounds on uncertainty and formal specifications as inputs, TuLiP synthesizes Mealy machines that are correct-by-construction...
This paper presents an approach for modeling component based flight software systems that can be deployed to a wide variety of hardware and operating system configurations. Our focus is deployment to multiple ARINC653 partitions, however, the technique is effective across multiple processors as well. The modeling technique presented is two tiered: first software components are represented in System...
This paper provides an overview of the Mars Science Laboratory (MSL) Chemistry and Mineralogy X-ray Diffraction (XRD), X-ray Fluorescence (XRF) (CheMin) Instrument, an element of the landed Curiosity rover payload, which landed on Mars in August of 2012. The scientific goal of the MSL mission is to explore and quantitatively assess regions in Gale Crater as a potential habitat for life - past or present...
The study was focused on the alluvial fans formed in the bottom of the Bystra river valley. A detailed analysis of four fans allowed to distinguish several phases of gully erosion related to human activity. The gullies started to develop in the Neolithis times, the subsequent phases of gully erosion could be dated to: Bronze Age, Middle Ages. In modern times, most of the sediments have been retained...
Cross-acceptance for railway equipment, although not regulated in the "pre-CENELEC era", was common practice. The main prerequisite for cross-acceptance at that time was the specialist know-how of the manufacturers and railway authorities. The basic principles and lessons learned from the cross-acceptance of signalling equipment in that era are presented here for typical products of the...
The basic principles and lessons learned from the cross-acceptance of signalling equipment in that era are presented here for typical products of the rail automation division of Siemens transportation systems in accordance with pre-CENELEC era regulation. The EN 50126/1/, EN 50128/2/ and EN 50129/3/ standards describe the requirements for the safety-related hardware and overall system. The future...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.