Development of a Real Time System in Algol 68.

For various reasons, many Algol 68 compilers do not directly implement the parallel processing operations defined in the Revised Algol 68 Report. It is still possible however, to perform parallel processing, multitasking and simulation provided that the implementation permits the creation of a master routine for the coordination and initiation of processes under its control. The package described here is intended for real time applications and runs in conjunction with the Algol 68R system; it extends and develops the original Algol 68RT package, which was designed for use with multiplexers at the Royal Radar Establishment, Malvern. The facilities provided, in addition to the synchronising operations, include an interface to an ICL Communications Processor enabling the abstract processes to be realised as the interaction of several teletypes or visual display units with a real time program providing a useful service.

Online MBPeT dashboard : enabling performance testing as a service in the cloud

In this thesis, tool support is addressed for the combined disciplines of Model-based testing and performance testing. Model-based testing (MBT) utilizes abstract behavioral models to automate test generation, thus decreasing time and cost of test creation. MBT is a functional testing technique, thereby focusing on output, behavior, and functionality. Performance testing, however, is non-functional and is concerned with responsiveness and stability under various load conditions. MBPeT (Model-Based Performance evaluation Tool) is one such tool which utilizes probabilistic models, representing dynamic real-world user behavior patterns, to generate synthetic workload against a System Under Test and in turn carry out performance analysis based on key performance indicators (KPI). Developed at Åbo Akademi University, the MBPeT tool is currently comprised of a downloadable command-line based tool as well as a graphical user interface. The goal of this thesis project is two-fold: 1) to extend the existing MBPeT tool by deploying it as a web-based application, thereby removing the requirement of local installation, and 2) to design a user interface for this web application which will add new user interaction paradigms to the existing feature set of the tool. All phases of the MBPeT process will be realized via this single web deployment location including probabilistic model creation, test configurations, test session execution against a SUT with real-time monitoring of user configurable metric, and final test report generation and display. This web application (MBPeT Dashboard) is implemented with the Java programming language on top of the Vaadin framework for rich internet application development. The Vaadin framework handles the complicated web communications processes and front-end technologies, freeing developers to implement the business logic as well as the user interface in pure Java. A number of experiments are run in a case study environment to validate the functionality of the newly developed Dashboard application as well as the scalability of the solution implemented in handling multiple concurrent users. The results support a successful solution with regards to the functional and performance criteria defined, while improvements and optimizations are suggested to increase both of these factors.

Copernicus in situ TAC - CMEMS System Requirements Document

This document is the Copernicus Marine Environment Monitoring Service for In Situ observations System Requirements Document (CMES-INS-SRD). It specifies the capabilities of the CMEMS-INS system as a response to the CMEMS-INS system requirements. The Copernicus In Situ Thematic Assembly Centre (In Situ TAC) provides a research and operational framework to develop and deliver In Situ observations and derived products based on such observations, to address progressively global but also regional needs either for monitoring, modelling or downstream service development.

UNDERSTANDING CUSTOMER CHOICES IN SERVICE OUTSOURCING AND REVENUE MANAGEMENT

This dissertation investigates customer behavior modeling in service outsourcing and revenue management in the service sector (i.e., airline and hotel industries). In particular, it focuses on a common theme of improving firms’ strategic decisions through the understanding of customer preferences. Decisions concerning degrees of outsourcing, such as firms’ capacity choices, are important to performance outcomes. These choices are especially important in high-customer-contact services (e.g., airline industry) because of the characteristics of services: simultaneity of consumption and production, and intangibility and perishability of the offering. Essay 1 estimates how outsourcing affects customer choices and market share in the airline industry, and consequently the revenue implications from outsourcing. However, outsourcing decisions are typically endogenous. A firm may choose whether to outsource or not based on what a firm expects to be the best outcome. Essay 2 contributes to the literature by proposing a structural model which could capture a firm’s profit-maximizing decision-making behavior in a market. This makes possible the prediction of consequences (i.e., performance outcomes) of future strategic moves. Another emerging area in service operations management is revenue management. Choice-based revenue systems incorporate discrete choice models into traditional revenue management algorithms. To successfully implement a choice-based revenue system, it is necessary to estimate customer preferences as a valid input to optimization algorithms. The third essay investigates how to estimate customer preferences when part of the market is consistently unobserved. This issue is especially prominent in choice-based revenue management systems. Normally a firm only has its own observed purchases, while those customers who purchase from competitors or do not make purchases are unobserved. Most current estimation procedures depend on unrealistic assumptions about customer arriving. This study proposes a new estimation methodology, which does not require any prior knowledge about the customer arrival process and allows for arbitrary demand distributions. Compared with previous methods, this model performs superior when the true demand is highly variable.

