Software Security Design and Testing

Elektroninen kaupankäynti ja pankkipalvelut ovat herättäneet toiminnan jatkuvuuden kannalta erittäin kriittisen kysymyksen siitä, kuinka näitä palveluja pystytään suojaamaan järjestäytynyttä rikollisuutta ja erilaisia hyväksikäyttöjä vastaan.

Toiminnanohjausjärjestelmän kehityssuunnat projektipohjaisessa yrityksessä

The master’s thesis focuses on the ERP system of a project company that delivers large-scale industrial plants from a purchasing point of view. The point of time is couple of years after implementation. Opinion of the people working in purchasing is that the ERP system isn’t performing satisfyingly. The first objective for the thesis is to find out the causes of the problems based on theory. It’s possible the system may not be suitable for project business or there may be deficiencies in the system that cause the problems. The second objective for the thesis is to propose solutions to the observed problems based on theory and vision how the system should function. The outcome of the thesis was that the main causes for the problems were connected to the ways of using the system and engineering activities being left outside the scope of ERP. The processes connected to the ERP system are not documented, so the rules for using the system are missing. The thesis describes developing and influences to the organization of a function that enables uploading purchase requisitions to projects from a text file. It was discovered that the function solves many problems and enables other functions that enhance further ambitions to integrate even more of the company’s processes to the ERP system. Conclusion to the thesis is a vision how the system should function and development activities needed to achieve this vision.

Vaatimusmäärittelykäytäntöjen sovellettavuus talousohjauksen vaatimuksia kartoitettaessa

Vaatimusten määrittelyn tarkoitus on kartoittaa tietojärjestelmän käyttäjien työtehtäviä ja niihin liittyviä järjestelmän toiminnallisia ja ei-toiminnallisia vaatimuksia. Todellinen asiakasnäkökulma tulee esille yrityksen itse käynnistämässä vaatimusten määrittelyssä. Nykytilan selvittäminen ja kriittisten toimintojen havaitseminen käynnistävät kohdeyksikössä käytävän keskinäisen keskustelun, mikä on edellytyksenä järjestelmävaatimusten havaitsemiseen. Tämän työn teoriaosuudessa lähestytään eri näkökulmia vaatimustenmäärittelyyn. Tämän jälkeen esitellään muutamia asiakasyritykselle sopivia määrittelymenetelmiä, joita voidaan hyödyntää valmisohjelmistohankeen määrittelyssä. Työssä esitetään myös toiminnanohjaukseen ja tietovarastointiin tarkoitettujen järjestelmien tapaa kerätä taloudellista informaatiota ja luoda raportteja johdolle päätöksenteon tueksi. Työn empiirisessä osassa selvitetään mitkä ovat Lappeenrannan Energia Oy:n asettamat liiketoiminnalliset tarpeet ja vaatimukset uudelle talousohjauksen tietojärjestelmälle.

Développement d’un système d’administration de l’anesthésie en boucle fermée

En salle d’opération, les tâches de l’anesthésiste sont nombreuses. Alors que l’utilisation de nouveaux outils technologiques l’informe plus fidèlement sur ce qui se passe pour son patient, ces outils font que ses tâches deviennent plus exigeantes. En vue de diminuer cette charge de travail, nous avons considérer l’administration automatique d’agents anesthésiques en se servant de contrôle en boucle fermée. À cette fin, nous avons développé un système d’administration d’un agent anesthésique (le propofol) visant à maintenir à un niveau optimal la perte de conscience du patient pendant toute la durée d’une chirurgie. Le système comprend un ordinateur, un moniteur d’anesthésie et une pompe de perfusion. L’ordinateur est doté d’un algorithme de contrôle qui, à partir d’un indice (Bispectral IndexTM ou BIS) fournit par le moniteur d’anesthésie détermine le taux d’infusion de l’agent anesthésiant. Au départ, l’anesthésiste choisit une valeur cible pour la variable de contrôle BIS et l’algorithme, basé sur système expert, calcule les doses de perfusion de propofol de sorte que la valeur mesurée de BIS se rapproche le plus possible de la valeur cible établie. Comme interface-utilisateur pour un nouveau moniteur d’anesthésie, quatre sortes d’affichage ont été considérés: purement numérique, purement graphique, un mélange entre graphique et numérique et un affichage graphique intégré (soit bidimensionnel). À partir de 20 scenarios différents où des paramètres normaux et anormaux en anesthésie étaient présentés à des anesthésistes et des résidents, l’étude des temps de réaction, de l’exactitude des réponses et de la convivialité (évaluée par le NASA-TLX) a montré qu’un affichage qui combine des éléments graphiques et numériques était le meilleur choix comme interface du système. Une étude clinique a été réalisée pour comparer le comportement du système d’administration de propofol en boucle fermée comparativement à une anesthésie contrôlée de façon manuelle et conventionnelle où le BIS était aussi utilisé. Suite à l’approbation du comité d’éthique et le consentement de personnes ayant à subir des chirurgies générales et orthopédiques, 40 patients ont été distribués également et aléatoirement soit dans le Groupe contrôle, soit dans le Groupe boucle fermée. Après l’induction manuelle de propofol (1.5 mg/kg), le contrôle en boucle fermée a été déclenché pour maintenir l’anesthésie à une cible de BIS fixée à 45. Dans l’autre groupe, le propofol a été administré à l’aide d’une pompe de perfusion et l’anesthésiste avait aussi à garder manuellement l’indice BIS le plus proche possible de 45. En fonction du BIS mesuré, la performance du contrôle exercé a été définie comme excellente pendant les moments où la valeur du BIS mesurée se situait à ±10% de la valeur cible, bonne si comprise de ±10% à ±20%, faible si comprise de ±20% à ±30% ou inadéquate lorsque >±30%. Dans le Groupe boucle fermée, le système a montré un contrôle excellent durant 55% du temps total de l’intervention, un bon contrôle durant 29% du temps et faible que pendant 9% du temps. Le temps depuis l’arrêt de la perfusion jusqu’à l’extubation est de 9 ± 3.7 min. Dans le Groupe contrôle, un contrôle excellent, bon, et faible a été enregistré durant 33%, 33% et 15% du temps respectivement et les doses ont été changées manuellement par l’anesthésiste en moyenne 9.5±4 fois par h. L’extubation a été accomplie après 11.9 ± 3.3 min de l’arrêt de la perfusion. Dans le Groupe boucle fermée, un contrôle excellent a été obtenu plus longtemps au cours des interventions (P<0.0001) et un contrôle inadéquat moins longtemps (P=0.001) que dans le Groupe contrôle. Le système en boucle fermée d’administration de propofol permet donc de maintenir plus facilement l’anesthésie au voisinage d’une cible choisie que l’administration manuelle.

