Honeywell (Czechia)

Reducing thermal dissipation is vital for modern multi-core architectures to meet increasing computational demands. In this paper, we consider non-preemptive periodic tasks at two importance levels - Safety-Critical tasks (SC-tasks) and Best-Effort tasks (BE-tasks) - executing on a homogeneous multi-core processor with DVFS capabilities under thermal-aware design. We assume that tasks are scheduled according to a fully partitioned Fixed-Task-Priority (FTP) scheduler. Then, we propose two main contributions: (1) a new scheduling scheme, called NP-SafeSC, which reduces the responsiveness of SC-tasks as much as possible by procrastinating the execution of some BE-tasks; and (2) a new framework, called NP-ThermCare, that allows controlling both processor activity and the triggering of the cooling mechanism so that timing and thermal requirements are met. We provide a thorough analysis of our solutions, validate the results and evaluate their performance against a real-world use-case and intensive simulations. Our approach shows a consistent improvement of NP-SafeSC over NP-COIN in the responsiveness of all SC-tasks on each core. In particular, the improvement for the SC-task with the lowest priority reaches 39.53% for the real-world use-case and 45.17% for the simulations.

Despite its high potential, the building's sector lags behind in reducing its energy demand. Tremendous savings can be achieved by deploying building management services during operation, however, the manual deployment of these services needs to be undertaken by experts and it is a tedious, time and cost consuming task. It requires detailed expert knowledge to match the diverse requirements of services with the present constellation of envelope, equipment and automation system in a target building. To enable the widespread deployment of these services, this knowledge-intensive task needs to be automated. Knowledge-based methods solve this task, however, their widespread adoption is hampered and solutions proposed in the past do not stick to basic principles of state of the art knowledge engineering methods. To fill this gap we present a novel methodological approach for the design of knowledge-based systems for the automated deployment of building management services. The approach covers the essential steps and best practices: (1) representation of terminological knowledge of a building and its systems based on well-established knowledge engineering methods; (2) representation and capturing of assertional knowledge on a real building portfolio based on open standards; and (3) use of the acquired knowledge for the automated deployment of building management services to increase the energy efficiency of buildings during operation. We validate the methodological approach by deploying it in a real-world large-scale European pilot on a diverse portfolio of buildings and a novel set of building management services. In addition, a novel ontology, which reuses and extends existing ontologies is presented.

The Allan variance methodology is a statistic approach, which can be used for the analysis of the noise processes.It can be used for the noise type determination of inertial sensors without the need of any transformations.Although as the Allan variance is a time domain measure, the article deals with the methodology of how to reveal the periodical interference during the noise analysis of magnetic sensors.Subsequently the methodology based on the dynamic Allan variance is applied for the cases, when the periodical interference is non-stationary and varies in time.The noise analysis determining the noise specific types is inter alia very beneficial for the in-site or in-flight magnetometer calibration.

The ultimate objective of this work was to develop a demonstrator of a highly efficient, GaN based, linearised, passively cooled solid-state power amplifier (SSPA)for avionic SATCOM terminals operating in L-band. The SSPA should provide sufficient output power to comply with all SATCOM classes in all installation options, meet all in-band and out-of-band distortion limits such as error vector magnitude (EVM)and spectral regrowth, and guarantee reliable operation for 1M-hours. The contract, undertaken with European Space Agency (ESA)funding, mandates the use of Gallium Nitride (GaN)technology and power amplifier linearisation techniques to maintain high efficiency, while operating in a linear fashion. The SSPA needs to meet all requirements without any forced-air cooling. The project has been completed successfully, achieving the 47% PAE target, while amplifying a single-carrier test waveform (Inmarsat R20T4.5X type waveform with 16-QAM modulation and 151.2kS/s symbol rate)to ~ 15W nominal / ~ 65W peak power level. Digital predistortion (DPD)linearisation was used to achieve <; 2% EVM and > 10dB margin in spectral regrowth measured against the ETSI (European Telecommunication Standards Institute)and Inmarsat channel masks at all offset frequencies. Passive cooling was demonstrated with GaN junction temperature not exceeding 150°C (absolute maximum rating 275°C)and mean-time-to-failure (MTTF)reliability of more than 10M hours.

