Hardware/Software Design of Dynamic Real-Time Schedulers for Embedded Multiprocessor Systems

The new generation of multicore processors opens new perspectives for the design of embedded systems. Multiprocessing, however, poses new challenges to the scheduling of real-time applications, in which the ever-increasing computational demands are constantly flanked by the need of meeting critical time constraints. Many research works have contributed to this field introducing new advanced scheduling algorithms. However, despite many of these works have solidly demonstrated their effectiveness, the actual support for multiprocessor real-time scheduling offered by current operating systems is still very limited. This dissertation deals with implementative aspects of real-time schedulers in modern embedded multiprocessor systems. The first contribution is represented by an open-source scheduling framework, which is capable of realizing complex multiprocessor scheduling policies, such as G-EDF, on conventional operating systems exploiting only their native scheduler from user-space. A set of experimental evaluations compare the proposed solution to other research projects that pursue the same goals by means of kernel modifications, highlighting comparable scheduling performances. The principles that underpin the operation of the framework, originally designed for symmetric multiprocessors, have been further extended first to asymmetric ones, which are subjected to major restrictions such as the lack of support for task migrations, and later to re-programmable hardware architectures (FPGAs). In the latter case, this work introduces a scheduling accelerator, which offloads most of the scheduling operations to the hardware and exhibits extremely low scheduling jitter. The realization of a portable scheduling framework presented many interesting software challenges. One of these has been represented by timekeeping. In this regard, a further contribution is represented by a novel data structure, called addressable binary heap (ABH). Such ABH, which is conceptually a pointer-based implementation of a binary heap, shows very interesting average and worst-case performances when addressing the problem of tick-less timekeeping of high-resolution timers.

Design and construction of a new Drosophila species, D.synthetica, by synthetic regulatory evolution

Here, I merge the principles of synthetic biology1,2 and regulatory evolution3-11 to create a new species12-15 with a minimal set of known elements. Using preexisting transgenes and recessive mutations of Drosophila melanogaster, a transgenic population arises with small eyes and a different venation pattern that fulfills the criteria of a new species according to Mayr's "Biological Species Concept"7,10. The genetic circuit entails the loss of a non-essential transcription factor and the introduction of cryptic enhancers. Subsequent activation of those enhancers causes hybrid lethality. The transition from "transgenic organisms" towards "synthetic species", such as Drosophila synthetica, constitutes a safety mechanism to avoid hybridization with wild type populations and preserve natural biodiversity16-18. Drosophila synthetica is the first transgenic organism that cannot hybridize with the original wild type population but remains fertile when crossed with other transgenic animals.

Design of removable partial dentures: a survey of dental laboratories in Greece

The aim of this study was to compare data on design and fabrication methods of removable partial dentures (RPDs) in two major cities in Greece. A questionnaire was sent to 150 randomly selected dental technicians. The participation rate was 79.3%. The anterior palatal strap, the lingual bar, and the Roach-type clasp arm designs were preferred. Half of the RPDs fabricated were retained using precision attachments. Differences between the two cities were observed in types of major maxillary connectors used, types of attachments and impression materials used, as well as the design of distal-extension RPDs. Postdoctoral education was found to have an impact on RPD fabrication. Despite the differences observed, design and fabrication of RPDs followed commonly used principles.

The E-learning Circle – a holistic software design tool for e-learning

The article introduces the E-learning Circle, a tool developed to assure the quality of the software design process of e-learning systems, considering pedagogical principles as well as technology. The E-learning Circle consists of a number of concentric circles which are divided into three sectors. The content of the inner circles is based on pedagogical principles, while the outer circle specifies how the pedagogical principles may be implemented with technology. The circle’s centre is dedicated to the subject taught, ensuring focus on the specific subject’s properties. The three sectors represent the student, the teacher and the learning objectives. The strengths of the E-learning Circle are the compact presentation combined with the overview it provides, as well as the usefulness of a design tool dealing with complexity, providing a common language and embedding best practice. The E-learning Circle is not a prescriptive method, but is useful in several design models and processes. The article presents two projects where the E-learning Circle was used as a design tool.

Design-based stereology: Planning, volumetry and sampling are crucial steps for a successful study

Quantitative data obtained by means of design-based stereology can add valuable information to studies performed on a diversity of organs, in particular when correlated to functional/physiological and biochemical data. Design-based stereology is based on a sound statistical background and can be used to generate accurate data which are in line with principles of good laboratory practice. In addition, by adjusting the study design an appropriate precision can be achieved to find relevant differences between groups. For the success of the stereological assessment detailed planning is necessary. In this review we focus on common pitfalls encountered during stereological assessment. An exemplary workflow is included, and based on authentic examples, we illustrate a number of sampling principles which can be implemented to obtain properly sampled tissue blocks for various purposes.

