Formalization of a software architecture for embedded systems: a process algebra for SPLICE

2003 ◽  
Author(s):  
P. Dechering ◽  
R. Groenboom ◽  
E. de Jong ◽  
J.T. Udding
Keyword(s):  
Embedded Systems ◽  
Software Architecture ◽  
Process Algebra

Hardware-software architecture for priority queue management in real-time and embedded systems

2014 ◽  
Vol 6 (4) ◽  
pp. 319 ◽  
Author(s):  
N.G. Chetan Kumar ◽  
Sudhanshu Vyas ◽  
Ron K. Cytron ◽  
Christopher D. Gill ◽  
Joseph Zambreno ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Software Architecture ◽  
Real Time ◽  
Priority Queue ◽  
Queue Management

scholarly journals Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

2008 ◽  
Vol 209 ◽  
pp. 21-53 ◽  
Author(s):  
J.C.M. Baeten ◽  
D.A. van Beek ◽  
P.J.L. Cuijpers ◽  
M.A. Reniers ◽  
J.E. Rooda ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Process Algebra ◽  
Hybrid Process ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document