scholarly journals Timed Automaton-Based Quantitative Feasibility Analysis of Symmetric Cipher in Embedded RTOS: A Case Study of AES

2022 ◽  
Vol 2022 ◽  
pp. 1-16
Author(s):  
Yawen Ke ◽  
Xiaofeng Xia

The real-time operating system (RTOS) has a wide range of application domains and provides devices with the ability to schedule resources. Because of the restricted resources of embedded devices and the real-time constraints of RTOS, the application of cryptographic algorithms in these devices will affect the running systems. The existing approaches for RTOS ciphers’ evaluation are mainly provided by experimental data performance analysis, which, however, lack a clear judgment on the affected RTOS performance indicators, such as task schedulability, bandwidth, as well as a quantitative prediction of the remaining resources of RTOS. By focusing on task schedulability in RTOS, this paper provides a timed automaton-based quantitative approach to judge the feasibility of ciphers in embedded RTOS. First, a cryptographic algorithm execution overhead estimation model is established. Then, by combining the overhead model with a sensitivity analysis method, we can analyze the feasibility of the cryptographic algorithm. Finally, a task-oriented and timed automaton-based model is built to verify the analysis results. We take AES as a case study and carry out experiments on embedded devices. The experimental results show the effectiveness of our approach, which will provide specific feasibility indicators for the application of cryptographic algorithms in RTOS.

2021 ◽  
pp. 101-107
Author(s):  
Mohammad Alshehri ◽  

Presently, a precise localization and tracking process becomes significant to enable smartphone-assisted navigation to maximize accuracy in the real-time environment. Fingerprint-based localization is the commonly available model for accomplishing effective outcomes. With this motivation, this study focuses on designing efficient smartphone-assisted indoor localization and tracking models using the glowworm swarm optimization (ILT-GSO) algorithm. The ILT-GSO algorithm involves creating a GSO algorithm based on the light-emissive characteristics of glowworms to determine the location. In addition, the Kalman filter is applied to mitigate the estimation process and update the initial position of the glowworms. A wide range of experiments was carried out, and the results are investigated in terms of distinct evaluation metrics. The simulation outcome demonstrated considerable enhancement in the real-time environment and reduced the computational complexity. The ILT-GSO algorithm has resulted in an increased localization performance with minimal error over the recent techniques.


2019 ◽  
Vol 8 (3) ◽  
Author(s):  
James Theroux ◽  
Cari Carpenter ◽  
Clare Kilbane

A new type of case study, called the real-time case (RTC), was produced in the fall of 2001 and distributed via the Internet to business classes at four universities in the US and Canada. The real-time case presented the story of one company's growth and development throughout a 14-week semester. A case writer stationed full-time at the subject company published case installments weekly on the Web, allowing students to view the company-building process as it happened. The 14-week coverage of RTC enabled students to study the subject company in unprecedented depth and detail. RTC's real-time interactivity allowed students to share their analyses and best thinking with the company leadership during the company’s decision-making process.A major objective in producing the case was to heighten student engagement with the case material. To evaluate whether this objective was achieved, a survey and a focus group discussion were conducted with one of the participating MBA classes. Results from the survey and the focus group showed a high degree of engagement, plus many other benefits from the new type of case study.


Author(s):  
Xiao Liang ◽  
Gonçalo Homem de Almeida Correia ◽  
Bart van Arem

This paper proposes a method of assigning trips to automated taxis (ATs) and designing the routes of those vehicles in an urban road network, and also considering the traffic congestion caused by this dynamic responsive service. The system is envisioned to provide a seamless door-to-door service within a city area for all passenger origins and destinations. An integer programming model is proposed to define the routing of the vehicles according to a profit maximization function, depending on the dynamic travel times, which varies with the ATs’ flow. This will be especially important when the number of automated vehicles (AVs) circulating on the roads is high enough that their routing will cause delays. This system should be able to serve not only the reserved travel requests, but also some real-time requests. A rolling horizon scheme is used to divide one day into several periods in which both the real-time and the booked demand will be considered together. The model was applied to the real size case study city of Delft, the Netherlands. The results allow assessing of the impact of the ATs movements on traffic congestion and the profitability of the system. From this case-study, it is possible to conclude that taking into account the effect of the vehicle flows on travel time leads to changes in the system profit, the satisfied percentage and the driving distance of the vehicles, which highlights the importance of this type of model in the assessment of the operational effects of ATs in the future.


2011 ◽  
Vol 56 (No. 1) ◽  
pp. 55-57
Author(s):  
A. Domoslawska ◽  
A. Jurczak ◽  
T. Janowski

This case study describes the pregnancy of a German Shepherd bitch with a singleton (one puppy) litter as a result of early embryo resorption. Resorption was confirmed by ultrasonography and the pregnancy was regularly monitored by USG and measurements of progesterone levels until parturition. These levels stayed within the physiological range. One healthy puppy was delivered within the timeframe of a physiological pregnancy although the inner chorionic cavity diameter (ICCD) protocol used for predicting the time of parturition showed divergence from the real time of whelping.


