Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm

Baker and Cirinei (Lecture Notes in Computer Science, vol. 4878, Springer, pp. 62–75, 2007) have introduced an exact but naive algorithm, that consists in solving a state reachability problem in a finite automaton, to check whether a set of sporadic hard real-time tasks is schedulable on an identical multiprocessor platform. However, this algorithm suffers from poor performance due to the exponential size of the automaton relative to the size of the task set. In this paper, we build on the work of Baker and Cirinei, and rely on their formalism to characterise the complexity of this problem. We prove that it is PSpace-complete. In order to obtain an algorithm that is applicable in practice to systems of realistic sizes, we successfully apply techniques developed by the formal verification community, specifically antichain techniques (Doyen and Raskin in Lecture Notes in Computer Science, vol. 6015, Springer, pp. 2–22, 2010) to this scheduling problem. For that purpose, we define and prove the correctness of a simulation relation on Baker and Cirinei’s automaton. We show that our improved algorithm yields dramatically improved performance for the schedulability test and opens for many further improvements. This work is an extended and revised version of a previous conference paper by the same authors (Lindström et al., Proceedings of the 19th International Conference on Real-Time and Network Systems (RTNS 2011), pp. 25–34, 2011).     

Electromagnetic MEMS microspeaker for portable electronic devices

This work presents the conception, the microfabrication, and the electroacoustic characterization of a new electromagnetic microspeaker based on silicon. The objectives are to get improved sound quality compared to that of conventional microspeakers, while keeping the electroacoustic efficiency as high as possible. An optimized stiffening silicon microstructure let the sound radiator be extremely light and rigid. The mobile part is suspended to the fixed part by silicon suspension springs, which enable large out-of-plane displacement. The acoustic radiator is actuated by an electromagnetic motor, composed of a fixed permanent magnet and a planar coil located on top of the silicon radiator. The piston-like motion of the radiator favored by this structure is very beneficial for the sound quality. Electro–mechano–acoustic characterization of the microfabricated microspeaker showed that the radiator surface could run out-of-plane with displacements higher than ±400 μm, with no mechanical and electrical failure. For an electrical power of 0.5 W, the microspeaker was capable to generate a sound pressure level of 80 dB at 10 cm, from 330 Hz up to 20 kHz frequency. The efficiency reaches 3 × 10^?5, that is to say three times more than typical efficiency of conventional microspeakers. Moreover, as characterization results showed, the existence of very few structural modes and the low electroacoustic distortions evidence the high sound quality of the microspeaker.     

Prognostic normative reasoning

Human users planning for multiple objectives in complex environments are subjected to high levels of cognitive workload, which can severely impair the quality of the plans created. This paper describes a software agent that can proactively assist cognitively overloaded users by providing normative reasoning about prohibitions and obligations so that the user can focus on her primary objectives. In order to provide proactive assistance, we develop the notion of prognostic normative reasoning (PNR) that consists of the following steps: (1) recognizing the user's planned activities, (2) reasoning about norms to evaluate those predicted activities, and (3) providing necessary assistance so that the user's activities are consistent with norms. The idea of PNR integrates various AI techniques, namely, user intention recognition, normative reasoning over a user's intention, and planning, execution and replanning for assistive actions. In this paper, we describe an agent architecture for PNR and discuss practical applications.     

A keyword-driven approach for generating OWL DL conformance test data

The conformance of semantic technologies has to be systematically evaluated to measure and verify the real adherence of these technologies to the Semantic Web standards. Current evaluations of semantic technology conformance are not exhaustive enough and do not directly cover user requirements and use scenarios, which raises the need for a simple, extensible and parameterizable method to generate test data for such evaluations. To address this need, this paper presents a keyword-driven approach for generating ontology language conformance test data that can be used to evaluate semantic technologies, details the definition of a test suite for evaluating OWL DL conformance using this approach, and describes the use and extension of this test suite during the evaluation of some tools.     

An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy

Argumentation is a relatively new research area in Artificial Intelligence. Since the early 1980s, its use has been investigated in various frameworks. We propose a general model for recommendation-based argumentation by extending Dung’s seminal argumentation system. This approach is applied to analyse argumentation on food quality in a public health policy. Cereal products, and more specifically bread, are used by decision makers as a healthy lever to fight against diseases such as obesity or diabetes. Our model outputs new recommendations based on stakeholder’s argumentation by targeting some specific audiences.     

Model‐Driven and Risk‐Based Performance Analysis of Industrial Emergency Plans

This paper presents a methodology for the assessment of the performance of industrial hazardous materials emergency plans. This approach is based on a structuro‐functional model of the emergency plan, which highlights the plan's functions, resources, support services and interactions. A resource taxonomy is used to manage the complexity of the emergency response system. The model can be used both as a planning guide and for the analysis of the performance of the emergency response system, based on the risk assessment of the system. The failure probability is estimated through the plan's functions and resources fault trees. The failure severity of each function is determined by using the facility's hazard study. The failure criticality of each function is hence obtained.     

Queue length analysis of batch arrival queues under bilevel threshold control with early set-up

The queue length process of M^X/G/1 queues under bilevel threshold control and early set-up withlwithout server vacations is outlined. The stationary probability generating functions of the queue length distributions under a unified framework are also derived. Also derived are the mean queue length of each system.     

The lean gap: A review of lean approaches to large-scale software systems development

Lean approaches to product development (LPD) have had a strong influence on many industries and in recent years there have been many proponents for lean in software development as it can support the increasing industry need of scaling agile software development. With it's roots in industrial manufacturing and, later, industrial product development, it would seem natural that LPD would adapt well to large-scale development projects of increasingly software-intensive products, such as in the automotive industry. However, it is not clear what kind of experience and results have been reported on the actual use of lean principles and practices in software development for such large-scale industrial contexts. This was the motivation for this study as the context was an ongoing industry process improvement project at Volvo Car Corporation and Volvo Truck Corporation.     

Boundary‐Aware Extinction Mapping

We introduce Boundary‐Aware Extinction Maps for interactive rendering of massive heterogeneous volumetric datasets. Our approach is based on the projection of the extinction along light rays into a boundary‐aware function space, focusing on the most relevant sections of the light paths. This technique also provides an alternative representation of the set of participating media, allowing scattering simulation methods to be applied on arbitrary volume representations. Combined with a simple out‐of‐core rendering framework, Boundary‐Aware Extinction Maps are valuable tools for interactive applications as well as production previsualization and rendering.     

A fault-tolerant control strategy for non-linear discrete-time systems: application to the twin-rotor system

In this paper, an active fault-tolerant control scheme is proposed in the case of actuator faults. In particular, the general idea of integrating fault identification and control schemes, which takes into account the fault estimation error is first presented in a linear context. As a result, the so-called separation principle for the controller and the fault identification scheme is developed. Subsequently, the proposed approach is extended to a class of non-linear systems. Similarly to the linear case, it is proven that using a suitable control strategy and a faulty identification scheme it is possible to obtain an integrated fault-tolerant control framework, which takes into account the fault identification error. As a result, a non-linear counterpart of the above-mentioned separation principle is developed. Finally, the last part of the paper shows the application results obtained using a twin-rotor system that confirm the high performance of the proposed approach.