On the use of Cramér-Rao minimum variance bounds for the design of magnetic resonance spectroscopy experiments

Localized Magnetic Resonance Spectroscopy (MRS) is in widespread use for clinical brain research. Standard acquisition sequences to obtain one-dimensional spectra suffer from substantial overlap of spectral contributions from many metabolites. Therefore, specially tuned editing sequences or two-dimensional acquisition schemes are applied to extend the information content. Tuning specific acquisition parameters allows to make the sequences more efficient or more specific for certain target metabolites. Cramér-Rao bounds have been used in other fields for optimization of experiments and are now shown to be very useful as design criteria for localized MRS sequence optimization. The principle is illustrated for one- and two-dimensional MRS, in particular the 2D separation experiment, where the usual restriction to equidistant echo time spacings and equal acquisition times per echo time can be abolished. Particular emphasis is placed on optimizing experiments for quantification of GABA and glutamate. The basic principles are verified by Monte Carlo simulations and in vivo for repeated acquisitions of generalized two-dimensional separation brain spectra obtained from healthy subjects and expanded by bootstrapping for better definition of the quantification uncertainties.

Sustainability principles put into practice: case studies of network analysis in Swiss climate change adaptation

Climate adaptation policies increasingly incorporate sustainability principles into their design and implementation. Since successful adaptation by means of adaptive capacity is recognized as being dependent upon progress toward sustainable development, policy design is increasingly characterized by the inclusion of state and non-state actors (horizontal actor integration), cross-sectoral collaboration, and inter-generational planning perspectives. Comparing four case studies in Swiss mountain regions, three located in the Upper Rhone region and one case from western Switzerland, we investigate how sustainability is put into practice. We argue that collaboration networks and sustainability perceptions matter when assessing the implementation of sustainability in local climate change adaptation. In other words, we suggest that adaptation is successful where sustainability perceptions translate into cross-sectoral integration and collaboration on the ground. Data about perceptions and network relations are assessed through surveys and treated via cluster and social network analysis.

The design and evaluation of a 2D dose verification system for intensity modulated radiotherapy

The usage of intensity modulated radiotherapy (IMRT) treatments necessitates a significant amount of patient-specific quality assurance (QA). This research has investigated the precision and accuracy of Kodak EDR2 film measurements for IMRT verifications, the use of comparisons between 2D dose calculations and measurements to improve treatment plan beam models, and the dosimetric impact of delivery errors. New measurement techniques and software were developed and used clinically at M. D. Anderson Cancer Center. The software implemented two new dose comparison parameters, the 2D normalized agreement test (NAT) and the scalar NAT index. A single-film calibration technique using multileaf collimator (MLC) delivery was developed. EDR2 film's optical density response was found to be sensitive to several factors: radiation time, length of time between exposure and processing, and phantom material. Precision of EDR2 film measurements was found to be better than 1%. For IMRT verification, EDR2 film measurements agreed with ion chamber results to 2%/2mm accuracy for single-beam fluence map verifications and to 5%/2mm for transverse plane measurements of complete plan dose distributions. The same system was used to quantitatively optimize the radiation field offset and MLC transmission beam modeling parameters for Varian MLCs. While scalar dose comparison metrics can work well for optimization purposes, the influence of external parameters on the dose discrepancies must be minimized. The ability of 2D verifications to detect delivery errors was tested with simulated data. The dosimetric characteristics of delivery errors were compared to patient-specific clinical IMRT verifications. For the clinical verifications, the NAT index and percent of pixels failing the gamma index were exponentially distributed and dependent upon the measurement phantom but not the treatment site. Delivery errors affecting all beams in the treatment plan were flagged by the NAT index, although delivery errors impacting only one beam could not be differentiated from routine clinical verification discrepancies. Clinical use of this system will flag outliers, allow physicists to examine their causes, and perhaps improve the level of agreement between radiation dose distribution measurements and calculations. The principles used to design and evaluate this system are extensible to future multidimensional dose measurements and comparisons. ^

On the biomimetic design of agile-robot legs

