Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems

The article deals with a two-channel queuing system with a Poisson incoming call flow, in which the application processing time on each of the devices is different. Such models are used, in particular, when describing the operation of the system for selecting service requests in a number of operating systems. A complex system characteristic was introduced at the time of service endings on at least one of the devices, including the queue length, the remaining service time on the occupied device, and the time since the beginning of the current period of employment. This characteristic determines the state of the system at any time. Recurrence relations are obtained that connect this characteristic with its marginal values when there is no queue in the system. The method of introducing additional events was chosen as one of the main methods for analyzing the model. The relationships presented in this article can be used for analysis of the average characteristics of this system, as well as in the process of its simulation. Summarizing the results of work on multichannel systems with an arbitrary number of servicing devices will significantly reduce the time required for simulating complex systems described by sets of multichannel queuing systems.

Download Full-text

Improved operating systems reliability through language features

10.2514/6.1977-1436 ◽

1977 ◽

Author(s):

R. BONNEAU

Keyword(s):

Operating Systems

Download Full-text

BCL::Conf – Improved Open-Source Knowledge-Based Conformation Sampling using the Crystallographic Open Database

10.26434/chemrxiv.12085521 ◽

2020 ◽

Author(s):

Jeffrey Mendenhall ◽

Benjamin Brown ◽

Sandeepkumar Kothiwale ◽

Jens Meiler

Keyword(s):

Ligand Binding ◽

Open Source ◽

Operating Systems ◽

Generation Algorithm ◽

Rotamer Library ◽

Conformer Generation ◽

Knowledge Based

<div>This paper describes recent improvements made to the BCL::Conf rotamer generation algorithm and comparison of its performance against other freely available and commercial conformer generation software. We demonstrate that BCL::Conf, with the use of rotamers derived from the COD, more effectively recovers crystallographic ligand-binding conformations seen in the PDB than other commercial and freely available software. BCL::Conf is now distributed with the COD-derived rotamer library, free for academic use. The BCL can be downloaded at <a href="http://meilerlab.org/index.php/bclcommons/show/b_apps_id/1">http://meilerlab.org/ bclcommons</a> for Windows, Linux, or Apple operating systems.<br></div>

Download Full-text