IQuOD 4th workshop in Tokyo: Copernicus Marine in situ TAC, a service for operational oceanography

Copernicus is a European system for monitoring the Earth. COPERNICUS-CMEMS products and services are meant to serve all marine applications: Marine resources, Maritime safety, Coastal and Marine Environment, Seasonal Forecast & Climate. The service is ambitious as the ocean is complex and many processes are involved, from physical oceanography, biology, geology, ocean-atmosphere fluxes, solar radiations, moon induced tides, anthropic activity. A multi-platform approach is essential, taking into account sea-level stations, coastal buoys, HF radars, river flows, drifting buoys, sea-mammal or fishes fitted with sensors, vessels, gliders, floats.

Service Orientation in Demand-Supply Chains: Towards an Integrated Framework

Part 5: Service Orientation in Collaborative Networks

Queueuing system with failures and priorities

Queueing theory provides models, structural insights, problem solutions and algorithms to many application areas. Due to its practical applicability to production, manufacturing, home automation, communications technology, etc, more and more complex systems requires more elaborated models, tech- niques, algorithm, etc. need to be developed. Discrete-time models are very suitable in many situations and a feature that makes the analysis of discrete time systems technically more involved than its continuous time counterparts. In this paper we consider a discrete-time queueing system were failures in the server can occur as-well as priority messages. The possibility of failures of the server with general life time distribution is considered. We carry out an extensive study of the system by computing generating functions for the steady-state distribution of the number of messages in the queue and in the system. We also obtain generating functions for the stationary distribution of the busy period and sojourn times of a message in the server and in the system. Performance measures of the system are also provided.

Smart and sustainable public transport systems through improving level and quality of service

Buses are considered a slow, low comfort and low reliability transport system, thus its negative and por image. In the framework of the 3iBS project (2012), several examples of innovative and/or effective solutions regarding the Level of Service (LoS) were analysed aiming to provide operators, practitioners and policy makers with a set of Good Practice Guidelines to strengthen the competitiveness of the bus in the urban environment. The identification of the key indicators regarding vehicles, infrastructure and operation was possible through the analysis of a set of case studies -among which Barcelona (Spain), Cagliari (Italy), London (United Kingdom), Paris and Nantes (France). A cross comparison between the case studies was carried out for contrasting the level of achievement of the different criteria considered. The information provided on Regulatory, Financial and Technical issues allows the identification of a number of specific factors influencing the implementation of a high quality transport scheme, and set the basis for the elaboration of a set of Guidelines for the implementation of an intelligent, innovative and integrated bus system, including the main barriers to be tackled.

A Ride-Sharing System with High Capacity Vehicles and Flexible Meeting Points

In many major cities, fixed route transit systems such as bus and rail serve millions of trips per day. These systems have people collect at common locations (the station or stop), and board at common times (for example according to a predetermined schedule or headway). By using common service locations and times, these modes can consolidate many trips that have similar origins and destinations or overlapping routes. However, the routes are not sensitive to changing travel patterns, and have no way of identifying which trips are going unserved, or are poorly served, by the existing routes. On the opposite end of the spectrum, personal modes of transportation, such as a private vehicle or taxi, offer service to and from the exact origin and destination of a rider, at close to exactly the time they desire to travel. Despite the apparent increased convenience to users, the presence of a large number of small vehicles results in a disorganized, and potentially congested road network during high demand periods. The focus of the research presented in this paper is to develop a system that possesses both the on-demand nature of a personal mode, with the efficiency of shared modes. In this system, users submit their request for travel, but are asked to make small compromises in their origin and destination location by walking to a nearby meeting point, as well as slightly modifying their time of travel, in order to accommodate other passengers. Because the origin and destination location of the request can be adjusted, this is a more general case of the Dial-a-Ride problem with time windows. The solution methodology uses a graph clustering algorithm coupled with a greedy insertion technique. A case study is presented using actual requests for taxi trips in Washington DC, and shows a significant decrease in the number of vehicles required to serve the demand.

Morbidity and temporary cycles for the outpatient service at Universidad Estatal a Distancia in Costa Rica

No data has apparently been published on morbidity and outpatient service of faculty and staff of a distance university.  This report presents such data from the Universidad Estatal a Distancia (Costa Rican State University for Distance Education). The participants in this study were the employees who were outpatients between January 15, 2004 and December 15, 2006.  Instead of using a sample, the entire population was studied with a total of 1,526 medical records. Procedure: During the first stage all of the medical records were read and the morbidity data was tabulated.  Subsequently, this information was statistically analyzed using Statgraphics Centurion XV. The main findings were that 50% of the patients used the outpatient service only once during the study period and that most of them were between 20 and 50 years of age.  The days with the most consultations were Mondays, Tuesdays, and Wednesdays.  The number of consultations was relatively stable throughout the year, with a slight increase in June. The three main causes for visiting the service were: upper respiratory tract diseases, muscular-skeletal disorders, and irritated digestive system problems. Main conclusions: Most of the consultations were from the departments with the more faculty and staff members; however, some departments had extremely high or low consultation rates per capita, maybe due to factors such as pathologies that require periodic control, geographical proximity, and psycho-social issues of patients who create a vicious circle due to the somatization of such problems.  The hypothesis that this population’s morbidity rate would differ from the national average because of its high educational level was rejected.  Nevertheless, the hypothesis that there are weekly and yearly cycles was maintained.