Fujaba Days 2011

Fujaba is an Open Source UML CASE tool project started at the software engineering group of Paderborn University in 1997. In 2002 Fujaba has been redesigned and became the Fujaba Tool Suite with a plug-in architecture allowing developers to add functionality easily while retaining full control over their contributions. Multiple Application Domains Fujaba followed the model-driven development philosophy right from its beginning in 1997. At the early days, Fujaba had a special focus on code generation from UML diagrams resulting in a visual programming language with a special emphasis on object structure manipulating rules. Today, at least six rather independent tool versions are under development in Paderborn, Kassel, and Darmstadt for supporting (1) reengineering, (2) embedded real-time systems, (3) education, (4) specification of distributed control systems, (5) integration with the ECLIPSE platform, and (6) MOF-based integration of system (re-) engineering tools. International Community According to our knowledge, quite a number of research groups have also chosen Fujaba as a platform for UML and MDA related research activities. In addition, quite a number of Fujaba users send requests for more functionality and extensions. Therefore, the 8th International Fujaba Days aimed at bringing together Fujaba develop- ers and Fujaba users from all over the world to present their ideas and projects and to discuss them with each other and with the Fujaba core development team.

Optimal maintenance policies under different operational schedules

In the reliability literature, maintenance time is usually ignored during the optimization of maintenance policies. In some scenarios, costs due to system failures may vary with time, and the ignorance of maintenance time will lead to unrealistic results. This paper develops maintenance policies for such situations where the system under study operates iteratively at two successive states: up or down. The costs due to system failure at the up state consist of both business losses & maintenance costs, whereas those at the down state only include maintenance costs. We consider three models: Model A, B, and C: Model A makes only corrective maintenance (CM). Model B performs imperfect preventive maintenance (PM) sequentially, and CM. Model C executes PM periodically, and CM; this PM can restore the system as good as the state just after the latest CM. The CM in this paper is imperfect repair. Finally, the impact of these maintenance policies is illustrated through numerical examples.

Sanitation assessment of wastewater treated by stabilization ponds for potential reuse in agricultural irrigation sanitation assessment

Wastewater reuse has become an important alternative to agricultural irrigation; on the other hand, it poses concern with regard to public health. Total coliform and Escherichia coli concentration, presence of helminth eggs and Salmonella, and physical-chemical parameters were evaluated in raw and treated wastewater. Chemical and biochemical oxygen demand removal efficiency was 74.6 and 77.9%, respectively. As for organic nitrogen, total phosphorus, and total suspended solids, total efficiency removal was 17.4, 12.5, and 32.9%, respectively. The average density of total coliforms and E. coli was 3.5 x 10(9) and 1.8 x 10(8) MPN/100 mL and 1.1 x 10(7) MPN/100 mL and 3.9 x 10(5) MPN/100 mL for raw and treated wastewater, respectively. Ascaris eggs were observed in 80.8% of the samples collected, and viable eggs in 42.3% of the samples. Salmonella was detected in 36.4% of the samples. The values observed in treated wastewater did not show the adequate bacteriological quality, as recommended by World Health Organization (Geneva, Switzerland). Therefore, additional measures should be taken to achieve an improved microbiological and parasitological quality.

Investigation of some dielectric properties of phosphate glasses doped with iron oxides, by a microwave technique

