Concurrency Compliant Embedded System Modeling Methodology

To meet time-to-market demands, it is crucial that improvement be made to the system design efficiency. By utilizing a reusable design methodology, it is possible to meet project management requirements. Component integrations may often fail due to concurrency concerns. These concurrency problems mainly occur when components access share resources simultaneously and communicate with each other. If these problems are not addressed then a system could lead to sporadic and disastrous failures. In this paper, we propose a methodology for developing concurrency compliant components from a requirements document. We have applied this methodology to develop process management and memory management aspects of a Real Time Operating System (RTOS).

[1]  Davide Sangiorgi,et al.  Expressing mobility in process algebras : first-order and higher-order paradigms , 1993 .

[2]  Altamiro Amadeu Susin,et al.  Abstract RTOS modeling for embedded systems , 2004, Proceedings. 15th IEEE International Workshop on Rapid System Prototyping, 2004..

[3]  G. H. Hilderink,et al.  Graphical modelling language for specifying concurrency based on CSP , 2003, IEE Proc. Softw..

[4]  Alberto L. Sangiovanni-Vincentelli,et al.  Overcoming heterophobia: modeling concurrency in heterogeneous systems , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

[5]  Andrew B. Kahng,et al.  A power-constrained MPU roadmap for the International Technology Roadmap for Semiconductors (ITRS) , 2009, 2009 International SoC Design Conference (ISOCC).

[6]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[7]  George J. Vachtsevanos,et al.  Rapid prototyping of transition management code for reconfigurable control systems , 2002, Proceedings 13th IEEE International Workshop on Rapid System Prototyping.

[8]  Stanislaw Chrobot.  Modelling communication in distributed systems , 2002, Proceedings. International Conference on Parallel Computing in Electrical Engineering.

[9]  Frank Pfenning,et al.  A symmetric modal lambda calculus for distributed computing , 2004, LICS 2004.

[10]  Pablo de la Fuente,et al.  A Formal Model of Concurrency for Distributed Object-Oriented Systems , 1997, APSEC.

[11]  David R. Butenhof.  Programming with POSIX threads , 1993 .

[12]  Frank Pfenning,et al.  A symmetric modal lambda calculus for distributed computing , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

[13]  Edward A. Lee,et al.  Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..