High Assurance Run-Time Monitoring Architecture for Autonomous Control

2021 ◽  
Author(s):  
Yi Chou ◽  
Aditya Zutshi ◽  
Matthew Clark
Keyword(s):  
Autonomous Control ◽  
High Assurance ◽  
Run Time ◽  
Monitoring Architecture

A Method for Simultaneously Satisfying Important Constraints and Dependencies for Many Different Types of Processes in Embedded Real-Time Systems

2011 ◽  
Author(s):  
Jia Xu
Keyword(s):  
Real Time ◽  
Computation Time ◽  
Real Time Systems ◽  
Worst Case ◽  
Release Times ◽  
Different Types ◽  
High Assurance ◽  
Run Time ◽  
Soft Deadline ◽  
Time Systems

In most embedded, real-time applications, processes need to satisfy various important constraints and dependencies, such as release times, offsets, precedence relations, and exclusion relations. Embedded, real-time systems with high assurance requirements often must execute many different types of processes with such constraints and dependencies. Some of the processes may be periodic and some of them may be asynchronous. Some of the processes may have hard deadlines and some of them may have soft deadlines. For some of the processes, especially the hard real-time processes, complete knowledge about their characteristics can and must be acquired before run-time. For other processes, prior knowledge of their worst case computation time and their data requirements may not be available. It is important for many embedded real-time systems to be able to simultaneously satisfy as many important constraints and dependencies as possible for as many different types of processes as possible. In this paper, we discuss what types of important constraints and dependencies can be satisfied among what types of processes. We also present a method which guarantees that, for every process, no matter whether it is periodic or asynchronous, and no matter whether it has a hard deadline or a soft deadline, as long as the characteristics of that process are known before run-time, then that process will be guaranteed to be completed before predetermined time limits, while simultaneously satisfying many important constraints and dependencies with other processes.

Compiler-Aided Run-Time Performance Speed-Up in Super-Scalar Processor

10.28945/3391 ◽  
2009 ◽  
Author(s):  
Moshe Pelleh
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
General Purpose ◽  
Experimental Results ◽  
Medium Size ◽  
Organic System ◽  
Software Application ◽  
Organic Systems ◽  
Special Cases ◽  
Run Time

In our world, where most systems become embedded systems, the approach of designing embedded systems is still frequently similar to the approach of designing organic systems (or not embedded systems). An organic system, like a personal computer or a work station, must be able to run any task submitted to it at any time (with certain constrains depending on the machine). Consequently, it must have a sophisticated general purpose Operating System (OS) to schedule, dispatch, maintain and monitor the tasks and assist them in special cases (particularly communication and synchronization between them and with external devices). These OSs require an overhead on the memory, on the cache and on the run time. Moreover, generally they are task oriented rather than machine oriented; therefore the processor's throughput is penalized. On the other hand, an embedded system, like an Anti-lock Braking System (ABS), executes always the same software application. Frequently it is a small or medium size system, or made up of several such systems. Many small or medium size embedded systems, with limited number of tasks, can be scheduled by our proposed hardware architecture, based on the Motorola 500MHz MPC7410 processor, enhancing its throughput and avoiding the software OS overhead, complexity, maintenance and price. Encouraged by our experimental results, we shall develop a compiler to assist our method. In the meantime we will present here our proposal and the experimental results.

Development of an unmanned tractor chassis for precision farming

2020 ◽  
pp. 47-53
Author(s):  
YU.V. Galyishev ◽  
R.Yu. Dobretsov ◽  
G.P. Porshnev ◽  
E.G. Saharova ◽  
D.V. Uvakina ◽  
...  
Keyword(s):  
Precision Farming ◽  
Autonomous Control ◽  
Kinematic Scheme ◽  
Local Complex ◽  
Friction Clutch

The development of the chassis of an unmanned tractor for a local complex of precision fanning is considered. The design is based on the kinematic scheme of the shaft gearbox, which implements a large number of modes and the principle of two-line transmission. A feature of this scheme is the presence of parallel load shafts. Keywords: wheeled tractor, autonomous control, two-line transmission, slipping, disc friction clutch. [email protected]

Statically Detect and Run-Time Check Integer-Based Vulnerabilities with Information Flow

2014 ◽  
Vol 24 (12) ◽  
pp. 2767-2781
Author(s):  
Hao SUN ◽  
Hui-Peng LI ◽  
Qing-Kai ZENG
Keyword(s):  
Information Flow ◽  
Run Time

Security Engineering for High Assurance, Policy-Based Applications

2002 ◽  
Author(s):  
David Rosenthal ◽  
Francis Fung ◽  
Stephen Garland ◽  
Andrew Myers ◽  
David Evans
Keyword(s):  
Security Engineering ◽  
High Assurance
Sign in / Sign up

Export Citation Format

Share Document