The effects of iron ions on dielectric properties of lithium sodium phosphate glasses were studied by non-usual, fast and non-destructive microwave techniques. The dielectric constant (epsilon`). insertion loss (L) and microwave absorption spectra (microwave response) of the selected glass system xFe(2)O(3)center dot(1 - x)(50P(2)O5 center dot 25Li(2)O center dot 25Na(2)O), being x = 0, 3, 6, ....,15 expressed in mol.%, were investigated. The dielectric constant of the samples was investigated at 9.00 GHz using the shorted-line method (SLM) giving the minimum value of epsilon` = 2.10 +/- 0.02 at room temperature, and increasing further with x, following a given law. It was observed a gradual increasing slope Of E in the temperature range of 25 <= t <= 330 degrees C, at the frequency of 9.00 GHz. Insertion loss (measured at 9.00 GHz) and measurements of microwave energy attenuation, at frequencies ranging from 8.00 to 12.00 GHz were also studied as a function of iron content in the glass samples. (C) 2009 Elsevier Ltd. All rights reserved.

Black-box decomposition approach for computational hemodynamics: One-dimensional models

Increasing efforts exist in integrating different levels of detail in models of the cardiovascular system. For instance, one-dimensional representations are employed to model the systemic circulation. In this context, effective and black-box-type decomposition strategies for one-dimensional networks are needed, so as to: (i) employ domain decomposition strategies for large systemic models (1D-1D coupling) and (ii) provide the conceptual basis for dimensionally-heterogeneous representations (1D-3D coupling, among various possibilities). The strategy proposed in this article works for both of these two scenarios, though the several applications shown to illustrate its performance focus on the 1D-1D coupling case. A one-dimensional network is decomposed in such a way that each coupling point connects two (and not more) of the sub-networks. At each of the M connection points two unknowns are defined: the flow rate and pressure. These 2M unknowns are determined by 2M equations, since each sub-network provides one (non-linear) equation per coupling point. It is shown how to build the 2M x 2M non-linear system with arbitrary and independent choice of boundary conditions for each of the sub-networks. The idea is then to solve this non-linear system until convergence, which guarantees strong coupling of the complete network. In other words, if the non-linear solver converges at each time step, the solution coincides with what would be obtained by monolithically modeling the whole network. The decomposition thus imposes no stability restriction on the choice of the time step size. Effective iterative strategies for the non-linear system that preserve the black-box character of the decomposition are then explored. Several variants of matrix-free Broyden`s and Newton-GMRES algorithms are assessed as numerical solvers by comparing their performance on sub-critical wave propagation problems which range from academic test cases to realistic cardiovascular applications. A specific variant of Broyden`s algorithm is identified and recommended on the basis of its computer cost and reliability. (C) 2010 Elsevier B.V. All rights reserved.

Decision-Making Tool for Knowledge-Based Projects in Offshore Production Systems

The development of an offshore field demands knowledge of many experts to choose the different components of an offshore production system. All the specialized parts of this knowledge are intrinsically related. The aim of this paper is to use Fuzzy Sets and knowledge-based systems to describe and formalize the phases of development of an offshore production system project, in order to share and to manage the required knowledge for carrying out a project, while at the same time proposing alternatives for the oil field configuration.

Effect of posture-control insoles on function in children with cerebral palsy: Randomized controlled clinical trial

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

TAO - A software platform for autonomous mobile robots

To date, different techniques of navigation for mobile robots have been developed. However, the experimentation of these techniques is not a trivial task because usually it is not possible to reuse the developed control software due to system incompabilities. This paper proposes a software platform that provides means for creating reusable software modules through the standardization of software interfaces, which represent the various robot modules. © 2012 ICROS.

Proposta de modelo de gestão de resíduos da construção civil para a zona leste da cidade de Teresina - PI

Pós-graduação em Geografia - IGCE

Expanding the horizontal capabilities of CRT monitors using artificial inter-pixel steps for neuroscience experiments

This article describes the development of a visual stimulus generator to be used in neuroscience experiments with invertebrates such as flies. The experiment consists in the visualization of a fixed image that is displaced horizontally according to the stimulus data. The system is capable of displaying 640 x 480 pixels with 256 intensity levels at 200 frames per second (FPS) on conventional raster monitors. To double the possible horizontal positioning possibilities from 640 to 1280, a novel technique is presented introducing artificial inter-pixel steps. The implementation consists in using two video frame buffers containing each a distinct view of the desired image pattern. This implementation generates a visual effect capable of doubling the horizontal positioning capabilities of the visual stimulus generator allowing more precise and movements more contiguous. (C) 2011 Elsevier Inc. All rights reserved.

Aplicación en tiempo real para el control de señales en empotrados

[ES] Este software pretende dar soporte a la monitorización y control de señales provenientes de distintos dispositivos electrónicos a través de un sistema empotrado con un sistema operativo en tiempo real que proporcione las herramientas necesarias para cumplir con los requisitos de tiempo que se plantean. Para ello la aplicación se divide en varios procesos encargados de la lectura y configuración de las distintas señales, control de eventos anómalos (interrupciones, fallos del sistema, etc),  almacenamiento en una base de datos de la información generada y una interfaz de usuario vía web que permita la monitorización del sistema en su conjunto.