Quality improvement within nonprofit social service providers

As a relatively new phenomenon in 2009, Swedish nonprofit social service providers proposed quality improvement as a way to reduce mistakes, use resources more effectively and meet the needs and expectations of clients in a better way. Although similar experiences have been studied in health care, the transfer of quality improvement to nonprofit social services gives a possibility for more knowledge on what enables, and constrains, systematic quality improvement in this specific context. This thesis is based on five years of supporting quality improvement in the Swedish nonprofit welfare sector. Specifically, it builds knowledge on which active mechanisms and enabling or constraining structures exist for nonprofit social service quality improvement. By studying quality improvement projects that have been conducted in the development program Forum for Values, critical cases and broad overviews are found valuable. These cases have resulted in four papers on quality improvement in nonprofit social services. The papers include: critical cases from a nursing home for elderly and a daycare for disabled children (Paper I); a critical case from a sheltered housing (Paper II); an overview of performance measurements in 127 quality improvement projects (Paper III); and an analytical model of how improvement policy and practice are bridged by intermediaries (Paper IV). In this thesis, enabled or constrained events and activities related to Deming's system of profound knowledge are identified from the papers and elaborated upon. As a basis for transforming practice into continuous improvement, profound knowledge includes the four knowledge domains: appreciation of a system, theory of knowledge, understanding of variation and psychology of change. From a realist perspective, the identified events are seen as enabled or constrained by mechanisms and underlying regularities, or structures, in the context of nonprofit social services. The emerging mechanisms found in this thesis are: describing and reflecting upon project relations; forming and testing a theory of action; collecting and displaying measurable results over time; and engaging and participating in a development program. The structures that enable these mechanisms are: connecting projects to shared values such as client needs; local ownership of what should be measured; and translating quality improvement into a single practice. Constraining structures identified are: a lack of generalizable scientific knowledge and inappropriate or missing infrastructure for measurements. Reflecting upon the emergent structures of nonprofit social services, the role of political macro structures, reflective practice, competence in statistical methods and areas of expertise becomes important. From this discussion and the findings some hypotheses for future work can be formulated. First, the identified mechanisms and structures form a framework that helps explain why intended actions of quality improvement occur or not. This frameworkcan be part of formulating a program theory of quality improvement in nonprofit social services. With this theory, quality improvement can be evaluated, reflected upon and further developed in future interventions. Second,new quality improvement interventions can be reproduced more regularly by active work with known enablers and constraints from this program theory. This means that long-lasting interventions can be performed and studied in a second generation of improvement efforts. Third, if organizations integrate quality improvement as a part of their everyday practice they also develop context-specific knowledge about their services. This context-specific knowledge can be adopted and further developed through dedicated management and understanding of variation. Thus, if enabling structures are invoked and constraining structures handled, systematic quality improvement could be one way to integrate generalizable scientific knowledge as part of an evidence-creating practice.

Unlocking the Potential of Women in the Rural Development Process of Republic of Srpska: The Role of Extension Service

In Bosnia Herzegovina the development of clear policy objectives and endorsement of a long-term, coherent and mutual agricultural and rural development policy have also been affected by structural problems: a lack of reliable information on population and other relevant issues, the absence of an adequate land registry system and cadastre. Moreover in BiH the agricultural and rural sectors are characterized by many factors that have typically affected transition countries such as land fragmentation, lack of agricultural mechanization and outdated production technologies, and rural aging, high unemployment and out-migration. In such a framework the condition and role of women in rural areas suffered for the lack of gender disaggregated data and a consequent poor information that lead to the exclusion of gender related questions in the agenda of public institutions and to the absence of targeted policy interventions. The aim of the research is to investigate the role and condition of women in the rural development process of Republic of Srpska and to analyze the capacity of extension services to stimulate their empowerment. Specific research questions include the status of women in the rural areas of Republic of Srpska, the role of government in fostering the empowerment of rural women, and the role of the extension service in supporting rural women. The methodology - inspired by the case study method developed by R. Yin - is designed along the three specific research questions that are used as building blocks. Each of the three research questions is investigated with a combination of methodological tools - including surveys, experts interviews and focus groups - aimed to overcome the lack of data and knowledge that characterize the research objectives.

