Volume III: A Technology for Predictable Assembly from Certifiable Components

Wallnau, Kurt

doi:10.21236/ada413574

Cited by 72 publications

(46 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A runtime environment provides component coordination mechanisms (or "connectors") and implements other resource management policies (scheduling, synchronization, etc.). We define a component technology as an implementation of this design idiom [17], and many such implementations are possible [19]. Our approach has much in common with [12], although we give full behavioral models for components (UML statecharts and action language) and, subsequently, can generate full implementations of components and assemblies.…”

Section: The Containerized Component Idiommentioning

confidence: 99%

The ComFoRT Reasoning Framework

Chaki

Ivers

Sharygina

et al. 2005

Computer Aided Verification

View full text Add to dashboard Cite

Section: The Containerized Component Idiommentioning

confidence: 99%

The ComFoRT Reasoning Framework

Chaki

Ivers

Sharygina

et al. 2005

Computer Aided Verification

View full text Add to dashboard Cite

“…A Prediction-Enabled Component Technology (PECT) [21] is a development infrastructure that incorporates development tools and analysis techniques. PECT is an ongoing research project at the Software Engineering Institute (SEI) at the Carnegie Mellon University.…”

Section: Pectmentioning

confidence: 99%

Evaluation of component technologies with respect to industrial requirements

Moller¹,

Akerholm²,

Fredriksson³

et al. 2004

Proceedings. 30th Euromicro Conference, 2004.

View full text Add to dashboard Cite

show abstract

“…Thus, the Software Engineering Institute (SEI) promotes its Predictable Assembly from Certifiable Components (PACC) initiative: how component technology can be extended to achieve predictable assembly, enabling runtime behavior to be predicted from the properties of components. The ongoing work concentrates in a PredictionEnabled Component Technology (PECT) as a method to integrate state-of-the-art techniques for reasoning about software quality attributes [23].…”

Section: Related Workmentioning

confidence: 99%

An MDA Approach to Tame Component Based Software Development

Jézéquel

Defour

Plouzeau

2004

Formal Methods for Components and Objects

View full text Add to dashboard Cite

Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhibits its provided or required interfaces, hence defining basic contracts between components allowing one to properly wire them. These contractually specified interfaces should go well beyond mere syntactic aspects: they should also involve functional, synchronization and Quality of Service (QoS) aspects. In large, mission-critical component based systems, it is also particularly important to be able to explicitly relate the QoS contracts attached to provided interfaces with the QoS contracts obtained from required interfaces. We thus introduce a QoS contract model (called QoSCL for QoS Constraint Language), allowing QoS contracts and their dependencies to be modeled in a UML2.0 modeling environment. Building on Model Driven Engineering techniques, we then show how the very same QoSCL contracts can be exploited for (1) validation of individual components, by automatically weaving contract monitoring code into the components; and (2) validation of a component assembly, including getting end-toend QoS information inferred from individual component contracts, by automatic translation to a Constraint Logic Programming language. We illustrate our approach with the example of a GPS (Global Positioning System) software component, from its functional and contractual specifications to its implementation in a .Net framework.

show abstract

Volume III: A Technology for Predictable Assembly from Certifiable Components

Cited by 72 publications

References 0 publications

The ComFoRT Reasoning Framework

The ComFoRT Reasoning Framework

Evaluation of component technologies with respect to industrial requirements

An MDA Approach to Tame Component Based Software Development

Contact Info

Product

Resources

About