This paper is devoted to the terrain aided navigation (TAN) systems based on the state estimation algorithms. In particular, the emphasis is laid on the design of the Bayesian Rao–Blackwellized point-mass filter for nonlinear state-space models of a specific structure typically used in the terrain aided navigation. The proposed filter preserves advantages of the point-mass filter, including the high estimation accuracy, robust initialization, deterministic nature of the algorithm, and predictable computational complexity, while the computational complexity is significantly reduced. The performance of the Rao–Blackwellized point-mass filter is illustrated using a simulated numerical example and a TAN system based on the real data.

Many heating, ventilation, and air conditioning systems are implemented using one heat source, the power of which is distributed to individual zones using a pipe network. Each zone can be independently controlled using its own zone controller. Due to the hydronic network interconnection, the zone controllers interact by pressure/flow changes. This brief addresses a question of when and under what conditions the overall system is a stable system. We use a simplified linearized model with linear heat exchangers (HXs) and linear hydraulic resistances. Moreover, all HXs are assumed to be the same. A closed-form formula for linearization of the interconnection is provided. Using these simplifications, we provide simple guidelines which the controller for each zone should satisfy. The main result is that from stability point of view, the interconnection does not bring any new design limitation. On the other hand, an improperly tuned controller can destabilize the interconnected system. An extensive simulation verification is provided.

This paper reports preliminary investigations concerning the development of a LIDAR based sense and avoid (SAA) system with a low computational footprint for small Unmanned Air Vehicles (UAVs). The focus is on the integration with nominal flight control systems and on computational feasibility. The proposed system decomposes the SAA problem into the following components detection, space assessment, escape trajectory estimation and avoidance execution. The control logic is encoded with the help of a hybrid automaton. The properties of the system are studied with the help of approximations to time slices of the UAV reach set.

Advancement of the MEMS technology at the end of the 20th century allowed mankind to realize the things which had been unthinkable until then. Modern technological procedures have enabled a mass production of sensors and actuators of miniature dimensions with low purchase costs. The article deals with the fundamental principle of the MEMS gyroscopes as angular velocity sensors and with the necessary output data filtering and fusion with other inertial sensors to improve quality and precision of the angular velocity and position angles determination.

This work deals with the application of cryptographic schemes and primitives on the computational and memory-restricted microcontrollers. The efficient implementation of proper cryptographic schemes on these devices improves the security and performance of many applications and communication services in wireless sensor networks, Internet of Things, embedded systems and home automation and other systems which employ constrained devices. In this work, we experimentally implement well-known and widely used cryptographic schemes on the MSP430FX family of microcontrollers and study their performance and memory demands. On these microcontrollers, we evaluate 10 symmetric ciphers, 8 hash functions, modular arithmetic operations and asymmetric cryptographic schemes. Based on obtained results we propose a lightweight cryptographic solution which provides authentication and secure data communication. Our solution has two versions which are designed for applications that must use memory-constrained microcontrollers and for real-time applications that require efficiency and security. We believe that our proposal and results can help engineers and developers to improve the security or performance in their applications that employ constrained devices.

The EC project parMERASA (Multicore Execution of Parallelized Hard Real-Time Applications Supporting Analyzability) investigated timing-analyzable parallel hard real-time applications running on a predictable multicore processor. A pattern-supported parallelization approach was developed to ease sequential to parallel program transformation based on parallel design patterns that are timing analyzable. The parallelization approach was applied to parallelize the following industrial hard real-time programs: 3D path planning and stereo navigation algorithms (Honeywell International s.r.o.), control algorithm for a dynamic compaction machine (BAUER Maschinen GmbH), and a diesel engine management system (DENSO AUTOMOTIVE Deutschland GmbH). This article focuses on the parallelization approach, experiences during parallelization with the applications, and quantitative results reached by simulation, by static WCET analysis with the OTAWA tool, and by measurement-based WCET analysis with the RapiTime tool.