NDLI: Reusing dynamic communication protocols in self-adaptive embedded component architectures

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

MICOBS: multi-platform multi-model component based software development framework

Component-based specification of software architecture constraints

Automating information flow control in component-based distributed systems

Reusing dynamic communication protocols in self-adaptive embedded component architectures

Rectifying orphan components using group-failover in distributed real-time and embedded systems

Implications of modular systems on dynamic updating

Component deployment optimisation with bayesian learning

A component model that is both control-driven and data-driven

Refining extra-functional property values in hierarchical component models

Towards incremental component compatibility testing

A compositional method for reliability analysis of workflows affected by multiple failure modes

MPM: a modular package manager

Predictable deployment in component-based enterprise distributed real-time and embedded systems

A method for data-flow analysis of business components

Evolution management of extra-functional properties in component-based embedded systems

Towards verified synthesis of ProCom, a component model for real-time embedded systems

Towards architecture-level middleware-enabled exception handling of component-based systems

An empirical study into component system evolution

Software engineering of component-based systems-of-systems: a reference framework

Towards a generic quality optimisation framework for component-based system models

Software evolution in AOSD: a MDA-based approach

A component-based open-source framework for general-purpose recommender systems

Automatic relocation of AUTOSAR components among several ECUs

Reusing dynamic communication protocols in self-adaptive embedded component architectures

Content Provider	ACM Digital Library
Author	Heinzemann, Christian Henkler, Stefan
Abstract	Component based software engineering aims at re-using components in other systems. This requires a verification whether the component can safely interact with its communication partners in a new environment. Such verification is mandatory in case of safety-critical real-time systems where the communication is characterized by a varying number of components instances all being of the same type. Reuse can be facilitated by separating abstract communication protocol definitions and concrete component implementations. In contrast to standard refinement definitions for real-time systems, our definition explicitly takes varying numbers of communication partners into account. Additionally, we relax the strict conditions of a bisimulation to ease reuse of components. Along with our refinement definition, we provide a formal verification procedure to check for correct refinements which preserves properties verified for the abstract protocol definition. We evaluated our approach using a self-adaptive real-time system from the domain of autonomous train systems. The evaluation results show that checking for correct refinements is more efficient than re-verifying the desired properties on the refined component.
Starting Page	109
Ending Page	118
Page Count	10
File Format	PDF
ISBN	9781450307239
DOI	10.1145/2000229.2000246
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-06-20
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Safety-critical systems Refinement Dynamic structures Self-adaptive systems Verification
Content Type	Text
Resource Type	Article

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

A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems

Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems

Refinement Checking of Self-Adaptive Embedded Component Architectures

Using application communication characteristics to drive dynamic MPI reconfiguration

Mode-based reconfiguration of critical software component architectures

Dynamic power reduction in self-adaptive embedded systems through benchmark analysis

Enabling self-management of component-based high-performance scientific applications

Using Abstraction in Modular Verification of Synchronous Adaptive Systems (2006)

Criticality-driven QoS adaptive dynamic resource management for distributed and embedded safety & mission critical systems

Reusing dynamic communication protocols in self-adaptive embedded component architectures

Similar Documents

A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems

Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems

Refinement Checking of Self-Adaptive Embedded Component Architectures

Using application communication characteristics to drive dynamic MPI reconfiguration

Mode-based reconfiguration of critical software component architectures

Dynamic power reduction in self-adaptive embedded systems through benchmark analysis

Enabling self-management of component-based high-performance scientific applications

Using Abstraction in Modular Verification of Synchronous Adaptive Systems (2006)

Criticality-driven QoS adaptive dynamic resource management for distributed and embedded safety & mission critical systems

Reusing dynamic communication protocols in self-adaptive embedded component architectures