More Web Proxy on the site http://driver.im/

research-article

Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary

Authors:

Anirban Bhattacharyya,

John S. FitzgeraldAuthors Info & Claims

SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

Pages 67 - 72

https://doi.org/10.1145/1479772.1479785

Published: 17 November 2008 Publication History

Abstract

This paper presents the first step towards a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. The first version of our formalism (CCS^dp) is focused on dynamic process reconfiguration. That is, process creation, deletion and replacement at run-time. We illustrate the process through which CCS^dp is being developed using a series of trials in modelling a highly simplified sensor array, in order to determine the simplest construct necessary for modelling process reconfiguration. We define the syntax and operational semantics of CCS^dp, and identify a bisimulation for further investigation.

References

[1]

J. P. A. Almeida, M. Wegdam, M. van Sinderen, and L. Nieuwenhuis. Transparent dynamic reconfiguration for CORBA. In Proceedings of the 3rd International Symposium on Distributed Objects and Applications, pages 197--207. IEEE Computer Society, 2001.

Digital Library

[2]

D. Ancona, S. Fagorzi, and E. Zucca. A calculus for dynamic reconfiguration with low priority linking. Electronic Notes in Theoretical Computer Science, 138(2):3--35, 2005.

Digital Library

[3]

G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217--248, 1992.

Digital Library

[4]

T. Bloom and M. Day. Reconfiguration and module replacement in argus: theory and practice. Software Engineering Journal (Special Issue), 8(2):102--108, 1993.

[5]

J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger. A survey of self-management in dynamic software architecture specifications. In Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, pages 28--33, 2004.

Digital Library

[6]

E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 2002.

[7]

S. Fischmeister and K. Winkler. Non-blocking deterministic replacement of functionality, timing, and data-flow for hard real-time systems at runtime. In Proceedings of the 17th Euromicro Conference on Real-Time Systems, pages 106--114. IEEE Computer Society, 2005.

Digital Library

[8]

C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International (UK) Limited, 1985.

Digital Library

[9]

C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, 1990.

Digital Library

[10]

S. M. Kaplan, S. K. Goering, and R. H. Campbell. Specifying concurrent systems with Δ-grammars. In Proceedings of the 5th International Workshop on Software Specification and Design, pages 20--27. ACM, 1989.

Digital Library

[11]

S. M. Kaplan and G. E. Kaiser. Garp: Graph abstractions for concurrent programming. In Proceedings of the 2nd European Symposium on Programming, pages 191--205. Springer, 1988.

Digital Library

[12]

D. Kendall. Formal Modelling and Analysis of Broadcasting Embedded Control Systems. PhD thesis, University of Newcastle upon Tyne Department of Computing Science, 2001.

[13]

J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293--1306, 1990.

Digital Library

[14]

M. Mazzara. Towards Abstractions for Web Services Composition. PhD thesis, University of Bologna Department of Computer Science, 2006.

[15]

N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70--93, 2000.

Digital Library

[16]

R. Milner. Communication and Concurrency. Prentice Hall International (U.K.) Limited, 1989.

Digital Library

[17]

R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.

Digital Library

[18]

J. Montgomery. A model for updating real-time applications. Real-Time Systems, 27(2):169--189, 2004.

Digital Library

[19]

P. Oreizy. Issues in modeling and analyzing dynamic software architectures. In Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis, pages 54--57. ROSATEA, 1998.

[20]

G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus Computer Science Department, 1981.

[21]

J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International (U.K.) Limited, 1989.

Digital Library

[22]

D. B. Stewart, R. A. Volpe, and P. K. Khosla. Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engineering, 23(12):759--776, 1997.

Digital Library

[23]

S. Vestal. Mode changes in a real-time architecture description language. In Proceedings of the 2nd International Workshop on Configurable Distributed Systems, pages 136--146. IEEE Computer Society, 1994.

Cited By

Mazzara MBhattacharyya A(2010)On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time SystemsProceedings of the 2010 Third International Conference on Dependability10.1109/DEPEND.2010.33(173-181)Online publication date: 18-Jul-2010
https://dl.acm.org/doi/10.1109/DEPEND.2010.33
Payne RGuelfi NMuccini HPelliccione PRomanovsky A(2008)RPLProceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems10.1145/1479772.1479786(73-78)Online publication date: 17-Nov-2008
https://dl.acm.org/doi/10.1145/1479772.1479786

Index Terms

Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary
1. Theory of computation
  1. Logic
  2. Semantics and reasoning
    1. Program reasoning

Recommendations

High Speed Dynamic Partial Reconfiguration for Real Time Multimedia Signal Processing
DSD '12: Proceedings of the 2012 15th Euromicro Conference on Digital System Design

The use of Field Programmable Gate Array (FPGA) based System on Chip (SoC) is a promising approach in Multimedia applications. In SoC, computationally intensive tasks are off-loaded to the hardware logic. A feature introduced with new FPGA devices, ...
Architecting dynamic reconfiguration in dependable systems
Architecting dependable systems IV

The need for dynamic reconfiguration is a complicating factor in the design of dependable systems, as it demands from software architects both rigour and planning. Although recent research has shown that systematic and integrated "specification-to-...
Development of a Run-Time Reconfiguration System with Low Reconfiguration Overhead

The concept of using a microcontroller coupled to re-programmable FPGAs is being used at the heart of Run-Time Reconfigurable (RTR) systems. This paper presents the development of an RTR system for DSP and telecommunication applications. It differs from ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

November 2008

133 pages

ISBN:9781605582757

DOI:10.1145/1479772

Program Chairs:
Nicolas Guelfi
University of Luxembourg, Luxembourg
,
Henry Muccini
University of L'Aquila, Italy
,
Patrizio Pelliccione
University of L'Aquila, Italy
,
Alexander Romanovsky
Newcastle University, UK

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 November 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SERENE '08

Sponsor:

SIGSOFT

SERENE '08: RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms

November 17 - 19, 2008

Newcastle upon Tyne, United Kingdom

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
128
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mazzara MBhattacharyya A(2010)On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time SystemsProceedings of the 2010 Third International Conference on Dependability10.1109/DEPEND.2010.33(173-181)Online publication date: 18-Jul-2010
https://dl.acm.org/doi/10.1109/DEPEND.2010.33
Payne RGuelfi NMuccini HPelliccione PRomanovsky A(2008)RPLProceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems10.1145/1479772.1479786(73-78)Online publication date: 17-Nov-2008
https://dl.acm.org/doi/10.1145/1479772.1479786

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents