scholarly journals Formal Certification and Compliance for Run-Time Service Environments

2012 ◽  
Author(s):  
Howard Foster ◽  
George Spanoudakis ◽  
Khaled Mahbub
Keyword(s):  
Time Service ◽  
Run Time ◽  
Service Environments

A MDP-Based Adaptive Decision-Making Method: Dealing with Run-Time Service Uncertainties

2014 ◽  
Vol 36 (2) ◽  
pp. 297-309
Author(s):  
Zhong-Jie WANG ◽  
Wei ZHENG ◽  
Xiao-Fei XU ◽  
Dian-Hui CHU
Keyword(s):  
Decision Making ◽  
Time Service ◽  
Run Time ◽  
Adaptive Decision Making

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.

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
Sign in / Sign up

Export Citation Format

Share Document