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 Park | 1 | 14 | 6.03 |
Insup Lee | 2 | 22 | 6.11 |
Oleg Sokolsky | 3 | 166 | 10.27 |
Dae-Yon Hwang | 4 | 6 | 1.17 |
So Jin Ahn | 5 | 2 | 0.36 |
Jin Young Choi | 6 | 768 | 99.57 |
Inhye Kang | 7 | 169 | 17.91 |