The development of functional legged robots has encountered its limits in human-made actuation technology. This paper describes research on the biomimetic design of legs for agile quadrupeds. A biomimetic leg concept that extracts key principles from horse legs which are responsible for the agile and powerful locomotion of these animals is presented. The proposed biomimetic leg model defines the effective leg length, leg kinematics, limb mass distribution, actuator power, and elastic energy recovery as determinants of agile locomotion, and values for these five key elements are given. The transfer of the extracted principles to technological instantiations is analyzed in detail, considering the availability of current materials, structures and actuators. A real leg prototype has been developed following the biomimetic leg concept proposed. The actuation system is based on the hybrid use of series elasticity and magneto-rheological dampers which provides variable compliance for natural motion. From the experimental evaluation of this prototype, conclusions on the current technological barriers to achieve real functional legged robots to walk dynamically in agile locomotion are presented.

Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system

We informally discuss several issues related to the parallel execution of logic programming systems and concurrent logic programming systems, and their generalization to constraint programming. We propose a new view of these systems, based on a particular definition of parallelism. We argüe that, under this view, a large number of the actual systems and models can be explained through the application, at different levéis of granularity, of only a few basic principies: determinism, non-failure, independence (also referred to as stability), granularity, etc. Also, and based on the convergence of concepts that this view brings, we sketch a model for the implementation of several parallel constraint logic programming source languages and models based on a common, generic abstract machine and an intermedíate kernel language.

Technological development in Spanish gothic vaults design

The principle of complexity as the evolution vector of the gothic style was an idea largely developed by Paul Frankl. The high complexity reached in the 15th and 16th centuries was possible thanks to the geometrical resources developed in the workshops of the medieval stonemasons. The search for more sophisticated designs was possible also with the higher standardization, so that the most complex ribbed vault could be built with ribs that had all the same curvature and with voussoirs that were therefore identical. Spanish Gothic architecture has been deeply studied from a historical and artistic point of view. The present paper, as a complement to these analyses, aims to point out some of the geometrical methods and technological improvements that late medieval masons were able to develop. In that way, some selected vaults have been measured, in order to study their geometry and design process. Also scale models of some vaults have been built at the Escuela de Arquitectura (Madrid) to validate these geometrical principles. More than just a research method, the scale models allow to understand the medieval construction techniques, and they are a powerful pedagogical tool with which pupils can reach a rewarding experience based on the “medieval-way” praxis.

Supporting the design and development of Project Based Learning courses.

The use of Project Based Learning has spread widely over the last decades, not only throughout countries but also among disciplines. One of the most significant characteristics of this methodology is the use of ill-structured problems as central activity during the course, which represents an important difficulty for both teachers and students. This work presents a model, supported by a tool, focused on helping teachers and students in Project Based Learning, overcoming these difficulties. Firstly, teachers are guided in designing the project following the main principles of this methodology. Once the project has been specified at the desired level of depth, the same tool helps students to finish the project specification and organize the implementation. Collaborative work among different users is allowed in both phases. This tool has been satisfactorily tested designing two real projects used in Computer Engineering and Software Engineering degrees.

Integration of Sustainable Development Principles into a Community Park

Characteristics of six operating hot spring recreational facilities were reviewed to identify opportunities for integrating a range of sustainable design and operation approaches into a community park. Potential operating cost savings were evaluated for a conceptual landscape project, bathhouse project, and swimming pool project that reduced the use of electricity, natural gas, water, the discharge of water, and solid waste generation. The projects showed a combined cost savings of approximately $40,000 per year by adopting passive solar design, energy efficient lighting, native vegetation, water efficient fixtures, and a natural swimming pool. The greatest potential operating cost reductions were observed for cutbacks in the use of swimming pool water and reductions in natural gas needed for building and swimming pool heating.

Handling of Uncertainty in Life Cycle Inventory by Correlated Multivariate Lognormal Distributions: Application to the Design of Supply Chain Networks

Poster presented in the 24th European Symposium on Computer Aided Process Engineering (ESCAPE 24), Budapest, Hungary, June 15-18, 2014.

Reflections on the role and design of online dictionaries for specialised translation

This article is an updated and modified version of a Spanish article published in MonTi 6 (cf. Tarp 2014a). It deals with specialised translation dictionaries. Based on the principles of the function theory, it analyses the different phases and sub-phases of the translation process from a lexicographical perspective and shows that a translation dictionary should be much more than a mere bilingual dictionary if it really pretends to meet its users’ complex needs. Thereafter, it presents a global concept of a translation dictionary which includes various mono- and bilingual components in both language directions. Finally, the article discusses, by means of two concrete online projects, how this concept can be applied on the Internet in order to develop high-quality translation dictionaries with quick access to data that are still more adapted to the needs of each translator.