Title
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.
Abstract
Modern automotive software components are often first developed by different suppliers and then integrated under limited resources by a manufacturer. The integration of software components under various resource configurations is prone to timing errors because the components are resources independently designed by the supplier and viewed by the manufacturer as black boxes during the integration st...
Year
DOI
Venue
2016
10.1109/TII.2016.2527624
IEEE Transactions on Industrial Informatics
Keywords
Field
DocType
Timing,Analytical models,Software,Algebra,Software architecture,Real-time systems,Ports (Computers)
Computer science,Software architecture description,Separation of concerns,Real-time computing,Static timing analysis,Resource-oriented architecture,Component-based software engineering,Software architecture,Automotive software,Process calculus
Journal
Volume
Issue
ISSN
12
2
1551-3203
Citations 
PageRank 
References 
0
0.34
20
Authors
4
Name
Order
Citations
PageRank
Jin Hyun Kim1376.75
Inhye Kang216917.91
Sungwon Kang340449.55
Abdeldjalil Boudjadar4466.32