Changes between Version 4 and Version 5 of lamp


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

--

Legend:

Unmodified
Added
Removed
Modified

  • lamp

    v4 v5  
    22= LAMP =
    33
    4 LAMP is an AADL annex sub-language that stands for Logical AADL Model Processing.
    5 Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.
    6 It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.
    7 LAMP enables the creation of user defined assurance case processing tools that are embedded within the AADL model
     4LAMP is an AADL annex sub-language that stands for Logical AADL Model Processing.[[BR]]
     5Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.[[BR]]
     6It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.[[BR]]
     7LAMP enables the creation of user defined assurance case processing tools [[BR]]
     8that are embedded within the [wiki:AADL AADL] model and leveraged by the power of the [wiki:LMP LMP] technology.[[BR]]
     9
    810
    911== The LAMP AADL Annex ==
    … …  
    2426* LAMPLib included
    2527* examples of use
    26 * Available since A.I. 1.7
     28* Available since [wiki:inspector AADL Inspector] 1.7