An approach to automatic detection of software failures in real-time systems

Savor, Tony; Seviora, R.E.

doi:10.1109/rttas.1997.601351

Cited by 25 publications

(13 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Cheng and Atlee [7] report on some previous work on specifying and verifying adaptive software, and on run-time monitoring of requirements conformance [8,9]. They also explain how preliminary work on personalized and customized software can be applied to adaptive systems (e.g., [10,11]).…”

Section: Requirements State-of-the-artmentioning

confidence: 99%

Software Engineering for Self-Adaptive Systems: A Research Roadmap

Cheng¹,

Lemos²,

Giese³

et al. 2009

Lecture Notes in Computer Science

790

535

View full text Add to dashboard Cite

Abstract. The goal of this roadmap paper is to summarize the state-ofthe-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential views of self-adaptation: modelling dimensions, requirements, engineering, and assurances. For each view, we present the state-of-the-art and the challenges that our community must address. This roadmap paper is a result of the Dagstuhl Seminar 08031 on "Software Engineering for Self-Adaptive Systems, " which took place in January 2008.

show abstract

Section: Requirements State-of-the-artmentioning

confidence: 99%

Software Engineering for Self-Adaptive Systems: A Research Roadmap

Cheng¹,

Lemos²,

Giese³

et al. 2009

Lecture Notes in Computer Science

790

535

View full text Add to dashboard Cite

show abstract

“…Cheng and Atlee [28] report on work on specifying and verifying adaptive software. In [29,30], research on runtime monitoring of requirements conformance is described. In [31], Sutcliffe, S. Fickas and M. Sohlberg demonstrate a method (called PC-RE) for personal and context requirements engineering that can be applied to autonomous systems.…”

Section: Related Workmentioning

confidence: 99%

Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang

Vassev¹

2015

EAI Endorsed Transactions on Self-Adaptive Systems

View full text Add to dashboard Cite

This article presents an approach to Autonomy Requirements Engineering (ARE) that targets the integration and promotion of autonomy in software-intensive systems by providing a mechanism and methodology for elicitation and expression of autonomy requirements. ARE relies on goal-oriented requirements engineering to elicit and define system goals, and uses the generic autonomy requirements model to derive and define assistive and, eventually, alternative objectives. The system may pursue these "self-* objectives" in the presence of factors threatening the achievement of the initial system goals. Once identified, the autonomy requirements are specified with KnowLang, a formal language dedicated to knowledge representation and reasoning. To demonstrate both the ARE's and KnowLang's ability to handle autonomy requirements for self-adaptive systems, the approach is applied to Science Clouds, a self-adaptive cloud platform.

show abstract

“…Relatively less research has addressed early development activities, such as requirements engineering (RE) and specification techniques for adaptive systems. There has been some preliminary work on specifying and verifying adaptive software [35][36][37] and on run-time monitoring of requirements conformance [38][39][40]. In addition, much of the work on personalized [41] and customized [42] software -at least with respect to eliciting, modeling, and reasoning about requirements variations -can also be applied to adaptive systems.…”

Section: Requirements Engineering For Adaptive Systemsmentioning

confidence: 99%