2009 ◽  
Vol 58 (8) ◽  
pp. 1037-1044 ◽  
Author(s):  
Nobutoshi Soeta ◽  
Masanori Terashima ◽  
Mitsukazu Gotoh ◽  
Shuichi Mori ◽  
Kyoko Nishiyama ◽  
...  

To develop a rapid and quantitative diagnostic technique for the detection and identification of a wide range of fungi, an improved molecular method based on real-time PCR and the analysis of its products that targets the internal transcribed spacer (ITS) 2 region was established. The real-time PCR could quantitatively and specifically detect the ITS2 region from all 24 tested pathogenic fungal species at between 101 and 107 copies per test without amplification of bacterial or human DNA. The sequences of the primer-binding sites are conserved in the registered sequences of 34 other pathogenic fungal species, suggesting that the PCR would also detect these species. The hyperpolymorphic nature of the ITS2 region between fungal species in terms of length and nucleotide sequence provided valuable information for the determination of species. By labelling the 5′ end of the reverse primer with NED fluorescent dye, the fragment lengths of the real-time PCR products and their 3′-terminal fragments, derived using restriction enzyme ScrFI digestion, were easily evaluated by capillary electrophoresis. Using this analysis, the number and species of fungi present in samples could be estimated. Moreover, sequence analysis of the real-time PCR products could accurately determine species in samples containing a single species. This diagnostic technique can estimate a wide range of fungi from various clinical samples within 1 day and accurately identify them in 2 days. Quantitative results for fungal titre in samples can also provide useful information for understanding the progression of disease and the efficacy of antifungal chemotherapy.


2012 ◽  
Vol 253-255 ◽  
pp. 1365-1368
Author(s):  
Ge Qi Qi ◽  
Jian Ping Wu ◽  
Yi Man Du

With the rapid development of the society, the transportation system has become more complicated and vulnerable. For simulating the real-time traffic condition of the whole city, a wide range of OD matrix data are needed which are hard to collect in whole based on the present conventional methods. The paper raises a feasible design of the traffic simulation platform based on the real-time mobile phone data. The popularity and development of mobile phones make the vast amounts of real-time traffic data can be collected and usable. With the help of the GIS module, dynamic OD traffic generation module and other related modules, the real-time mobile phone data will be converted to the valuable traffic data and applied to the traffic simulation platform.


Complexity ◽  
2021 ◽  
Vol 2021 ◽  
pp. 1-11
Author(s):  
Liaoyan Zhang

Streaming media server is the core system of audio and video application in the Internet; it has a wide range of applications in music recommendation. As song libraries and users of music websites and APPs continue to increase, user interaction data are generated at an increasingly fast rate, making the shortcomings of the original offline recommendation system and the advantages of the real-time streaming recommendation system more and more obvious. This paper describes in detail the working methods and contents of each stage of the real-time streaming music recommendation system, including requirement analysis, overall design, implementation of each module of the system, and system testing and analysis, from a practical scenario. Moreover, this paper analyzes the current research status and deficiencies in the field of music recommendation by analyzing the user interaction data of real music websites. From the actual requirements of the system, the functional and performance goals of the system are proposed to address these deficiencies, and then the functional structure, general architecture, and database model of the system are designed, and how to interact with the server side and the client side is investigated. For the implementation of data collection and statistics module, this paper adopts Flume and Kafka to collect user behavior data and uses Spark Streaming and Redis to count music popularity trends and support efficient query. The recommendation engine module in this paper is designed and optimized using Spark to implement incremental matrix decomposition on data streams, online collaborative topic model, and improved item-based collaborative filtering algorithm. In the system testing section, the functionality and performance of the system are tested, and the recommendation engine is tested with real datasets to show the discovered music themes and analyze the test results in detail.


2019 ◽  
Vol 8 (3) ◽  
pp. 114 ◽  
Author(s):  
Zeqiang Chen ◽  
Nengcheng Chen

The timely sharing and interoperation of multi-source cross-sectoral information is an important issue for a Geographic Information System (GIS). To study this issue, a real-time and open GIS model called GeoSensor is proposed in this work. GeoSensor integrates the real-time GIS model, real-time computation framework, and Open Geospatial Consortium services. This paper illustrates the system architecture and the implementation methods of the GeoSensor. One of the methods developed is the conceptual mapping of a real-time GIS data model to open GIS models and services and a real-time computation framework. The other method developed is the integration of open GIS services, a real-time computation framework, and hybrid databases. The GeoSensor was tested in a case study of building a smart river. In the case study, a comprehensive sensor web was constructed and integrated with the real-time information on rainfall, beacon, channel, sediment, and water levels derived from space-based sensors, air-borne sensors, and underground sensors from multiple sectors in the Yangtze River basin. The GeoSensor manages the comprehensive sensor web with 32 types of sensors and more than 10 billion observation records. Three application systems were developed based on the GeoSensor to manage flood control, hydropower production, and navigation of the Yangtze River. The results of the three application systems show that the real-time and open system improves the management efficiency of the Yangtze River. This system is promising for managing smart rivers.


Sign in / Sign up

Export Citation Format

Share Document