Changes between Version 3 and Version 4 of lamp


Ignore:
Timestamp:
Nov 17, 2018 3:48:14 PM (5 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • lamp

    v3 v4  
    22= LAMP =
    33
    4 LAMP stands for Logical AADL Model Processing.
    5 Its aim is to provide an inline, comprehensive, rigorous, flexible and user friendly solution to explore and analyse AADL models.
     4LAMP is an AADL annex sub-language that stands for Logical AADL Model Processing.
     5Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.
    66It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.
     7LAMP enables the creation of user defined assurance case processing tools that are embedded within the AADL model
    78
     9== The LAMP AADL Annex ==
     10* AADL annex subclauses: {{{ANNEX LAMP {** /* standard prolog syntax */ **};}}}
     11* LAMP user defined libraries in AADL Packages
     12* LAMP user defined goals in AADL Components
     13* Standad prolog language (ISO-IEC 13211)
     14
     15== The LAMP standard library: LAMPLib.aadl ==
     16* High level API to the AADL declarative model
     17* High level API to the AADL instance model
     18* High level API to the Behavior and Error annexes
     19* API to analysis results (e.g. simulation traces)
     20* Utility rules (printing, …)
     21
     22== The LAMP plugin in AADL Inspector ==
     23* New LAMP verification tool
     24* LAMPLib included
     25* examples of use
     26* Available since A.I. 1.7