Concurrency Compliant Embedded System Modeling Methodology

Sifat Islam, Ravi Shankar, Ankur Agarwal, Andrew Katan, Cyril-Daniel Iskander
2008 2008 2nd Annual IEEE Systems Conference  
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
more » ... his 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).
doi:10.1109/systems.2008.4519019 fatcat:56zfqtpt4fdlney4mqlag7k2dy