hub-se / PAP

Property Adaptation Patterns (PAP)

This repository contains code for our Property Adaptation Patterns. Our replication package contains all the code used throughout our evaluation. Additional README files provide information to setup Arduinos, if necessary.

Replication Package

This repository contains the code to

• determine how much memory (SRAM) an Arduino has
• our observer implementations as well as a Timescales implementation to generate online traces. The observer templates also determine how much memory (SRAM) the observer uses
• determine how much time an our PAPs use compared to redeployment
• evaluate how fast events can be processed
• demonstrate our PAPs on the BSN

For more general information on the PAPs, we refer to our wiki: https://github.com/hub-se/PAP/wiki. An arxiv-version of our corresponding SEAMS'23 paper is available at: https://arxiv.org/pdf/2303.16530.pdf

Team

• Marc Carwehl
• Thomas Vogel
• Genaína Rodrigues
• Lars Grunske

References

1. M. B. Dwyer, G. S. Avrunin, J. C. Corbett: Patterns in Property Specifications for Finite-State Verification. ICSE 1999. pp. 411-420.
2. S. Konrad and Betty H.C. Cheng: Real-time specification patterns. ICSE 2005. pp. 372-381.
3. L. Grunske: Specification patterns for probabilistic quality properties. ICSE 2008. pp. 31-40.
4. M. Autili, L. Grunske, M. Lumpe, P. Pelliccione, A. Tang: Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar. IEEE Trans. on Software Engineering, vol. 41, no. 7, 2015. pp. 620-638.
5. T. Vogel, M. Carwehl, G. Rodrigues, L. Grunske: A property specification pattern catalog for real-time system verification with UPPAAL. Information and Software Technology, 154, 107100.