Performance metrics and evaluation criteria are used to develop a novel taxonomy which classifies barrier mechanisms into categories ranging from simple Static-Binding Idle-Tasking (SBIT) methods to robust Dynamic-Binding Any-Tasking (DBAT) methods. Such capabilities include support for multiple barriers, reconfigurable and reusable synchronization resources, and provisions for dynamic process...
The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems in Ada. Ravenscar defines a tasking run-time system with deterministic behaviour and low complexity. We provide a formal model of the primitives provided by Ravenscar including exceptions. This formal model can be used to verify safety properties of applications targeting a Raven...
Magnetic iron oxide nanoparticles were synthesized and stabilized inside phospholipid vesicles by two different methods. The resulting magnetoliposome suspensions were characterized by dynamic light scattering and NMR. The NMR analysis demonstrated conclusively that the magnetic cores of the magnetoliposomes contained clusters of smaller, superparamagnetic primary particles. The application of ...
Most current-generation Wireless Sensor Network(WSN) nodes are equipped with multiple sensors of varioustypes, and therefore support for multi-tasking and multipleconcurrent applications is becoming increasingly common. Thistrend has been fostering the design of WSNs allowing severalconcurrent users to deploy applications with dissimilar requirements. In this paper, we extend the advantages of ...
Juan A. de la PuenteJosé F. RuizJesús M. González-Barahona
The fact that most of the GNAT ports are based on non real-time operating systems leads to a reduced usability for developing real-time systems. Otherwise, existing ports over real-time operating systems are excesively complex, since GNAT uses only a reduced set of their functionality, and with a very specific semantic. This paper describes the implementation of a low-level tasking support for ...
Journal:
:Chinese Journal of Systems Engineering and Electronics2023
With increased dependence on space assets, scheduling and tasking of the surveillance network (SSN) are vitally important. The multi-sensor collaborative observation (MCOS) problem is a multi-constraint high-conflict complex combinatorial optimization that non-deterministic polynomial (NP)-hard. This research establishes sub-time window constraint satisfaction (STWCSP) model with objective maxi...