Static Analysis to Enforce Safe Value Flow in Embedded Control Systems

2006 ◽  
Author(s):  
S. Kowshik ◽  
G. Rosu ◽  
Lui Sha
Keyword(s):  
Control Systems ◽  
Static Analysis ◽  
Embedded Control ◽  
Embedded Control Systems ◽  
Value Flow

Hybrid Modeling and Verification of Embedded Control Systems

1997 ◽  
Vol 30 (4) ◽  
pp. 33-38
Author(s):  
Pieter J Mosterman ◽  
Gautam Biswas ◽  
Janos Sztipanovits
Keyword(s):  
Control Systems ◽  
Hybrid Modeling ◽  
Embedded Control ◽  
Embedded Control Systems

A real-time operating system supporting distributed shared memory for embedded control systems

2017 ◽  
Vol 22 (S1) ◽  
pp. 989-998
Author(s):  
Yuji Tamura ◽  
Truong Thi Doan ◽  
Takahiro Chiba ◽  
Myungryun Yoo ◽  
Takanori Yokoyama
Keyword(s):  
Operating System ◽  
Control Systems ◽  
Real Time ◽  
Shared Memory ◽  
Distributed Shared Memory ◽  
Embedded Control ◽  
Real Time Operating System ◽  
Embedded Control Systems

Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles

2014 ◽  
Author(s):  
Wanli Chang ◽  
Alma Probstl ◽  
Dip Goswami ◽  
Majid Zamani ◽  
Samarjit Chakraborty
Keyword(s):  
Control Systems ◽  
Electric Vehicles ◽  
Embedded Control ◽  
Embedded Control Systems

scholarly journals Java Simulations of Embedded Control Systems

Sensors ◽  
2010 ◽  
Vol 10 (9) ◽  
pp. 8585-8603 ◽  
Author(s):  
Gonzalo Farias ◽  
Anton Cervin ◽  
Karl-Erik Årzén ◽  
Sebastián Dormido ◽  
Francisco Esquembre
Keyword(s):  
Control Systems ◽  
Embedded Control ◽  
Embedded Control Systems
Sign in / Sign up

Export Citation Format

Share Document