9RO ,VV <HDU
,QWO -UQO RQ +XPDQ 0DFKLQH ,QWHUDFWLRQ
The novelty of this paper is the study of dynamic reconfiguration with semaphore ensuring the following points: (i) blocking connections without blocking involved components; (ii) safety and correctness of the proposed solution; (iii) independence of any specific language; (iv) verification of consistency (i.e. logical constraints);(v) suitable for largeÇŚscale applications.
References [1]
[2]
[3]
[4]
[5]
Roel Wuyts, Stephane Ducasse and Oscar Nierstrasz, â&#x20AC;&#x153;A dataÇŚcentric approach to composing embedded, realÇŚtime software componentsâ&#x20AC;?, The Journal of Systems and Software (74), pages 25ÇŚ34, 2005. Ed Brinksma and all, â&#x20AC;&#x153;ROADMAP: ComponentÇŚbased Design and Integration Platformsâ&#x20AC;?, http://www.artistÇŚembedded.org, 2003. L. Sha, R. Rajkumar and J.P. Lehoczky, â&#x20AC;&#x153;Priority Inheritence Protocols: An Approach to RealÇŚTime Synchronizationâ&#x20AC;?, IEEE Trans. on Computers. Vol. 39(9) (pp. 1175ÇŚ1185)}, 1990.
D ow nl oa de d
fro m
Merijn de Jonge, â&#x20AC;&#x153;Developing Product Lines with ThirdÇŚParty Componentsâ&#x20AC;?, Electronic Notes in Theoretical Computer Science, pages 63ÇŚ80, 2009. David B. Stewart, Richard A. Volpe and Pradeep K. Khosla, â&#x20AC;&#x153;Design of Dynamically Reconfigurable RealÇŚTime Software Using PortÇŚBased Objectsâ&#x20AC;?, IEEE Transactions on Software Engineering (23), pages 592ÇŚ600, 1997.
w w w .a sd fjo ur na ls .
co m
In the future work, we will be interested in the problem of allocation of realÇŚtime tasks to the devices of the execution environment and the assignment of these instances to the operating systems.
MRXUQDOV#DVGI UHV LQ
ZZZ DVGIMRXUQDOV FRP
3DJH RI