Predictable Assembly from Certifiable Components (PACC) Tools and Methods
SEI tools and methods are solutions to the problems associated with software-intensive systems that help developers and acquirers improve their practices. Specific predictable assembly from certifiable components (PACC) tools and methods are
- ComFoRT Model-Checking Reasoning Framework
- Lambda-star Performance Reasoning Framework
- Pin Container Technology
- Construction and Composition Language (CCL)
- Predictable Assembly Starter Kit
Additional details are provided at PACC Technologies.
ComFoRT Model-Checking Reasoning Framework
The SEI ComFoRT model-checking reasoning framework can verify whether a
system will satisfy key behavioral invariants expressed as claims. If a claim
is not preserved, ComFoRT displays the execution trace that violates the claim.
ComFoRT is based on Copper, a stateof- the-art software model checker, and can
be applied to SEI Construction and Composition Language (CCL) specifications or
suitably restricted C-language code. Read more
...
Lambda-star Performance Reasoning Framework
The SEI Performance Reasoning Framework (Lambda-star) can be used to
predict the timing behavior of assemblies in hard, firm, and soft real-time
settings. Performance models draw on generalized rate monotonic scheduling
theory and queuing theory and are constructed automatically from CCL
specifications. Timing predictions have validated statistical confidence
intervals. Read more ...
Pin Container Technology
Pin is a simple
but robust container technology designed for embedded and hard realtime
applications. It supports a strict form of container-based component
encapsulation, deployment, and composition. Pin supports a zero-coding,
assembly-through-connection style of development and is implemented using
nonproprietary real-time operating system services specifically adapted to
support UML statechart semantics. Read more
...
Construction and Composition Language (CCL)
The SEI Construction and Composition Language (CCL) is used to specify Pin
components and assemblies. It supports the syntactic and behavioral
specification of components in an executable subset of UML statecharts,
generates complete component and assembly implementations, and provides tool
developers with C, Java, and XML access to annotated abstract syntax trees.
Read more ...
Predictable Assembly Starter Kit
The SEI Predictable Assembly Starter Kit is an Eclipse-based interactive
development environment that provides a user-friendly integration of CCL, Pin,
and reasoning frameworks. In addition, the starter kit defines plug-in
interfaces and conventions for the development and introduction of new
reasoning frameworks, code generators, simulators, documentation generators,
and other such tools. It provides users with a functional prediction-enabled
component technology (PECT). The starter kit can be used to learn about or
teach predictable assembly, to explore the feasibility of predictable assembly
in nontrivial application settings, or to serve as a model for building a
custom PECT.