= [[Image(lamp.png)]] LAMP = LAMP is an AADL annex sub-language that stands for Logic AADL Model Processing.[[BR]] Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.[[BR]] It is an alternate solution to REAL, LUTE and RESOLUTE altogether and can complement AGREE with a timing simulation based approach.[[BR]] LAMP enables the creation of user defined assurance case processing tools [[BR]] that are embedded within the [wiki:AADL AADL] model and leveraged by the power of the [wiki:LMP LMP] technology.[[BR]] == LAMP AADL Annex sub-language == * 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) [[Image(lampstack.png)]] == 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, …) == LAMP checker in AADL Inspector == * New LAMP verification tool * LAMPLib included * examples of use * Available since [wiki:inspector AADL Inspector] 1.7