LAMP

LAMP is an AADL annex sub-language that stands for Logical AADL Model Processing. Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models. It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether. LAMP enables the creation of user defined assurance case processing tools that are embedded within the AADL model

The LAMP AADL Annex

• AADL annex subclauses: ANNEX LAMP {** /* standard prolog syntax */ **};
• LAMP user defined libraries in AADL Packages
• LAMP user defined goals in AADL Components
• Standad prolog language (ISO-IEC 13211)

The LAMP standard library: LAMPLib.aadl

• High level API to the AADL declarative model
• High level API to the AADL instance model
• High level API to the Behavior and Error annexes
• API to analysis results (e.g. simulation traces)
• Utility rules (printing, …)

The LAMP plugin in AADL Inspector

• New LAMP verification tool
• LAMPLib included
• examples of use
• Available since A.I. 1.7