Predictability by construction

ABSTRACT

The Predictable Assembly from Certifiable Components (PACC) team at the Software Engineering Institute has developed a vehicle to create component-based systems that have predictable behavior prior to implementation. The project has been used to successfully predict performance and safety properties of real-time systems, but the concepts and technology can be applied to predict other properties (e.g., reliability, security).

REFERENCES

• 1: Bass, L., Ivers, J., Klein, M, and Merson, P. Reasoning Frameworks. CMU/SEI-2005-TR-007, Software Engineering Institute, Pittsburgh, PA, 2005.
• 2: Hissam, S., Klein, M., Lehoczky, J., Merson, P., Moreno, G., and Wallnau, K. Performance Property Theories for Predictable Assembly from Certifiable Components (PACC). CMU/SEI-2004-TR-017, Software Engineering Institute, Pittsburgh, PA, 2004.
• 3: Ivers, J., and Sharygina, N. Overview of ComFoRT: A Model Checking Reasoning Framework. CMU/SEI-2004-TN-018, Software Engineering Institute, Pittsburgh, PA, 2004.
• 4: Wallnau, K, and Ivers, J. Snapshot of CCL: A Language for Predictable Assembly. CMU/SEI-2003-TN-025, Software Engineering Institute, Pittsburgh, PA, 2003

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Computer-aided software engineering (CASE)

General Terms:
Design, Performance, Theory, Verification

Keywords:
components, model checking, performance, predictable assembly