Title
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.
Abstract
Real-time embedded systems have increased in complexity. As microprocessors become more powerful, the software complexity of real-time embedded systems has increased steadily. The requirements for increased functionality and adaptability make the development of real-time embedded software complex and error-prone. Component-based design has been widely accepted as a compositional approach to facilitate the design of complex systems. It provides a means for decomposing a complex system into simpler subsystems and composing the subsystems in a hierarchical manner. A system composed of real-time subsystems with hierarchy is called a hierarchical real-time system.
Year
DOI
Venue
2017
10.1016/j.jlamp.2017.07.001
Journal of Logical and Algebraic Methods in Programming
Keywords
Field
DocType
ACSR,Process algebra,Real-time embedded systems,Hierarchical Scheduling
Adaptability,Complex system,Embedded software,Computer science,Deadlock,Theoretical computer science,Real-time computing,Algebraic theory,Programming complexity,Hierarchy,Distributed computing
Journal
Volume
Issue
ISSN
92
1
2352-2208
Citations 
PageRank 
References 
2
0.36
22
Authors
7
Name
Order
Citations
PageRank
Junkil Park1146.03
Insup Lee2226.11
Oleg Sokolsky316610.27
Dae-Yon Hwang461.17
So Jin Ahn520.36
Jin Young Choi676899.57
Inhye Kang716917.91