When the requirements for adaptation and high integrity meet

Radu Calinescu

doi:10.1145/2024436.2024438

When the requirements for adaptation and high integrity meet

Radu Calinescu^*

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Published conference output › Conference publication

Abstract

Two classes of software that are notoriously difficult to develop on their own are rapidly merging into one. This will affect every key service that we rely upon in modern society, yet a successful merge is unlikely to be achievable using software development techniques specific to either class. This paper explains the growing demand for software capable of both self-adaptation and high integrity, and advocates the use of a collection of "@runtime" techniques for its development, operation and management. We summarise early research into the development of such techniques, and discuss the remaining work required to overcome the great challenge of self-adaptive high-integrity software.

Original language	English
Title of host publication	ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems
Place of Publication	New York, NY (US)
Publisher	ACM
Pages	1-4
Number of pages	4
ISBN (Print)	978-1-4503-0853-3
DOIs	https://doi.org/10.1145/2024436.2024438
Publication status	Published - 4 Sep 2011
Event	8th Workshop on Assurances for Self-Adaptive Systems - Szeged, Hungary Duration: 4 Sep 2011 → 4 Sep 2011

Workshop

Workshop	8th Workshop on Assurances for Self-Adaptive Systems
Abbreviated title	ASAS'11
Country/Territory	Hungary
City	Szeged
Period	4/09/11 → 4/09/11

Keywords

high-integrity software
model checking
self-adaptive software

Access to Document

10.1145/2024436.2024438

Cite this

@inproceedings{18e53e52da034682a51c5a0d645cb090,

title = "When the requirements for adaptation and high integrity meet",

abstract = "Two classes of software that are notoriously difficult to develop on their own are rapidly merging into one. This will affect every key service that we rely upon in modern society, yet a successful merge is unlikely to be achievable using software development techniques specific to either class. This paper explains the growing demand for software capable of both self-adaptation and high integrity, and advocates the use of a collection of {"}@runtime{"} techniques for its development, operation and management. We summarise early research into the development of such techniques, and discuss the remaining work required to overcome the great challenge of self-adaptive high-integrity software.",

keywords = "high-integrity software, model checking, self-adaptive software",

author = "Radu Calinescu",

year = "2011",

month = sep,

day = "4",

doi = "10.1145/2024436.2024438",

language = "English",

isbn = "978-1-4503-0853-3",

pages = "1--4",

booktitle = "ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems",

publisher = "ACM",

address = "United States",

note = "8th Workshop on Assurances for Self-Adaptive Systems, ASAS'11 ; Conference date: 04-09-2011 Through 04-09-2011",

}

TY - GEN

T1 - When the requirements for adaptation and high integrity meet

AU - Calinescu, Radu

PY - 2011/9/4

Y1 - 2011/9/4

N2 - Two classes of software that are notoriously difficult to develop on their own are rapidly merging into one. This will affect every key service that we rely upon in modern society, yet a successful merge is unlikely to be achievable using software development techniques specific to either class. This paper explains the growing demand for software capable of both self-adaptation and high integrity, and advocates the use of a collection of "@runtime" techniques for its development, operation and management. We summarise early research into the development of such techniques, and discuss the remaining work required to overcome the great challenge of self-adaptive high-integrity software.

AB - Two classes of software that are notoriously difficult to develop on their own are rapidly merging into one. This will affect every key service that we rely upon in modern society, yet a successful merge is unlikely to be achievable using software development techniques specific to either class. This paper explains the growing demand for software capable of both self-adaptation and high integrity, and advocates the use of a collection of "@runtime" techniques for its development, operation and management. We summarise early research into the development of such techniques, and discuss the remaining work required to overcome the great challenge of self-adaptive high-integrity software.

KW - high-integrity software

KW - model checking

KW - self-adaptive software

UR - http://www.scopus.com/inward/record.url?scp=80053180862&partnerID=8YFLogxK

UR - http://dl.acm.org/citation.cfm?doid=2024436.2024438

U2 - 10.1145/2024436.2024438

DO - 10.1145/2024436.2024438

M3 - Conference publication

AN - SCOPUS:80053180862

SN - 978-1-4503-0853-3

SP - 1

EP - 4

BT - ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems

PB - ACM

CY - New York, NY (US)

T2 - 8th Workshop on Assurances for Self-Adaptive Systems

Y2 - 4 September 2011 through 4 September 2011

ER -

When the requirements for adaptation and high integrity meet

Abstract

Workshop

Keywords

Access to Document

Other files and links

Fingerprint

Cite this