TURTLE-P: a UML profile for the formal validation of critical and distributed systems

The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal validation toolkit. This paper introduces TURTLE-P, an extended profile no longer restricted to the abstract modeling of distributed systems. Indeed, TURTLE-P addresses the concrete descriptions of communication architectures, including quality of service parameters (delay, jitter, etc.). This new profile enables co-design of hardware and software components with extended UML component and deployment diagrams. Properties of these diagrams can be evaluated and/or validated thanks to the formal semantics given in RT-LOTOS. The application of TURTLE-P is illustrated with a telecommunication satellite system

Design and Analysis of RT-Ring: A Protocol for Supporting Real-Time Communications

Distributed applications with quality of service (QoS) requirements are more and more used in several areas (e.g., automated factory networks, embedded systems, conferencing systems). These applications produce a type of traffic with hard timing requirements, i.e., transmissions must be completed within specified deadlines. To handle these transmissions, the communication system must use real-time protocols to provide a communication service that is able to satisfy the QoS requirements of the distributed applications. In this paper, we propose a new real-time protocol, called RT-Ring, able to support transmissions of both real-time and generic traffic over a ring network. RT-Ring provides both network guarantees and high network resource utilization, while ensuring the compatibility with the emerging differentiated service architectures. Network guarantees are fully proved and high network utilization is highlighted by a comparative study with the FDDI protocol. This comparison shows that RT-Ring network capacities are greater than the corresponding FDDI capacities. In fact, by assuming the FDDI frames with a length equal to the RT-Ring slot size and by using the same traffic load we show that the capacities of FDDI are equal to the lower bound capacities of RT-Ring. Index Terms Real-time protocol, quality of service (QoS) traffic, worst case analysis

Parallel Sort-Based Matching for Data Distribution Management on Shared-Memory Multiprocessors

In this paper we consider the problem of identifying intersections between two sets of d-dimensional axis-parallel rectangles. This is a common problem that arises in many agent-based simulation studies, and is of central importance in the context of High Level Architecture (HLA), where it is at the core of the Data Distribution Management (DDM) service. Several realizations of the DDM service have been proposed; however, many of them are either inefficient or inherently sequential. These are serious limitations since multicore processors are now ubiquitous, and DDM algorithms -- being CPU-intensive -- could benefit from additional computing power. We propose a parallel version of the Sort-Based Matching algorithm for shared-memory multiprocessors. Sort-Based Matching is one of the most efficient serial algorithms for the DDM problem, but is quite difficult to parallelize due to data dependencies. We describe the algorithm and compute its asymptotic running time; we complete the analysis by assessing its performance and scalability through extensive experiments on two commodity multicore systems based on a dual socket Intel Xeon processor, and a single socket Intel Core i7 processor.Comment: Proceedings of the 21-th ACM/IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017). Best Paper Award @DS-RT 201

Best Effort MPI/RT as an Alternative to MPI: Design and Performance Comparison

The Real-Time Message Passing Interface (MPI/RT) is an emerging real-time communications middleware standard for distributed real-time applications. The Message Passing Interface (MPI) is the de facto standard for high performance parallel application development. In this thesis, we describe how MPI/RT with best effort quality of service can be used as an alternative for MPI. Mercury Computer Systems\u27 RACE embedded parallel computer is used as the platform for comparison of design and performance of these two standards. The main advantages MPI/RT has over MPI are its explicit support for communication channels and its emphasis on early binding. Design and implementation of best effort MPI/RT on Mercury is described and its performance is compared with MPI in order to illustrate how MPI/RT features allow implementations to exploit the underlying platform more optimally. The results for the benchmarks show that MPI/RT outperforms MPI in almost all cases examined

Toolsets Maintain Health of Complex Systems

First featured in Spinoff 2001, Qualtech Systems Inc. (QSI), of Wethersfield, Connecticut, adapted its Testability, Engineering, and Maintenance System (TEAMS) toolset under Small Business Innovation Research (SBIR) contracts from Ames Research Center to strengthen NASA's systems health management approach for its large, complex, and interconnected systems. Today, six NASA field centers utilize the TEAMS toolset, including TEAMS-Designer, TEAMS-RT, TEAMATE, and TEAMS-RDS. TEAMS is also being used on industrial systems that generate power, carry data, refine chemicals, perform medical functions, and produce semiconductor wafers. QSI finds TEAMS can lower costs by decreasing problems requiring service by 30 to 50 percent

Delay-Prioritized Scheduling (DPS) for real time traffic in 3GPP LTE system

Given that the co-existence of multimedia applications will be a norm in the future wireless systems, their quality of service (QoS) requirements need to be guaranteed. This has imposed new challenges in the design of packet scheduling algorithms in these systems. To address those challenges, a new packet scheduling algorithm for real time (RT) traffic in downlink third generation partnership project long term evolution (3GPP LTE) system is proposed in this paper. The proposed algorithm utilizes each user's packet delay information and its instantaneous downlink channel conditions when making scheduling decisions. Simulation results show that the proposed algorithm outperforms opportunistic scheduling and maximum-largest weighted delay first algorithms by maximizing system throughput and satisfying the QoS requirements of the RT traffic. ©2010 IEEE

n-Dimensional QoS Framework for Real-Time Service-Oriented Architectures

Service-Orientation has long provided an effective mechanism to integrate heterogeneous systems in a loosely coupled fashion as services. However, with the emergence of Internet of Things (IoT) there is a growing need to facilitate the integration of real-time services executing in non-controlled, non-real-time, environments such as the Cloud. With the need to integrate both cyberphysical systems as hardware-in-the-loop (HIL) components and also with Simulation as a Service (SIMaaS) the execution performance and response-times of the services must be managed. This paper presents a mathematical framework that captures the relationship between the host execution environment and service performance allowing the estimation of Quality of Service (QoS) under dynamic Cloud workloads. A formal mathematical definition is provided and this is evaluated against existing techniques from both the Cloud and Real-Time Service Oriented Architecture (RT-SOA) domains. The proposed approach is evaluated against the existing techniques through simulation and demonstrates a reduction of QoS violation percentage by 22% with respect to response-times as well as reducing the number of Micro-Service (uS) instances with QoS violations by 27%

Analisa Perbandingan Squid 2.7, Squid3, Dan Squid Lusca Sebagai Cache Proxy Server Pada Ubuntu Server

RT/RW Net Joho Baru is one of the internet service provider organizations. As one of the growing internet service provider RT/RW Net Joho Baru has to give the best and the quickest services to the customers. So that it need appropriate technology which is support to the best networks to give good services to the customers.  The Important factors are cost and speed factors which related to the material efficiency and time. This research is comparing about proxy server operating systems such as Squid 2.7, Squid3, and Squid Lusca, so that it can easier to find out the appropriate operating systems to build the best network. SDLC Method has several steps. The first step is the analysis of feasibility study which included software and hardware.  The second step is the analysis of needs which is planning relate to the system project. Then network planning design is going apply. Next, continuing design system to system testing. Based on these steps, the proxy server is successfully to shorten time management on accessing the website. The results of the efficiency acquisition are Squid 2.7 at  75,1%, Squid3 at 83,5%, and Squid Lusca at 86,9%