NDLI: SRMP: a software pattern for deadlocks prevention inreal-time concurrency models

Please wait, while we are loading the content...

Trust or verify?

Automatic detection of performance anti-patterns in inter-component communications

Dealing with uncertainties in the performance modelling of software systems

Empirical resilience evaluation of an architecture-based self-adaptive software system

Efficient re-resolution of SMT specifications for evolving software architectures

An empirical investigation of modularity metrics for indicating architectural technical debt

Software QoS enhancement through self-adaptation and formal models

Architectural tactics support in cloud computing providers: the jelastic case

Experiences with modeling memory contention for multi-core industrial real-time systems

Architecture management and evaluation in mature products: experiences from a lightweight approach

Regression verification of AADL models through slicing of system dependence graphs

Formalizing correspondence rules for automotive architecture views

Designing and evolving distributed architecture using kevoree

Performance-based selection of software and hardware features under parameter uncertainty

Using architecture-level performance models as resource profiles for enterprise applications

Failure data collection for reliability prediction models: a survey

Evaluation of a static architectural conformance checking method in a line of computer games

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models

Content Provider	ACM Digital Library
Author	Mraidha, Chokri Mzid, Rania Abid, Mohamed Babau, Jean-Philippe
Abstract	Model-based approaches for the development of software intensive real-time embedded systems allow early verification of timing properties at the design phase. At this phase, the Real-Time Operating System (RTOS) may not be chosen, hence some assumptions on the software platform are made to achieve timing verifications such as schedulability analysis of tasks describing the application. Among these assumptions, the synchronization protocol which is used to manage the concurrent access to resources that are shared between tasks. A classical solution is to consider the Priority Ceiling Protocol (PCP) synchronization protocol to avoid deadlocks. However, when this protocol is not provided by the target RTOS on which the application will be deployed, the concurrency model becomes not implementable and a new synchronization protocol must be considered. In this paper, we propose the Shared Resource Merge Pattern (SRMP) which aims to prevent deadlocks when the use of PCP protocol is not allowed by the target RTOS. The application of this pattern on the concurrency model must guarantee that the timing properties of the real-time application are still met.
Starting Page	139
Ending Page	144
Page Count	6
File Format	PDF
ISBN	9781450325769
DOI	10.1145/2602576.2602591
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-06-27
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Deadlock Real-time embedded Real-time verification Mda Software pattern Systems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in