Interoperability Challenges in Internet of Things Systems: a Service-Oriented Computing Approach

Internet of Things systems are pervasive systems evolved from cyber-physical to large-scale systems. Due to the number of technologies involved, software development involves several integration challenges. Among them, the ones preventing proper integration are those related to the system heterogeneity, and thus addressing interoperability issues. From a software engineering perspective, developers mostly experience the lack of interoperability in the two phases of software development: programming and deployment. On the one hand, modern software tends to be distributed in several components, each adopting its most-appropriate technology stack, pushing programmers to code in a protocol- and data-agnostic way. On the other hand, each software component should run in the most appropriate execution environment and, as a result, system architects strive to automate the deployment in distributed infrastructures. This dissertation aims to improve the development process by introducing proper tools to handle certain aspects of the system heterogeneity. Our effort focuses on three of these aspects and, for each one of those, we propose a tool addressing the underlying challenge. The first tool aims to handle heterogeneity at the transport and application protocol level, the second to manage different data formats, while the third to obtain optimal deployment. To realize the tools, we adopted a linguistic approach, i.e.\ we provided specific linguistic abstractions that help developers to increase the expressive power of the programming language they use, writing better solutions in more straightforward ways. To validate the approach, we implemented use cases to show that the tools can be used in practice and that they help to achieve the expected level of interoperability. In conclusion, to move a step towards the realization of an integrated Internet of Things ecosystem, we target programmers and architects and propose them to use the presented tools to ease the software development process.

Mars delivery service - development of the electro-mechanical systems of the Sample Fetch Rover for the Mars Sample Return Campaign

This thesis describes the development of the Sample Fetch Rover (SFR), studied for Mars Sample Return (MSR), an international campaign carried out in cooperation between the National Aeronautics and Space Administration (NASA) and the European Space Agency (ESA). The focus of this document is the design of the electro-mechanical systems of the rover. After placing this work into the general context of robotic planetary exploration and summarising the state of the art for what concerns Mars rovers, the architecture of the Mars Sample Return Campaign is presented. A complete overview of the current SFR architecture is provided, touching upon all the main subsystems of the spacecraft. For each area, it is discussed what are the design drivers, the chosen solutions and whether they use heritage technology (in particular from the ExoMars Rover) or new developments. This research focuses on two topics of particular interest, due to their relevance for the mission and the novelty of their design: locomotion and sample acquisition, which are discussed in depth. The early SFR locomotion concepts are summarised, covering the initial trade-offs and discarded designs for higher traverse performance. Once a consolidated architecture was reached, the locomotion subsystem was developed further, defining the details of the suspension, actuators, deployment mechanisms and wheels. This technology is presented here in detail, including some key analysis and test results that support the design and demonstrate how it responds to the mission requirements. Another major electro-mechanical system developed as part of this work is the one dedicated to sample tube acquisition. The concept of operations of this machinery was defined to be robust against the unknown conditions that characterise the mission. The design process led to a highly automated robotic system which is described here in its main components: vision system, robotic arm and tube storage.

An architecture for network acceleration as a service in the cloud continuum

The pervasive availability of connected devices in any industrial and societal sector is pushing for an evolution of the well-established cloud computing model. The emerging paradigm of the cloud continuum embraces this decentralization trend and envisions virtualized computing resources physically located between traditional datacenters and data sources. By totally or partially executing closer to the network edge, applications can have quicker reactions to events, thus enabling advanced forms of automation and intelligence. However, these applications also induce new data-intensive workloads with low-latency constraints that require the adoption of specialized resources, such as high-performance communication options (e.g., RDMA, DPDK, XDP, etc.). Unfortunately, cloud providers still struggle to integrate these options into their infrastructures. That risks undermining the principle of generality that underlies the cloud computing scale economy by forcing developers to tailor their code to low-level APIs, non-standard programming models, and static execution environments. This thesis proposes a novel system architecture to empower cloud platforms across the whole cloud continuum with Network Acceleration as a Service (NAaaS). To provide commodity yet efficient access to acceleration, this architecture defines a layer of agnostic high-performance I/O APIs, exposed to applications and clearly separated from the heterogeneous protocols, interfaces, and hardware devices that implement it. A novel system component embodies this decoupling by offering a set of agnostic OS features to applications: memory management for zero-copy transfers, asynchronous I/O processing, and efficient packet scheduling. This thesis also explores the design space of the possible implementations of this architecture by proposing two reference middleware systems and by adopting them to support interactive use cases in the cloud continuum: a serverless platform and an Industry 4.0 scenario. A detailed discussion and a thorough performance evaluation demonstrate that the proposed architecture is suitable to enable the easy-to-use, flexible integration of modern network acceleration into next-generation cloud platforms.