Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support

Malek, Sam; Seo, Chiyoung; Ravula, Sharmila; Petrus, Brad; Medvidović, Nenad

doi:10.1109/icse.2007.69

Cited by 35 publications

(38 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…User Input-used by the system's user to input their QoS preferences in the form of a utility function, as well as the information about system parameters that may not be easily monitored (e.g., security of a network link). The framework described above has been realized using an integration of several tools; the interested reader may find more details at [Malek et al 2007]. case studies we are able to precisely define the elements of MIDAS by extending the FORMS constructs.…”

Section: F Sensor Network Systemmentioning

confidence: 99%

“…Next, we give a complete formal specification of a traffic monitoring example (in section D). In the last part of the appendix, we discuss two additional case studies: IBM's autonomic computing framework [IBM 2006] (in section E), and a complex sensor network system called MIDAS [Malek et al 2007] (in section F). The complete Z specification is type checked using CZT tools [CZT 2010].…”

Section: Electronic Appendixmentioning

confidence: 99%

“…Appendix E applies two FORMS perspectives to model IBM's autonomic computing framework [IBM 2006]. Finally, Appendix F uses FORMS to model a complex sensor network system called MIDAS [Malek et al 2007], which utilizes multiple coordination mechanisms.…”

Section: Applying the Reference Modelmentioning

confidence: 99%

“…The final self-adaptive software system that we study in light of FORMS is MIDAS [Malek et al 2007], which is an application family developed in collaboration between one of the authors and Bosch engineers. MIDAS is a security monitoring distributed application composed of a large number of wirelessly connected sensors, gateways, hubs, and PDAs.…”

Section: F Sensor Network Systemmentioning

confidence: 99%

See 3 more Smart Citations

Forms

Weyns

Malek

Andersson

2012

ACM Trans. Auton. Adapt. Syst.

Self Cite

142

View full text Add to dashboard Cite

The challenges of pervasive and mobile computing environments, which are highly dynamic and unpredictable, have motivated the development of self-adaptive software systems. Although noteworthy successes have been achieved on many fronts, the construction of such systems remains significantly more challenging than traditional systems. We argue this is partially because researchers and practitioners have been struggling with the lack of a precise vocabulary for describing and reasoning about the key architectural characteristics of self-adaptive systems. Further exacerbating the situation is the fact that existing frameworks and guidelines do not provide an encompassing perspective of the different types of concerns in this setting. In this paper, we present a comprehensive reference model, entitled FOrmal Reference Model for Self-adaptation (FORMS), that targets both issues. FORMS provides rigor in the manner such systems can be described and reasoned about. It consists of a small number of formally specified modeling elements that correspond to the key concerns in the design of self-adaptive software systems, and a set of relationships that guide their composition. We demonstrate FORMS's ability to precisely describe and reason about the architectural characteristics of distributed self-adaptive software systems through its application to several existing systems. FORMS's expressive power gives it a potential for documenting reusable architectural solutions (e.g., architectural patterns) to commonly encountered problems in this area.

show abstract

Section: F Sensor Network Systemmentioning

confidence: 99%

Section: Electronic Appendixmentioning

confidence: 99%

Section: Applying the Reference Modelmentioning

confidence: 99%

Section: F Sensor Network Systemmentioning

confidence: 99%

See 2 more Smart Citations

Forms

Weyns

Malek

Andersson

2012

ACM Trans. Auton. Adapt. Syst.

Self Cite

142

View full text Add to dashboard Cite

show abstract

“…Both RoboArch and the MIDAS system [24], which is a family of sensor network applications, use the fault-tolerance mechanisms provided by Prism-MW [23], a lightweight middleware for mobile and embedded systems. Based on our experience injecting faults into MIDAS, we knew that the Prism-MW fault-tolerance service could transparently replace an erroneous component in less than 2 seconds.…”

Section: Addressing Parameter Uncertainty In the Application Scenariomentioning

confidence: 99%

A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation

Krka

Edwards

Cheung

et al. 2009

Architecting Dependable Systems VI

Self Cite

View full text Add to dashboard Cite

Abstract. Architecture-based reliability estimation is challenging: modern software is complex with numerous factors affecting a system's reliability. In this article, we address three core challenges for architecture-based estimation of a system's reliability: (1) defining an appropriate failure model based on characteristics of the system being analyzed, (2) dealing with uncertainties of the reliability-related parameters, due to the lack of system implementation, and (3) overcoming the barriers of complexity and scale inherent in modern software. For each challenge, we identify the essential elements of the problem space, outline promising solutions, and illustrate the problems and solutions using a robotics case study. First, we show how a failure model can be derived from the system requirements and architecture. Second, we suggest how information sources available during architectural design can be combined to mitigate model parameter uncertainties. Third, we foresee hierarchical techniques as a promising way of improving the computational tractability of reliability models.

show abstract

Modeling Dimensions of Self-Adaptive Software Systems

Andersson

Lemos

Malek

et al. 2009

Lecture Notes in Computer Science

Self Cite

146

View full text Add to dashboard Cite

Abstract. It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it is deployed. A cursory review of the software engineering literature attests to the wide spectrum of software systems that are described as self-adaptive. The way self-adaptation is conceived depends on various aspects, such as the users' requirements, the particular properties of a system, and the characteristics of the environment. In this paper, we propose a classification of modeling dimensions for self-adaptive software systems. Each modeling dimension describes a particular facet of the system that is relevant to self-adaptation. The modeling dimensions provide the engineers with a common set of vocabulary for specifying the self-adaptive properties under consideration and select suitable solutions. We illustrate how the modeling dimensions apply to several application scenarios.

show abstract

Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support

Cited by 35 publications

References 12 publications

Forms

Forms

A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation

Modeling Dimensions of Self-Adaptive Software Systems

Contact Info

Product

Resources

About